July 2006 - Categories - categories.org.au

Foundations?
by F W Lawvere 03 Sep '10

03 Sep '10

Down with "Foundations"! Up with algebra! Dear Friends, Presumably I am among those who are being "vilified" as "lovers of categories as foundation". By avoiding any precise definition, such a formulation might appeal to the widespread justified boredom induced by the past hundred years of "foundations as justification". Whenever I used the word "foundation" in my writings over the past forty years, I have explicitly rejected that reactionary use of the term and instead used the definition implicit in the work of my teachers Truesdell and Eilenberg. Namely, an important component of mathematical practice is the careful study of historical and contemporary analysis, geometry, etc. to extract the essential recurring concepts and constructions; making those concepts and constructions (such as homomorphism, functional, adjoint functor, etc.) explicit provides powerful guidance for further unified development of all mathematical subjects, old and new. What is the primary tool for such summing up of the essence of ongoing mathematics? Algebra! Nodal points in the progress of this kind of research occur when, as is the case with the finite number of axioms for the metacategory of categories, all that we know so far can be expressed in a single sort of algebra. I am proud to have participated with Eilenberg, Mac Lane, Freyd, and many others, in bringing about the contemporary awareness of Algebra as Category Theory Had it not been for the century of excessive attention given to the alleged possibility that mathematics is inconsistent, with the accompanying degradation of the F-word, we would still be using it in the sense known to the general public: the search for what is "basic". We, who supposedly know the explicit algebra of homomorphisms, functionals, etc. are long remiss in our duty to find ways to utilize those concepts also in guiding high school calculus. Best wishes, Bill Bibliography: - The Category of Categories as a Foundation for Mathematics, La Jolla conference 1965, Springer (1966) - Adjointness in Foundations, Dialectica, (1969), to be reprinted in TAC - Foundations and Applications: Axiomatization and Education, Bulletin of Symbolic Logic, (2003) vol 9, pp 213-224 - Sets for Mathematics, w/ Bob Rosebrugh, Cambridge Univ. Press, (2003) ************************************************************ F. William Lawvere Mathematics Department, State University of New York 244 Mathematics Building, Buffalo, N.Y. 14260-2900 USA Tel. 716-645-6284 HOMEPAGE: http://www.acsu.buffalo.edu/~wlawvere ************************************************************

2 1

list interruption
by Bob Rosebrugh 20 Jul '06

20 Jul '06

The categories moderator will be mostly out of email contact for the period July 22-Aug 2, 2006. Postings submitted to categories during that period will be distributed by August 3. Best wishes, Bob Rosebrugh

1 0

[verimag-news ] Call for tutorial papers - FMCO 2006 - Amsterdam
by Susanne Graf 17 Jul '06

17 Jul '06

