January 2004 - Categories - categories.org.au

preprint: A van Kampen theorem for the homotopy double groupoid of a Hausdorff space
by Ronnie Brown 09 Mar '04

09 Mar '04

Preprint available http://www.informatics.bangor.ac.uk/public/mathematics/research/preprints/0… 04.01 : BROWN, R., KAMPS, K.H. & PORTER, T. A van Kampen theorem for the homotopy double groupoid of a Hausdorff space Summary: We show that the homotopy double groupoid of a Hausdorff space defined by the authors in a previous paper satisfies a version of the van Kampen theorem, and so is a suitable tool for non abelian, 2-dimensional, local-to-global problems. The methods are analogous to those developed by Brown and Higgins for similar theorems for other higher homotopy groupoids. There is a detailed discussion of commutative cubes in a double category with connections, and a proof of the key result that any composition of commutative cubes is commutative. Ronnie Brown Professor Emeritus R. Brown, Department of Mathematics, University of Wales, Bangor Dean St., Bangor, Gwynedd LL57 1UT, United Kingdom Tel. direct:+44 1248 382474|office: 382681 fax: +44 1248 361429 World Wide Web: home page: http://www.bangor.ac.uk/~mas010/ (Links to survey articles: Higher dimensional group theory Groupoids and crossed objects in algebraic topology) Centre for the Popularisation of Mathematics: http://www.cpm.informatics.bangor.ac.uk/ (reorganised site with new sculpture animations)

2 1

Book announcement: Frobenius algebras & 2D TQFTs
by Joachim Kock 27 Jan '04

27 Jan '04