*************************************************************** * CALL FOR TUTORIAL PAPERS * * * * 5th International Symposium on * * Formal Methods for Objects and Components * * FMCO 2006 * * 7 - 10 November 2006 * * CWI, Amsterdam, The Netherlands * * * * http://fmco.liacs.nl/fmco06.html * * * *************************************************************** The FMCO symposium is an annual international event on the application and development of formal methods in software engineering, with a special focus on component-based and object-oriented software systems. We invite submissions of tutorial papers on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include: - models and logics for object-oriented and component-based systems; - formal aspects of analysis of large systems; - prediction, analysis and monitoring of extra-functional properties; - applications of modal logics, temporal logics and model checking for the specification and verification of object-oriented languages; - type systems and type theory for objects and components; - probabilistic systems, process calculi, and semantics of object and component oriented languages; - reasoning about security, trustworthiness and dependability of component-based systems. Important Dates --------------- Authors are invited to submit a title and a short abstract of one or two pages providing a tutorial perspective on research results or experiences related to the topics above. Accepted abstracts will be presented at the symposium and an extended tutorial paper of about 20 pages in LNCS style will be refereed and eventually published together with the contributions of the keynote speakers after the symposium, in a proceeding of Lecture Notes in Computer Science by Springer-Verlag. Selected papers will be published in revised and extended version in the Elsevier journal Theoretical Computer Science. Title and short abstract due: 5 September 2006 Abstract notification: 1 October 2006 Symposium: 7-10 November 2006 Tutorial paper due: 28 February 2007 Paper notification: 15 April 2007 Camera-ready paper due: 15 May 2007 The short abstracts must be in English and provide sufficient details to allow the organizing committee and the advisory board assessing the potential merits of the related tutorial papers. One author of each accepted abstract will be expected to present the tutorial at the symposium. The tutorial papers must be unpublished and not submitted for publication, but may contain previously published material. Short abstracts and tutorial papers must be submitted electronically to F.S. de Boer (frb(a)cwi.nl) or M.M. Bonsangue (marcello(a)liacs.nl) Format ------ The symposium is a four days event organised to provide an atmosphere that fosters collaborative work, discussions and interactions. Lectures are given by the keynote speakers listed below and by authors of accepted abstract. Keynote speakers and advisory board ----------------------------------- Gul Agha (The University of Illinois at Urbana-Champaign, USA) Sophia Drossopoulou (Imperial College, UK) Radu Iosif (Verimag, FR) Thierry Jeron (INRIA Rennes, FR) Erik Meijer, (Microsoft research, USA) Jayadev Misra (University of Texas at Austin, USA) Vijay A. Saraswat (IBM Research, USA) Vladimiro Sassone (University of Southampton, UK) Jan Tretmans (Radboud University Nijmegen, NL) Moshe Vardi (Rice University, USA) Philip Wadler (University of Edinburgh, UK) Organizing committee -------------------- F. S. de Boer (CWI and LIACS-Leiden University) M. M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.-P. de Roever (Christian-Albrechts University of Kiel) Sponsorship ----------- The symposium is sponsored by NWO, CWI, and LIACS. ============================================================================== For more information about the symposium see the FMCO site above or consult either F.S. de Boer (frb(a)cwi.nl) or M.M. Bonsangue (marcello(a)liacs.nl)

1 0

Milano 2006 - WORKSHOP in CATEGORICAL ALGEBRA
by metere＠mat.unimi.it 17 Jul '06

17 Jul '06

##################################################### # # # INTERNAL ACTIONS and INTERNAL STRUCTURES # # # # WORKSHOP in CATEGORICAL ALGEBRA # # # # 26th-27th-28th october 2006, Milano, Italy # # # ##################################################### The purpose of the workshop is to consider the notion of internal action in different categorical contexts and to relate it with internal structures defined thereby. In particular, the well established context of semiabelian categories provides a natural setting for studying the interplay between categorical and algebraic aspects of actions, with respect to internal structures that may be defined. Nevertheless, more general settings are worth to be considered ( lex pointed categories with sums, protomodular categories...) Keywords of the meeting are: the representability of actions, sufficient conditions for their existence, universal actions, categorical semi-direct product and constructions, internal groupoids and internal crossed modules, internal commutator theory, cohomological implications. The workshop is intended to reflect its etymology, in order to give the participants a fruitful opportunity of debate and exchange experiences about the subject. That is the reason why after every lecture there will be time for informal discussions. The backbone of the meeting are the lectures of the invited speakers: Dominique Bourn (Université du Littoral), Marino Gran (Université du Littoral) and Enrico Vitale (Université Catholique LLN). Lectures are scheduled on Thursday 26th and Friday 27th (morning and afternoon), and on Saturday 28th (only morning). Attendance is open to everyone and other contributions on related topics will be considered with pleasure. The workshop will take place at the Math Department of Università degli Studi, Milan, Italy. Detailed program, logistic and further information will follow. ---------------------------------------------------------------------- Organizing committee: Stefano Kasangian, Sandra Mantovani, Giuseppe Metere. For info, please contact the organizing committee to milanworkshop.06(a)gmail.com webpage: http://users.mat.unimi.it/users/mantovani/workshopMi06.htm ----------------------------------------------------------------

1 0

coalgebras: TGC 2006 Call for Papers
by Ugo Montanari 15 Jul '06

15 Jul '06

[Apologies for multiple postings] ================================================================ SECOND CALL FOR PAPERS 2006 International Symposium on "Trustworthy Global Computing" http://www.imtlucca.it/tgc2006 IMT, Lucca, November 7-9, 2006 co-located with the cluster review of IST-FET Global Computing II proactive initiative IMPORTANT DATES --------------- Registration and submission of title and abstract (hard): July 31, 2006 Paper submissions (hard): August 4, 2006 Notification to authors: September 16, 2006 Final version due: October 13, 2006 Conference: November 7-9, 2006 SCOPE ------ Computing technology has become ubiquitous, from global applications to minuscule embedded devices. Trust in computing is vital to help protect public safety, national security, and economic prosperity. A new area of research, known as global computing, has recently emerged. It aims to define new models of computation based on code and data mobility over wide area networks with highly dynamic topologies, and to provide infrastructures to support coordination and control of components originating from different, possibly untrusted, sources. Trustworthy Global Computing aims to achieve safe and reliable computation in such a framework, by providing tools and frameworks for constructing well-behaved applications and for reasoning about their behaviour and properties. In 2005, the FET-IST Programme of the European Union launched three Integrated Projects dedicated to these themes within the Global Computing II proactive initiative. These projects are now due to be reviewed after their first year of activity. This symposium will be devoted to presenting and discussing recent progress in trustworthy global computing within these projects and beyond. We are looking for papers dealing with the following issues (the list should not be considered exhaustive): -- theories, models and algorithms for global computing and service oriented computing -- language-based security, theories of trust and authentication -- secure protocol composition -- security through verifiable evidence -- game-theoretic approaches to selfishness and security -- resource usage and information flow policies -- privacy, reliability and business integrity -- access control and mechanisms for enforcement -- models of interaction and dynamic components management -- sharing information and computation -- self configuration and adaptiveness -- efficient communication -- verification of cryptographic protocols -- language concepts and abstraction mechanisms -- test generators, symbolic interpreters, type checkers -- finite state model checkers, theorem provers -- software principles to support debugging and verification FORMAT ------- The symposium is colocated with the reviews of the following FP6 GCII projects: AEOLUS - Algorithmic Principles for Building Efficient Overlay Computers http://www.ceid.upatras.gr/aeolus/ MOBIUS - Mobility, Ubiquity and Security http://mobius.inria.fr/ SENSORIA - Software Engineering for Service-Oriented Overlay Computers http://www.pst.ifi.lmu.de/projekte/sensoria/. In addition, the following FP5 project will be reviewed: CATNET - Evaluation of the Catallaxy Paradigm for Decentralized Operation of Dynamic Application Networks http://research.ac.upc.edu/catnet/. INVITED SPEAKERS (to be invited!) --------------------------------- Jayadev Misra (Austin) Andrei Sabelfeld (Goteborg) 2 invited by AEOLUS and SENSORIA. ORIGINS & PLANS --------------- The first TGC event took place in Edinburgh on April 7-9, 2005 with the co-sponsorship of IFIP TC-2, as part of ETAPS 2005. TGC 2005 was the evolution of the previous Global Computing I Workshops held in Rovereto in 2003 and 2004 (see e.g. LNCS 2874) and the workshops on Foundation of Global Computing held as satellite events of ICALP and Concur (see e.g. ENTCS Vol. 85). In view of the importance and the strategic role of trustworthy global computing, the plans are to organize TGC regularly in the future, with the following steering commmittee. STEERING COMMITTE ----------------- Gilles Barthe (INRIA Sophia Antipolis) Rocco De Nicola (Florence) Christos Kaklamanis (Patras) Ugo Montanari (Pisa) Davide Sangiorgi (Bologna) Don Sannella (Edinburgh) Vladimiro Sassone (Southampton) Martin Wirsing (Munich) SUBMISSION DETAILS ------------------ Contributions must be in PDF (preferably) or PS (using Type 1 fonts), and consist of no more than 15 pages, including references, in the Springer LNCS style available at the URL <http://www.springer.de/comp/lncs/authors.html>http://www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to the specified format and length. Proofs omitted due to space limitations may be included in a clearly marked appendix that is not included in the page limit. Submissions that are clearly too long may be rejected immediately. Electronic submission is very strongly recommended. The submission server will be set up by Monday July 17, 2006 and submissions will be accepted till Friday August 4, 2006 (deadline is STRICT). The submission tool is available at <http://www.easychair.org/TGC06>http://www.easychair.org/TGC06 Note that in order to submit a paper you need to register first, filling the form available in the New User part of the welcome page of the tool. After registration you will receive via e-mail the password that you can use to actually upload your abstract and paper. See http://www.imtlucca.it/whats_new/tgc_conference_2006.php?topic=submissions for any update. PROCEEDINGS AND SPECIAL ISSUE ----------------------------- We are confident that the Proceedings will be published by Springer Verlag in the LNCS series, shortly after the conference, to give the authors the opportunity to take into account discussions and suggestions at the conference. Pre-proceedings with the accepted papers, printed locally in Lucca, will be made available at the conference. It is planned to dedicate a special issue of the journal Theoretical Computer Science to the theme of the workshop, comprised of extended versions of the best papers presented at TGC 2006. PROGRAM CHAIRS -------------- Ugo Montanari - Dipartimento di Informatica, University of Pisa, ugo(a)di.unipi.it Don Sannella - Laboratory for Foundations of Computer Science, University of Edinburgh, dts(a)inf.ed.ac.uk PROGRAM COMMITTEE (to be invited!) ----------------- Gilles Barthe (INRIA Sophia Antipolis) Rocco De Nicola (Florence) Jose' Luiz Fiadeiro (Leicester) Stefania Gnesi (ISTI, Pisa) Manuel Hermenegildo (Madrid) Christos Kaklamanis (Patras) Elias Koutsoupias (Athens) Burkhard Monien (Paderborn) Ugo Montanari (Pisa) Giuseppe Persiano (Salerno) David Rosenblum (London) Davide Sangiorgi (Bologna) Don Sannella (Edinburgh) Vladimiro Sassone (Southampton) Paul Spirakis (Patras) Martin Wirsing (Munich) Gianluigi Zavattaro (Bologna) ORGANIZING COMMITTEE -------------------- Massimo Bartoletti (Pisa) Roberto Bruni (Pisa) - chair Marzia Buscemi (Lucca) Hernan Melgratti (Lucca) Laura Semini (Pisa) Roberta Zelari (Lucca) VENUE ----- Lucca is a medieval Tuscan town, in an intermediate position between Pisa and Florence, with fully preserved renaissance city walls. Lucca has maintained the characteristics of the small capital it was almost up to the unification of Italy. Beyond the hills, the nearby beaches of Versilia, the marble quarries of Carrara and the mountains of Garfagnana complete the picture. The IMT Institute for Advanced Studies (http://www.imtlucca.it) is a recently established graduate school active in economics, political science, handling of cultural heritage, biorobotics and computer science. The PhD program on Computer Science and Engineering focuses on various issues of global computing. -- @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Prof. Ugo Montanari Phone: +39 050 2212721 Dipartimento di Informatica Fax: +39 050 2212726 Universita' di Pisa Email: ugo(a)di.unipi.it Largo Bruno Pontecorvo, 3 Address changed recently I-56127 Pisa, Italy http://www.di.unipi.it/~ugo/ugo.html @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ -- @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Prof. Ugo Montanari Phone: +39 050 2212721 Dipartimento di Informatica Fax: +39 050 2212726 Universita' di Pisa Email: ugo(a)di.unipi.it Largo Bruno Pontecorvo, 3 Address changed recently I-56127 Pisa, Italy http://www.di.unipi.it/~ugo/ugo.html @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