Dear categorists, this is to announce the availability of my book Joachim Kock Frobenius algebras and 2D topological quantum field theories LMSST 59, Cambridge (see http://books.cambridge.org/0521832675.htm) It's a rather long account of the 'folk theorem' that 2D topological quantum field theories are the same thing as commutative Frobenius algebras, as well as the more general fact that the category of oriented 2D cobordisms is (equivalent to) the free symmetric monoidal category on a commutative Frobenius object. The novelty is mostly the idea of explaining all this to undergraduates, using it as an 'excuse' for doing category theory. In fact, the book can as well be seen as an introduction to monoidal categories and categorical viewpoints, and aims also at giving the young reader an impression of unity in mathematics, with a very close interplay between algebra and topology. For the expert readership of this mailing list, perhaps the amount of details presented in the book will be boring at times, but in any case I think you will enjoy the more than 200 figures, before passing on the book to your students... Cheers, Joachim. --------------------------------------------------------------- Joachim Kock <kock(a)math.uqam.ca> Département de mathématiques -- Université du Québec à Montréal Case postale 8888, succursale centre-ville Montréal (Québec), H3C 3P8 -- Canada ---------------------------------------------------------------

1 0

CfP: ICGT 2004
by Simeoni Marta 27 Jan '04

27 Jan '04

Please apologize if you receive multiple copies of this message. CALL FOR PAPERS ICGT 2004 2nd International Conference on Graph Transformation Roma (Italy), September 28 - October 2, 2004 The second International Conference on Graph Transformation ICGT 2004, along with several satellite events, will be held in Roma at the end of September 2004. It follows the first ICGT 2002 (Barcelona, October 2002) and a series of six international workshops on graph transformation with applications in computer science held from 1978 to 1998 in Europe and the USA. The conference takes place under the auspices of EATCS, EASST, and IFIP WG 1.3. The proceedings will appear in the Lecture Notes in Computer Science series by Springer-Verlag. The conference is co-located with IEEE Symposium on Visual Languages and Human Centric Computing (VL/HCC) September 26-29, 2004. Scope. Graphical structures of various kinds (like graphs, diagrams, visual sentences and others) are very useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension modelling the evolution of systems via any kind of transformation of such graphical structures. The field of Graph Transformation is concerned with the theory, applications and implementation issues of all these formalisms. The theory is strongly related to areas such as graph theory and graph algorithms, formal language and parsing theory, theory of concurrency and distributed systems, formal specification and verification, logic and semantics. The application areas include all those fields of Computer Science, Information Processing, Engineering and Natural Sciences. Topics of interest include, but are not limited to, the following. On the more theoretical side: - General models of graph transformation - Node-, edge-, and hyperedge replacement graph grammars - Concurrency, distribution, and formal semantics - Term graph rewriting - Network computing - High-level replacement systems - Hierarchical graphs and decompositions of graphs - Logic expression of graph transformation properties - Graph theoretical properties of graph languages - Geometrical and topological aspects of graph transformation - Automata on graphs and parsing of graph languages - Analysis of graph transformation systems - Structuring and modularization concepts - Semantics of UML and other visual modelling techniques On the more applied side: - Specification languages - Implementation of programming languages - Design of visual programming environments - Massively parallel computing - Bioinformatics - Software engineering and modular systems - Development of meta CASE tools - Software architecture - Information security - Visual languages - Bio-computing - Actor systems and Petri nets - Rule- and knowledge-based systems - Pattern generation and picture processing - Pattern matching - Tool support - Graph exchange formats - Layout algorithms Invited speakers. Andy Evans (York, UK) Margaret-Anne Storey (Victoria, BC Canada) (joint speaker with VL/HCC) Program committee. M.Bauderon (FR), D.Blostein (CA), A.Corradini (IT), H.Ehrig (DE), G.Engels (co-chair; DE), R.Heckel (DE), D.Janssens (BE), H.-J.Kreowski (DE), B.Koenig (DE), B.Meyer (AU), U.Montanari (IT), M.Nagl (DE), F.Orejas (ES), F.Parisi-Presicce (co-chair; USA/IT), M.Pezz� (IT), J.Pfaltz (USA), R.Plasmeijer (NL), D.Plump (UK), L.Ribeiro (BR), G.Rozenberg (NL), A.Sch�rr (DE), G.Taentzer (DE), G.Tortora (IT), G.Valiente (ES) Important dates. Submission of title and abstract: April 19, 2004 Submission of complete paper: April 26, 2004 Notification of acceptance: June 15, 2004 Final version due: June 30, 2004 Main conference: September 29 -- October 1, 2004 Conference including satellite events: September 28 -- October 2, 2004 General organizing committee. Paolo Bottoni (Roma, Italy), Hartmut Ehrig (chair; Berlin, Germany), Gregor Engels (Paderborn, Germany), Francesco Parisi-Presicce (Roma, Italy), Grzegorz Rozenberg (Leiden, The Netherlands) Local organizing committee. Paolo Bottoni (chair), Francesco Parisi-Presicce, Marta Simeoni (publicity chair) More details concerning ICGT 2004 including the main conference, satellite events, the procedure for the submission of papers, local information on the conference site, and travel information can be found on the website of ICGT 2004, http://icgt2004.dsi.uniroma1.it For further information, you may also contact Paolo Bottoni (bottoni(a)dsi.uniroma1.it) Gregor Engels (engels(a)uni-paderborn.de) or Francesco Parisi-Presicce (parisi(a)dsi.uniroma1.it / fparisip(a)gmu.edu) Conference address. ICGT 2004 Francesco Parisi-Presicce / Paolo Bottoni Universit� degli Studi di Roma La Sapienza Dipartimento di Informatica Via Salaria 113 (III piano), I-00198 Roma, Italy Tel: +39 06 4991-8426, Fax: +39 06 8541842 Satellite events. GRA-TRA TUTORIAL Tutorial on Foundations and Applications of Graph Transformation Date: Sept. 28 (afternoon) Organizers, contact and further information: Luciano Baresi (Milano, Italy, baresi(a)elet.polimi.it) Reiko Heckel (Paderborn, Germany, reiko(a)upb.de) http://www.upb.de/cs/ag-engels/Conferences/ICGT04/Tutorial DNA & GRA-TRA 2004 Tutorial on DNA Computing and Graph Transformation Date: Sept. 28 (all day) Organizers: Tero Harju (Turku, Finland), Ion Petre (Turku, Findland), Grzegorz Rozenberg (Leiden, The Netherlands) Contact and further information: rozenber(a)liacs.nl PETRI NETS and GRAPH TRANSFORMATIONS 2004 Workshop on relationships between Petri nets and graph rewriting Date: Oct. 1 (afternoon) -2 (morning) Organizers: Grzegorz Rozenberg (Leiden, The Netherlands), Hartmut Ehrig (Berlin, Germany), Julia Padberg (Berlin, Germany) Contact and further information: padberg(a)cs.tu-berlin.de TERMGRAPH 2004 International Workshop on Term Graph Rewriting Date: Oct. 2 Organizers, contact and further information: Maribel Fernandez (London, UK, maribel(a)dcs.kcl.ac.uk) Andrea Corradini (Pisa, Italy, andrea(a)di.unipi.it) http://www.dcs.kcl.ac.uk/staff/maribel/TERMGRAPH.html GraBaTs 2004 International Workshop on Graph-Based Tools Date: Oct. 1-2 Organizers: Tom Mens (Brussels, Belgium), Andy Sch�rr (Munich, Germany), Gabriele Taentzer (Berlin, Germany) Contact and further information: gabi(a)cs.tu-berlin.de http://tfs.cs.tu-berlin.de/grabats LOGIC, GRAPH TRANSFORMATIONS, FINITE AND INFINITE STRUCTURES Workshop with invited lectures and short contributions Date: Oct. 1 (afternoon) - Oct. 2 Organizers: Bruno Courcelle (Bordeaux, France), David Janin (Bordeaux, France) Contact and further information: courcell(a)labri.fr, http://www.labri.fr/Perso/~courcell/LogicIcgt.html SOFTWARE EVOLUTION 2nd Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions Date: Oct. 2 Organizers: Reiko Heckel (Paderborn, Germany), Dirk Janssens (Antwerp, Belgium), Tom Mens (Brussels, Belgium), Michel Wermelinger (Lisboa, Portugal) Contact and further information: reiko(a)upb.de http://www.upb.de/cs/ag-engels/Conferences/ICGT04/SET04/

1 0

CFP: JELIA'04 - 9th European Conference on Logics in Artificial Intelligence
by JELIA'04 25 Jan '04

25 Jan '04

/------------------------------------------------------------------/ CALL FOR PAPERS 9th European Conference on Logics in Artificial Intelligence JELIA'04 Lisbon, Portugal, September 27-30 http://centria.di.fct.unl.pt/~jelia2004 Submission deadline: May 9th (abstracts due May 6th) /------------------------------------------------------------------/ INTRODUCTION Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in Artificial Intelligence. With the depth and maturity of formalisms, methodologies and logic-based systems today, this claim is stronger than ever. The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially, with English as official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial Intelligence. Previous meetings took place in Roscoff, France (1988), Amsterdam, Netherlands (1990), Berlin, Germany (1992), York, U.K. (1994), Évora, Portugal (1996), Dagstuhl, Germany (1998), Málaga, Spain (2000) and Cosenza, Italy (2002). The increasing interest in this forum, its international level with growing participation from researchers outside Europe, and the overall technical quality, has turned JELIA into a major biennial forum for the discussion of logic-based approaches to artificial intelligence. AIM AND SCOPE The aim of the 9th European Conference on Logics in Artificial Intelligence, JELIA'04, is to bring together active researchers interested in all aspects concerning the use of logics in artificial intelligence to discuss current research, results, problems and applications of both a theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of Logics in AI. A non-exhaustive list of topics of interest includes: -Abductive and inductive reasoning -Applications of logic-based systems -Automated reasoning and theorem proving -Computational complexity and expressiveness in AI -Description logics -Foundations of logic programming and knowledge-based systems -Hybrid reasoning systems -Knowledge representation and reasoning -Logic based AI systems -Logic based applications to the Semantic Web -Logic based planning and diagnosis -Logic programming and nonmonotonic reasoning -Logics and multi-agent systems -Logics in machine learning -Modal, temporal, spacial and hybrid logics -Non-classical logics -Nonmonotonic reasoning, belief revision and updates -Reasoning about actions, causal reasoning and causation -Uncertain and probabilistic reasoning SUBMISSIONS Papers should be written in English, formatted according to the Springer LNCS style, and not exceed 13 pages including figures, references, etc. Please refer to the conference web pages for further instructions concerning the submission procedures. IMPORTANT DATES Abstract Submission: May 6th, 2004 Paper Submission: May 9th, 2004 Notification: June 21st, 2004 Camera Ready Copy: July 5th, 2004 PROCEEDINGS Proceedings will be published by Springer-Verlag as a volume of the Lecture Notes on Artificial Intelligence series. It is also foreseen the publication of a special issue of a journal collecting extended versions of selected papers presented at the conference. SYSTEM PRESENTATIONS There will be a special session devoted to the presentation of implemented systems. Please refer to the conference web pages for further information. CONFERENCE OFFICIALS Conference Chair: João Leite, Universidade Nova de Lisboa, Portugal Program Chair: José Júlio Alferes, Universidade Nova de Lisboa, Portugal PROGRAM COMMITTEE -José Júlio Alferes, Universidade Nova de Lisboa, Portugal -Franz Baader, TU Dresden, Germany -Salem Benferhat, Université d'Artois, France -Alexander Bochman, Holon Academic Institute of Technology, Israel -Gerhard Brewka, University of Leipzig, Germany -Walter Carnielli, Universidade Estadual de Campinas, Brazil -Luis Fariñas del Cerro, Université Paul Sabatier, France -James Delgrande, Simon Fraser University, Canada -Jürgen Dix, TU Clausthal, Germany -Roy Dyckhoff, University of St Andrews, UK -Thomas Eiter, TU Wien, Austria -Patrice Enjalbert, Université de Caen, France -Michael Fisher, University of Liverpool, UK -Ulrich Furbach, University Koblenz-Landau, Germany -Michael Gelfond, Texas Tech University, USA -Sergio Greco, Università della Calabria, Italy -João Leite, Universidade Nova de Lisboa, Portugal -Maurizio Lenzerini, Università di Roma "La Sapienza", Italy -Nicola Leone, Università della Calabria, Italy -Vladimir Lifschitz, University of Texas at Austin, USA -Maarten Marx, Universiteit van Amsterdam, The Netherlands -John-Jules Meyer, Universiteit Utrecht, The Netherlands -Bernhard Nebel, Universität Freiburg, Germany -Ilkka Niemelä, Helsinki University of Technology, Finland -Manuel Ojeda-Aciego, Universidad de Málaga, Spain -David Pearce, Universidad Rey Juan Carlos, Spain -Luís Moniz Pereira, Universidade Nova de Lisboa, Portugal -Henry Prakken, Universiteit Utrecht, The Netherlands -Luc de Raedt, Universität Freiburg, Germany -Ken Satoh, National Institute of Informatics, Japan -Renate Schmidt, University of Manchester, UK -Terrance Swift, SUNY at Stony Brook, USA -Mirek Truszczynski, University of Kentucky, USA -Wiebe van der Hoek, University of Liverpool, UK -Toby Walsh, University College Cork, Ireland -Mary-Anne Williams, The University of Technology, Sydney, Australia -Michael Zakharyaschev, King's College, UK CONTACT Send your questions and comments to jelia04(a)di.fct.unl.pt

1 0

it's official
by Peter Freyd 22 Jan '04

22 Jan '04

Professor Martin Hyland is officially a professor at Cambridge. Congratulations Cambridge!

1 0

ETAPS 2004: CALL FOR PARTICIPATION
by ETAPS 2004 21 Jan '04

21 Jan '04

Excuse us if you receive multiple copies of this message. ********************************************************** *** ETAPS 2004 *** *** March 27 - April 4, 2004 *** *** Barcelona, SPAIN *** *** *** *** http://www.lsi.upc.es/etaps04/ *** ********************************************************** The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers worki= ng on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events. ------------------------------------------------------------------------- 5 Conferences - 22 Satellite Workshops - 1 Tutorial - Tool Demonstrations ------------------------------------------------------------------------- ********************************************************** *** *** *** CALL FOR PARTICIPATION *** *** Early Registration Deadline: February 15, 2004 *** *** *** ********************************************************** ----------------------------------------------------------------------- Conferences ----------------------------------------------------------------------- CC 2004: International Conference on Compiler Construction http://www.research.ibm.com/CC2004/home.html Chair: Evelyn Duesterwald (IBM, USA) duester(a)us.ibm.com ESOP 2004, European Symposium On Programming http://www.cis.ksu.edu/santos/esop2004/ Chair: David Schmidt (Kansas, USA) schmidt(a)cis.ksu.edu FASE 2004, Fundamental Approaches to Software Engineering http://ctp.di.fct.unl.pt/~mw/conf/fase04/ Co-Chairs: Tiziana Margaria (Dortmund, Germany) tmargaria(a)metaframe.de Michel Wermelinger (Lisboa, Portugal) mw(a)di.fct.unl.pt FOSSACS 2004 Foundations of Software Science and Computation Structures http://www.labri.fr/Perso/~igw/FOSSACS/ Chair: Igor Walukiewicz (Bordeaux, France) igw(a)labri.fr TACAS 2004, Tools and Algorithms for the Construction and Analysis of Syste= ms http://www.daimi.au.dk/~cpn/tacas04/ Co-Chairs: Kurt Jensen (Aarhus, Denmark) kjensen(a)daimi.au.dk Andreas Podelski (Saarbr=FCcken, Germany) podelski(a)mpi-sb.mpg.d= e ----------------------------------------------------------------------- Satellite Workshops ----------------------------------------------------------------------- * AVIS'04 - Third International Workshop on Automatic Verification of Infinite-State Systems Contact: Dr. Ramesh Bharadwaj (ramesh(a)itd.nrl.navy.mil) URL: http://chacs.nrl.navy.mil/AVIS04 * CMCS 2004 - Coalgebraic Methods in Computer Science 2004 Contact: Jiri Adamek (J.Adamek(a)tu-bs.de) URL: http://www.iti.cs.tu-bs.de/~cmcs/ * COCV - 3rd International Workshop on Compiler Optimization Meets Compiler Verification Contact: Jens Knoop (Jens.Knoop(a)FernUni-Hagen.De) URL: http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html * CP+CV'04 - Workshop on Constraint Programming and Constraints for Verification Contact: Thom Fruehwirth (Thom.Fruehwirth(a)informatik.uni-ulm.de) URL: http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/cp_etaps= 04.html * DCC - Designing Correct Circuits Contact: Mary Sheeran (ms(a)cs.chalmers) and Tom Melham (Tom.Melham(a)comlab.ox.ac.uk) URL: http://www.cs.chalmers.se/~ms/DCC04/ * eTX - eclipse Technology eXchange Contact: Brian Barry (brian(a)bedarra.com) or Oege de Moor (oege(a)comlab.ox.ac.uk URL: http://web.comlab.ox.ac.uk/oucl/work/oege.de.moor/etxpage/eclipse.ht= ml * FESCA - Formal Foundation of Embedded Software and Component-based Software Architectures Contact: Juliana K=FCster Filipe (jkfilipe(a)inf.ed.ac.uk) URL: http://www.csse.monash.edu.au/fesca email: fesca-04(a)inf.ed.ac.uk * FUSE 2004 - Foundations of Unanticipated Software Evolution Contact: Tom Mens, (Tom.Mens(a)vub.ac.be) URL: http://joint.org/fuse2004/ * GT-VMT - Graph Transformation and Visual Modelling Techniques Contact: Reiko Heckel URL: http://www.uni-paderborn.de/cs/ag-engels/GT-VMT04 email: gtvmt04(a)upb.de * INT - Third International Workshop on Integration of Specification Techniques for Applications in Engineering Contact: Hartmut Ehrig (ehrig(a)cs.tu-berlin.de) and Gunnar Schroeter (schroetg(a)cs.tu-berlin.de) URL: http://tfs.cs.tu-berlin.de/~gschroet/int04/index.html * LDTA - Fourth Workshop on Language Descriptions, Tools and Applications Contact: Joao Saraiva (jas(a)di.uminho.pt) URL: http://www.di.uminho.pt/LDTA04 * MBT 2004 - International Workshop on Model-Based Testing Contact: Alexander Kossatchev (kos(a)ispras.ru) URL: http://www.ispras.ru/news/MBT2004.html * QAPL'04 - 2nd Workshop on Quantitative Aspects of Programming Languages Contact: Alessandra Di Pierro URL: http://qapl04.di.unipi.it/ email: qapl04(a)di.unipi.it * RV'04 - Fourth Workshop on Runtime Verification Contact: Klaus Havelund (havelund(a)email.arc.nasa.gov) URL: http://ase.arc.nasa.gov/rv2004 * SC 2004 - Software Composition Contact: Uwe Assmann (uweas(a)ida.liu.se) URL: http://www.ida.liu.se/~uweas/sc2004 * SFEDL - Semantic Foundations of Engineering Design Languages Contact: Michael Mendler (michael.mendler(a)wiai.uni-bamberg.de) URL: http://www.uni-bamberg.de/~ba7gi99/sfedl04/ * SLAP 2004 : Synchronous Languages, Applications, and Programs Contact: Florence Maraninchi (Florence.Maraninchi(a)imag.fr) URL: http://www.inrialpes.fr/pop-art/people/girault/Slap04 * SPIN - 11th International Workshop on Model-Checking of Software Contact: Susanne Graf, Verimag/CNRS (spin04(a)imag.fr) URL: http://www-verimag.imag.fr/SPIN-2004 * TACoS - Test and Analysis of Component-Based Systems Contact: Mauro Pezz=E8 (pezze(a)disco.unimib.it) URL: www.lta.disco.unimib.it/tacos * WADT'04 - 17th International Workshop on Algebraic Development Techniques Contact: Peter Mosses (wadt2004(a)brics.dk) URL: http://www.lsi.upc.es/etaps04/wadt2004/index.html * WITS'04 - Workshop on Issues in the Theory of Security Contact: Peter Y A Ryan (peter.ryan(a)ncl.ac.uk) URL: http://www.dsi.unive.it/IFIPWG1_7/wits2004.html * WRLA 2004 - 5th International Workshop on Rewriting Logic and its Applications Contact: Narciso Marti-Oliet (narciso(a)sip.ucm.es) URL: http://www.fdi.ucm.es/wrla2004 email: wrla2004(a)sip.ucm.es ----------------------------------------------------------------------- Tutorial ----------------------------------------------------------------------- See the Tutorials page at http://www.lsi.upc.es/etaps04 for details ----------------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------------- Serge Abiteboul, INRIA-Rocquencourt, France Hubert Comon, Cachan, France Robin Milner, Cambridge, UK Peter O'Hearn, London, UK Gruia-Catalin Roman, Washington Univ., USA Mary Lou Soffa, Pittsburgh, USA Antti Valmari, Tampere, Finland ----------------------------------------------------------------------- Tool Demonstrations ----------------------------------------------------------------------- Demonstrations of tools presenting advances on the state of the art have been selected and are integrated in the programmes of the main conferences. Have a look at the Program page at http://www.lsi.upc.es/etaps04 ----------- you received this e-mail via the individual or collective address categories(a)mta.ca to unsubscribe from ETAPS list: contact etaps04(a)lsi.upc.es -----------

1 0

ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS
by Massimo Felici 21 Jan '04

21 Jan '04

[With apologies for multiple copies] ------------------------------------------------------------------- ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS ------------------------------------------------------------------- ETAPS 2005 European Joint Conferences on Theory And Practice of Software 2-10 April 2005 Edinburgh, Scotland, United Kingdom http://www.etaps05.inf.ed.ac.uk -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event which takes place in Europe each spring since 1998. The eighth meeting, ETAPS 2005, will take place 2-10 April 2005 in Edinburgh, Scotland, hosted by the University of Edinburgh. The main conferences of ETAPS are: - FOSSACS: Foundations of Software Science and Computation Structures - FASE: Fundamental Approaches to Software Engineering - ESOP: European Symposium on Programming - CC: International Conference on Compiler Construction - TACAS: Tools and Algorithms for the Construction and Analysis of Systems These conferences will take place 4-8 April 2005. -- SATELLITE EVENTS -- The ETAPS 2005 Organizing Committee invites proposals for Satellite Events that will complement the main ETAPS conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite Events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2005 Satellite Events will be held immediately before and after the main conferences, on 2-3 and 9-10 April 2005. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organise Satellite Events are invited to submit proposals in ASCII, PDF or Postscript format by e-mail to the Satellite Events Chair, Massimo Felici, massimo.felici(a)ed.ac.uk A proposal should not exceed two pages and should include: - Satellite Event name / acronym - the names and contact information of the organizers - the preferred period: 2-3 or 9-10 April - the duration of the workshop: one-day or two-day event - 120-word description of the workshop topic for later use in publicity material - a brief explanation of the workshop topic and its relevance to ETAPS - a schedule for paper submission, notification of acceptance, and final versions (which should be no later than 18 February 2005) - expected number of participants - any other relevant information, e.g., event format, invited speakers, publication policy, demo sessions, special space requirements, etc. The proposals will be evaluated by the ETAPS 2005 organizing committee on the basis of their assessed benefit for prospective participants to ETAPS 2005. The titles and brief information about accepted Satellite Events will be included in the ETAPS 2005 web site, call for papers and call for participation. Satellite Events organizers will be responsible for - producing the event's call for papers and call for participations - publicising the event through specialist mailing lists etc. to complement publicity for ETAPS as a whole - hosting and maintaining a web site for the event - reviewing and making acceptance decisions on submitted papers - producing the event proceedings, if any; facilities for printing will be made available by the ETAPS organizers - scheduling workshop activities in consultation with the local organizers Prospective organizers may wish to consult the satellite events, as examples, of ETAPS 2004: http://www.lsi.upc.es/etaps04/ and ETAPS 2003: http://www.mimuw.edu.pl/etaps03/ -- IMPORTANT DATES -- Satellite Event Proposals Deadline: 31 January 2004 Notification of acceptance: 16 February 2004 -- FURTHER INFORMATION AND ENQUIRIES -- http://www.etaps05.inf.ed.ac.uk etaps2005(a)inf.ed.ac.uk Massimo Felici ETAPS 2005 Satellite Events Chair massimo.felici(a)ed.ac.uk -- THE HOST CITY -- One of the greenest and most beautiful cities in Europe, Edinburgh annually attracts over 2 million visitors, not just for its architecture, but as a city rich in social, cultural, learning and sporting facilities. Edinburgh is a thriving commercial and financial centre, the site of the new Scottish Parliament and a gateway to the coastline, hills and open country of the Scottish Highlands. Edinburgh is a beautiful, dynamic, prosperous European city that benefits from a unique architectural heritage and a magnificent natural setting. ------------------------------------------------------------------- you received this e-mail via the individual or collective address categories(a)mta.ca to unsubscribe from ETAPS list: contact etaps2005(a)inf.ed.ac.uk -------------------------------------------------------------------

1 0

2nd CFP: Category Theory and Computer Science (CTCS'04), Graduate Student Summer School and CMCIM Workshop
by Thomas Hildebrandt 21 Jan '04

21 Jan '04

10th CONFERENCE ON CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'04) AUGUST 12-14, 2004 AND FIRST GRADUATE STUDENT SUMMER SCHOOL AUGUST 9-11, 2004 AND (new!) 3rd WORKSHOP ON CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION AND MOBILITY (CMCIM 2004) AUGUST 11, 2004 IT University of Copenhagen (ITU) Copenhagen, Denmark SECOND CALL FOR PAPERS and CALL FOR PARTICIPATION --------------------------------------------------------------------------- IMPORTANT DATES April 9th, 2004: CTCS Submission deadline June 1st, 2004: CTCS Notification of authors of accepted papers July 1st, 2004: CTCS Registration deadline, and Revised papers due ---------------------------------------------------------------------------- CTCS'04 is the 10th Conference on Category Theory and Computer Science. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. The emphasis is upon applications of category theory, but it is recognized that the area is highly interdisciplinary. Typical topics of interest include, but are not limited to, category-theoretic aspects of the following: coalgebras and computing concurrent and distributed systems constructive mathematics declarative programming and term rewriting domain theory and topology foundations of computer security linear logic modal and temporal logics models of computation program logics, data refinement, and specification programming language semantics type theory Previous meetings have been held in Guildford (Surrey), Edinburgh (twice), Manchester, Paris, Amsterdam, Cambridge, S. Margherita Ligure (Genova), and Ottawa. The proceedings of the conference will be published as a special issue of ENTCS (Electronic Notes in Theoretical Computer Science). Invited Speakers: Francois Bergeron Martin Hyland Robin Milner Andrew Pitts Thomas Streicher PROGRAMME COMMITTEE: Lars Birkedal, Chair (IT University of Copenhagen) Marcelo Fiore (University of Cambridge) Masahito Hasegawa (Kyoto University) Bart Jacobs (University of Nijmegen) Ugo Montanari (University of Pisa) Valeria de Paiva (Palo Alto Research Center) Dusko Pavlovic (Kestrel Institute) John Power (University of Edinburgh) Edmund Robinson (Queen Mary, University of London) Peter Selinger (University of Ottawa) ORGANIZING COMMITTEE E. Moggi, Chair, (Genova) S. Abramsky (Oxford) P. Dybjer (Chalmers) B. Jay (Sydney) A. Pitts (Cambridge) LOCAL ORGANIZING COMMITTEE C. Butz T. Hildebrandt A.L. Moerk SUBMISSION OF PAPERS Papers should be submitted, preferably in electronic form, to ctcs04(a)itu.dk. Papers are limited to 15 pages, and must be submitted in dvi, postscript, or pdf format, possibly gzipped and/or uuencoded, or sent as a standard email attachment. All submissions must be received by April 9th, 2004. If you cannot submit your paper electronically, please contact the program chair at ctcs04(a)itu.dk. SUMMER SCHOOL Inspired by the success of the graduate student preconference of CTCS'02 in Ottawa, the CTCS of this year will have a similar event: A summer school from August 9-11. The goal is to prepare students - both graduate and undergraduate, with basic knowledge of category theory - for CTCS, through mini-courses in the basic areas underlying some of the fields of the conference. The school will offer the following mini-courses (5 lectures): * Stone Duality, Coalgebras, and Modal Logic (Lecturer: Alexander Kurz) * Game Semantics (Lecturer: Guy McCusker) * Operational Semantics (Lecturer: Pawel Sobocinski) * Categorical Models for Concurrency (Lecturer: Thomas Hildebrandt) CMCIM WORKSHOP (new) In between the summer school and the CTCS conference, August 11th, there will be a half-day workshop on Categorical Methods in Concurrency, Interaction and Mobility. The workshop has previously been held in connection with CONCUR 2002 and CONCUR 2003. We invite submissions of extended abstracts (less than 5 pages), presenting recent results, challenges or work in progress. There will be no formal proceedings of the workshop, informal proceedings will be distributed at the workshop. Thus, accepted material may be published elsewhere at a later date. Workshop participation is free, but requires registration before 1st of July, by sending an email to hilde(a)itu.dk, containing `CMCIM2004-registration' in the subject, and your full name and affiliation in the body. Submissions should be sent before 21th of June, as PostScript files to: hilde(a)itu.dk, containing `CMCIM-submission' in the subject, and in the body the full names of the author(s), title, and a text-only abstract. Workshop Organizers: Thomas Hildebrandt Alexander Kurz STUDENT GRANTS (new) A limited number of grants is available for funding the stay of international students at a nearby youth hostel during the summer school and conference. CONFERENCE, SUMMER SCHOOL and WORKSHOP HOMEPAGE Updated information is available from http://www.itu.dk/research/theory/ctcs2004/ (Information about student grants and suggested accommodation will appear soon....) SPONSORSHIP The conference and summer school are APPSEM-II events, sponsored by the FIRST graduate school (www.first.dk) and the Theory Department at the IT University of Copenhagen (www.itu.dk/English/research/theory/

1 0

NASSLLI04 Last Call for Proposals
by Marcus Kracht 20 Jan '04

20 Jan '04

[Apologies for multiple postings.] NASSLLI04 June 21-25, UCLA, Los Angeles (North American Summer School in Logic, Language and Information 2004) Last CALL for PROPOSALS Deadline: January 31, 2004 The third NASSLLI (after a successful start with NASSLLI02 in Stanford and NASSLLI03 in Bloomington) will be held at UCLA, June 21 - 25, 2004. The summer school will consist of a number of courses and workshops, selected on the basis of the proposals. Proposals are invited that present interdisciplinary work between the areas of logic, linguistics, computer science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Submission Details: Submissions should indicate 1) person(s) and affiliation 2) type of event (one week course or workshop, 2 hours a day) 3) an outline of the course up to 500 words 4) an indication of whether special equipment is needed to teach that course (beamer, computer ...) 5) a statement about the instructor's experience in teaching in interdisciplinary settings 6) expected costs (whether you want to be paid hotel and/or travel, or whether you are able to find funding) Final Material: We expect material for the actual courses at least *one month* ahead of the conference if hardcopies of any material are to be made available by us. Financial Details: A course may be taught by one or two persons. Conference fees are waived for all instructors. However, we are only able to pay for the full travel and expenses of one instructor per course. If two persons are lecturing, they may share a lump sum paid for both. Workshops are more complicated, and a proposal for a workshop should include a plan to obtain some outside funding for the speakers. Deadline for submission: January 31, 2004 Program Committee: Dominique Sportiche, UCLA, chair Mai Gehrke, New Mexico State University John Horty, University of Maryland Mark Johnson, Brown University Phokion Kolaitis, UC Santa Cruz Marcus Kracht, UCLA Philippe Schlenker, UCLA & Institut Jean-Nicod Bart Selman, Cornell University Ed Stabler, UCLA Web site: News will be posted at http://www.linguistics.ucla.edu/nassllli04/ Inquiries can be sent to the following email address: kracht(a)humnet.ucla.edu and: Marcus Kracht Department of Linguistics UCLA 3125 Campbell Hall PO Box 951543 405 Hilgard Avenue Los Angeles, CA 90095-1543 kracht(a)humnet.ucla.edu

1 0

LICS 2004: Final CFP
by Alex Simpson 19 Jan '04

19 Jan '04

The deadlines for submitting to LICS 2004 are approaching: Titles & Short Abstracts Due : January 26, 2004 Extended Abstracts Due : February 2, 2004 ----- FINAL CALL FOR PAPERS Nineteenth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2004) July 14th - 17th, 2004, Turku, Finland http://www.lfcs.informatics.ed.ac.uk/lics/ The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. We invite submissions on that theme. Suggested, but not exclusive, topics of interest for submissions include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, proof theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logical representation of knowledge, logics of programs, logic programming, modal and temporal logics, model checking, programming language semantics, reasoning about security, rewriting, specifications, type systems and type theory, and verification. Important Dates: Authors are required to submit electronically a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. Titles & Short Abstracts Due : January 26, 2004 Extended Abstracts Due : February 2, 2004 Author Notification : March 27, 2004 Camera-ready Papers Due : April 25, 2004 All deadlines are firm; late submissions will not be considered. Detailed information about electronic paper submission are available from the LICS website. Submission Instructions: Extended abstracts must be submitted electronically in the IEEE Proceedings two-column camera-ready format. Each abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work should be included. Extended abstracts may be no longer than 10 pages including references, and must be formatted in the IEEE Proceedings two-column camera-ready style (IEEE style files are accessible from the LICS website). If necessary, detailed proofs of technical results can be included in a clearly-labelled appendix in the same two-column format following the 10-page extended abstract. This material may be read at the discretion of the program committee. Extended abstracts not conforming to the above requirements concerning format and length may be rejected without further consideration. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present it at the conference. Short Presentations: LICS 2004 will have a session of short (5--10 minutes) presentations. This session is intended for descriptions of work in progress, student projects, and relevant research being published elsewhere; other brief communications may be acceptable. Submissions for these presentations, in the form of short abstracts (1 or 2 pages long), should be entered at the LICS 2004 submission site between March 27th and April 4th, 2004. Authors will be notified of acceptance or rejection by April 17th, 2004. Kleene Award for Best Student Paper: An award in honor of the late S.C. Kleene will be given for the best student paper, as judged by the program committee. For a submission to be eligible, the research presented in the paper must have been carried out while all authors were full-time students. The program committee may decline to make the award or may split it among several papers. Affiliated Workshops: As in previous years, there will be a number of workshops affiliated with LICS 2004; information will be posted at the LICS website. Program Chair: Harald Ganzinger MPI Informatik, Saarbruecken, Germany http://www.mpi-sb.mpg.de/~hg/ Program Committee: Rajeev Alur, U. of Pennsylvania Andrew Appel, Princeton U. Albert Atserias, UPC, Barcelona Franz Baader, Dresden U. Samuel Buss, U. of California, San Diego Roberto Di Cosmo, U. de Paris VII Gilles Dowek, Ecole Polytechnique, Paris Harald Ganzinger, MPI, Saarbruecken (chair) Martin Hofmann, LMU Muenchen Achim Jung, U. of Birmingham Kim Larsen, Aalborg U. Leonid Libkin, U. of Toronto Rocco de Nicola, U. di Firenze Damian Niwinski, Warsaw U. Prakash Panangaden, McGill U., Montreal Albert Rubio, UPC, Barcelona Vitaly Shmatikov, SRI International Moshe Vardi, Rice U., Houston Helmut Veith, TU Wien Andrei Voronkov, U. of Manchester Conference Chair: Lauri Hella Department of Math., Stat., and Phil. Kanslerinrinne 1 33014 University of Tampere, Finland Email: lauri.hella(a)uta.fi Workshops Chair: Phil Scott, U. of Ottawa Email: phil(a)site.uottawa.ca Publicity Chair: Alex Simpson, U. of Edinburgh Email: Alex.Simpson(a)ed.ac.uk General Chair: Phokion G. Kolaitis, UC Santa Cruz Email: kolaitis(a)cse.ucsc.edu Organizing Committee: S. Abramsky, A. Broder, E. Clarke, A. Felty, H. Ganzinger, H. Gabow, J. Halpern, L. Hella, U. Kohlenbach, P. Kolaitis (chair), D. Leivant, G. Longo, H. Mairson, A. Middeldorp, J. Mitchell, M. Nielsen, P. Panangaden, G. Plotkin, F. Pfenning, P. Scott, R. Shore, A. Simpson, I.A. Stewart. Advisory Board: Y. Gurevich, C. Kirchner, D. Kozen, U. Martin, L. Pacholski, V. Pratt, A. Scedrov, M.Y. Vardi, G. Winskel. Sponsorship: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, and the European Association for Theoretical Computer Science. Invited Speakers: The following distinguished speakers have agreed to give invited talks at LICS 2004 : Samson Abramsky (Oxford U.), Robert Harper (Carnegie Mellon University), Alexander Razborov (IAS, Princeton, and Steklov Math. Inst., Moscow), Davide Sangiorgi (U. di Bologna), Igor Walukiewicz (U. Bordeaux), and Mihalis Yannakakis (Stanford U.). Collocated events: ICALP'04 will be collocated with LICS'04; for details see http://www.math.utu.fi/ICALP04/.

1 0