1 0

Two recent deaths
by Dana Scott 15 Jul '06

15 Jul '06

Begin forwarded message: > From: Joseph Goguen Festschrift <goguenfest(a)peepal.cs.uiuc.edu> > Date: July 13, 2006 8:45:24 PM PDT > Cc: ryoko(a)cs.ucsd.edu, rodburstall(a)yahoo.co.uk > Subject: Ryoko Goguen: Memories and thoughts from Joseph's friends > and colleages > Reply-To: ryoko(a)cs.ucsd.edu > > Dear friends and colleagues of Joseph, > > As you will have heard my husband Joseph passed away > early last week, just after the Fest meeting to > celebrate his 65th birthday. > > I would be very happy if you would send me any > thoughts or memories of Joseph, brief or longer, > whatever comes to mind. > > My email is ryoko(a)cs.ucsd.edu. > > He had been ill for a few months and worked with the > illness and the effects of the medication with great > patience and courage. He managed to help his students > and keep going long enough to participate in the > birthday celebrations and encorage the participants to > keep working together as a community. > > Sincerely > Ryoko Amadee Goguen > Begin forwarded message: > From: Patsy McCarthy <pj(a)andrew.cmu.edu> > Date: July 13, 2006 6:40:46 AM PDT > To: +dist+~pj/public/math-allfaculty.dl(a)andrew.cmu.edu > Subject: Death of Professor Emeritus Oswald Wyler > > I am saddened to announce that Mathematical Sciences Professor > Emeritus Oswald Wyler passed away yesterday. Professor Wyler, > 84, had been battling cancer since 1993. > > The Wylers had been living in Maine at > > 28 Matthew Drive > Brunswick, ME 04011-3271. > > I will pass on any additional information provided by the family > as I receive it. > -- > Patsy J. McCarthy > Assistant to the Dept. Head > Mathematical Sciences, WeH 6113 > Carnegie Mellon University > Tel: 412-268-2545 > Fax: 412-268-6380 > >

1 0

New York Times on Saunders and Irving
by Peter Freyd 14 Jul '06

14 Jul '06

[I find it intriguing that Saunders and category theory appear in the third paragraph of Kap's NYTime obit:] From 1945 to 1984, Dr. Kaplansky taught at the University of Chicago, where he joined his famous former teacher, Saunders Mac Lane, who worked on topology and category theory, an abstract branch of algebra with applications in computer science. Dr. Mac Lane died in 2005. Dr. Kaplansky's interests were similarly broad.... [Maybe we should be thankful that Saunders didn't see the mention of CS.] Copyright 2006 The New York Times Company The New York Times July 13, 2006 Thursday Late Edition - Final SECTION: Section B; Column 1; National Desk; Pg. 7 LENGTH: 521 words HEADLINE: Irving Kaplansky, 89, a Leader In Mathematical Exploration BYLINE: By JEREMY PEARCE BODY: Irving Kaplansky, a mathematician who broke ground in exploring concepts central to algebra and multiplication, died on June 25 at his home in the Los Angeles community of Sherman Oaks. He was 89. The cause was respiratory failure, his family said. >>From 1945 to 1984, Dr. Kaplansky taught at the University of Chicago, where he joined his famous former teacher, Saunders Mac Lane, who worked on topology and category theory, an abstract branch of algebra with applications in computer science. Dr. Mac Lane died in 2005. Dr. Kaplansky's interests were similarly broad, and he explored the properties of groups of numbers called commutative groups, also known as Abelian groups, in which the order that a group's members are multiplied does not affect their outcome. He published ''Infinite Abelian Groups'' (1954, 1969) and ''took a big step in showing how far you could go with infinite elements'' that are commutative, said David Eisenbud, director of the Mathematics Sciences Research Institute in Berkeley, Calif. From 1984 to 1992, Dr. Kaplansky directed the institute. J. Peteer May, a former student of Dr. Kaplansky and a professor of mathematics at the University of Chicago, praised his ''exceedingly incisive mind that saw through to the essentials in mathematical arguments with precision and clarity.'' Dr. Kaplansky went on to write ''Commutative Rings'' (1970), a work that Dr. Eisenbud said remained in use and was ''narrowly focused on its subject, a subject that, partly because of this book, has since gone much further.'' Dr. Kaplansky later wrote about an area bridging algebra and topology, a field that involves the study of real or abstract spaces, in ''Lie Algebras and Locally Compact Groups'' (1971). A noted pianist, he also composed music, often on mathematical themes, and contributed to performances of Gilbert and Sullivan productions in Chicago. Irving Kaplansky was born in Toronto. He received his bachelor's and master 's degrees from the University of Toronto before earning a doctorate in mathematics from Harvard in 1941. After early work at Columbia, Dr. Kaplansky moved to Chicago in 1945. He was named a professor of mathematics there in 1955, and a professor emeritus in 1984. He became an American citizen in the 1950's. Dr. Kaplansky was a member of the Institute for Advanced Study in Princeton, N.J., and was elected to the National Academy of Sciences in 1966. He also was president of the American Mathematical Society. In 1989, the society awarded him its Leroy P. Steele Prize for Lifetime Achievement. Dr. Kaplansky is survived by his wife of 55 years, the former Chellie Brenner. He is also survived by a daughter, Lucy, a singer-songwriter, of Manhattan; two sons, Alex, of Hillsborough, N.J., and Steven, of Sherman Oaks; and two grandchildren. As a musician entranced with the mathematical possibilities of music, Dr. Kaplansky once wrote a melody based on assigning notes to the first 14 decimal places of pi. Called ''A Song About Pi,'' it received lyrics in 1971 from a Chicago colleague, Enid Rieser, and has been sung by Dr. Kaplansky's daughter in her act.

1 0

Summer School: Haute-Bodeux, 2007
by Walter Tholen 12 Jul '06

12 Jul '06

SUMMER SCHOOL ON CONTEMPORARY CATEGORICAL METHODS IN ALGEBRA AND TOPOLOGY Haute-Bodeux, Belgium, 3-10 June 2007 In the tradition of previous meetings held at this location, a Summer School on Contemporary Categorical Methods in Algebra and Topology will be held in Haute-Bodeux, a village in the Ardennes region of south-east Belgium, from June 3 (arrival day) until June 10, 2007 (departure day). The primary aim of the meeting is to provide students and young researchers who already have a working knowledge of categories with an opportunity to learn about various topics of interest in categorical algebra and topology, including - categorical and topological aspects of semi-abelian theories, - categorical descent and Galois theory, - accessible categories and their applications to homotopy theory, - lax-algebraic methods in categorical topology. However, more established researchers in nearby fields who wish to enhance their knowledge on these topics are also welcome. Lecture series will be given by the following researchers who constitute the Scientific Committee of the meeting: - Maria Manuel Clementino - Dominique Bourn - George Janelidze - Jiri Rosicky - Walter Tholen. If time permits there will be an opportunity for participants to present talks on their own research. The local organizer of the Summer School is Francis Borceux. It is estimated that the total cost of the meeting will be about 975 Euros per person: this covers the registration fee, transportation from and to Brussels airport or Liège railway station (on the designated arrival and departure days), accommodation and meals (including conference dinner and drinks with meals), social activities and an excursion (excluding dinner on the excursion day). Unfortunately, the organizers do not have funds available to provide any financial support. Accommodation in Haute-Bodeux is strictly limited, and attendance at the meeting will be by invitation only. However, anyone who wishes to be considered for invitation, or to propose names of people who might be invited, is asked to send an e-mail to Walter Tholen <tholen(a)mathstat.yorku.ca> before the end of September 2006. It is expected that invitations will be sent out early in November 2006. Those invited will be sent formal letters of invitation to assist them in obtaining funding, and will also be provided with a reading list of material which may be assumed in the Summer School lectures.

1 0

Express '06 - Call for Participation
by Iain Phillips 12 Jul '06

12 Jul '06

Call for Participation 13th International Workshop on Expressiveness in Concurrency EXPRESS'06 Affiliated with CONCUR 2006 Bonn, Germany 26 August 2006 http://www.doc.ic.ac.uk/express06 The early registration deadline is *July 18th*. http://depend.cs.uni-sb.de/concur06 The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. INVITED SPEAKERS: Robin Milner (Cambridge, UK) - Joint Express-Infinity-SOS Hagen Voelzer (Luebeck, Germany) - Express PRELIMINARY PROGRAMME: 9.00 - 10.00: Express invited talk: Hagen Voelzer * When a system is fairly correct 10.00 - 10.30: Morning Session * Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi Fair Pi 10.30 - 11.00: COFFEE BREAK 11.00 - 12.30: Morning Session * Jos Baeten, Flavio Corradini, Clemens Grabmayer On the Star Height of Regular Expressions Under Bisimulation * Xu Wang, Marta Kwiatkowska Compositional state space reduction using untangled actions * Ahmed Bouajjani, Jan Strejcek, Tayssir Touili On Symbolic Verification of Weakly Extended PAD 12.30 - 14.30: LUNCH 14.30: Joint Express-Infinity-SOS invited talk: Robin Milner * Bigraphs, multi-local names and confluence 15.30 - 16.00 Afternoon Session * Vincent Danos, Jean Krivine, Pawel Sobocinski General reversibility 16.00 - 16.30: COFFEE BREAK 16.30 - 18.30: Afternoon Session * Daniele Gorla Synchrony vs Asynchrony in Communication Primitives * Lucy Saunders-Evans, Glynn Winskel Event Structure Spans for Non-deterministic Dataflow * Luís Caires, Hugo Torres Vieira Extensionality of Spatial Observations in Distributed Systems * Daniel Hirschkoff, Damien Pous On Closure under Substitution of Strong Bisimilarity PROGRAMME CO-CHAIRS: Roberto Amadio (Univ. Paris 7, France) Iain Phillips (Imperial College London, UK) PROGRAMME COMMITTEE: Roberto Amadio (Univ. Paris 7, France) Michele Bugliesi (Univ. Ca' Foscari, Italy) Nadia Busi (Univ. di Bologna, Italy) Sibylle Froeschle (Warsaw Univ., Poland) Antonin Kucera (Masaryk Univ. in Brno, Czech Rep.) Bas Luttik (Technical Univ. Eindhoven, Netherlands) Michael Mislove (Tulane Univ., USA) Uwe Nestmann (TU Berlin, Germany) Joel Ouaknine (Univ. of Oxford, UK) Catuscia Palamidessi (INRIA Futurs, LIX Ecole Polytechnique, FR) Iain Phillips (Imperial College London, UK) Philippe Schnoebelen (CNRS Cachan, France) Pawel Sobocinski (Univ. of Cambridge, UK) Marielle Stoelinga (Univ. of Twente, Netherlands) CONTACT: Iain Phillips - iccp(a)doc.ic.ac.uk Roberto Amadio - Roberto.Amadio(a)pps.jussieu.fr

1 0

Algebraic Theory of Automata and Logic Workshop CALL FOR PAPERS
by Computer Science Logic '06 Conference 11 Jul '06

11 Jul '06

********************************************************************** * Algebraic Theory of Automata and Logic * * Satellite workshop of the conference CSL 06 * * September 30 -- October 1, 2006, Szeged, Hungary * * Supported by the AUTOMATHA project of ESF * * http://www.inf.u-szeged.hu/~csl06/ws.php * * CALL FOR PAPERS * ********************************************************************** Organizers: Z. Ésik, H. Straubing, P. Weil, Th. Wilke The aim of the workshop is to provide a forum for researchers interested in the structure theory of automata and/or the application of the algebraic approach to logic to present their results and to combine their efforts in the further development of the structure theory of finite automata, tree automata and related structures in connection with formal logic. The scientific program will consist of invited lectures and contributed talks. It is also intend to leave some room for discussions (open problem session, etc.). It is expected that some Ph. D. students will also attend the meeting. Abstracts of contributed talks must be sent by e-mail to Prof. Zoltan Esik, ze(a)inf.u-szeged.hu The abstract should be of no more than two pages. The submission deadline is 20 July, 2006. Notifications of acceptance will be sent by 30 July, 2006. We will announce the titles of the talks. A limited number of participants from ESF member countries will receive free registration. Applications for free registration must be sent by e-mail to Prof. Zoltan Esik, ze(a)inf.u-szeged.hu by 30 July, 2006. For details regarding applications refer to the URL given above. If after the meeting there will be interest in publishing either a proceedings or a special journal issue, then the organizers will take responsibility of finding a suitable forum and will act as editors.

1 0