[Haskell] FMCO 2005: second call for participation
Our apologies if you receive multiple copies of this e-mail. ** SECOND CALL FOR PARTICIPATION Fourth International Symposium on Formal Methods for Components and Objects (FMCO 2005) DATES 1 - 4 November 2005 PLACE CWI, Amsterdam, The Netherlands The early registration deadline is about to close (October 15th)! For more information please visit the FMCO web site at http://fmco.liacs.nl/fmco05.html This year's conference program includes: * Eleven outstanding keynote speakers: - Michael Barnett (Microsoft, USA) - Luís Caires (New University of Lisbon, PT) - Dennis Dams (Bell Labs, USA) - Wan Fokkink (Free University, NL) - Orna Grumberg (Technion, ISR) - Joost-Pieter Katoen (RWTH Aachen, DE) - Kung-Kiu Lau (University of Manchester, UK) - Peter O' Hearn (Queen Mary University of London, UK) - Arnd Poetzsch-Heffter (University of Kaiserslautern, DE) - John Reynolds (Carnegie Mellon University, USA) - Davide Sangiorgi (University of Bologna, IT) - Jan van Schuppen (CWI, NL) * Ten selected tutorials For full details see the conference web site http://fmco.liacs.nl/fmco05.html We look forward to see you in Amsterdam. The FMCO 2005 Organizing Committee F.S. de Boer (CWI and LIACS - Leiden University) M.M. Bonsangue (LIACS - Leiden University) S. Graf (Verimag) W.P. de Roever (Kiel University) ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] FMCO 2005: first call for participation
Our apologies if you receive multiple copies of this e-mail. ** FIRST CALL FOR PARTICIPATION Fourth International Symposium on Formal Methods for Components and Objects (FMCO 2005) DATES 1 - 4 November 2005 PLACE CWI, Amsterdam, The Netherlands Registration form and more information at the FMCO site http://fmco.liacs.nl/fmco05.html PRELIMINARY PROGRAM Tuesday November 1st SESSION: ALGEBRAIC METHODS 9:00 - 10:00 Keynote: Davide Sangiorgi (University of Bologna, IT) The Bisimulation Proof Method: Enhancements and Challenges Break 10:20 - 11:10 Expressiveness via Leader Election Problems C. Palamidessi (INRIA Futurs Saclay and LIX , FR) Break 11:30 - 12:30 Keynote: Wan Fokkink (Free University, NL) Divide and Congruence Lunch break SESSION: COMPONENT AND SERVICE ORIENTED PROGRAMMING 14:30 - 15:00 Keynote: Kung-Kiu Lau (University of Manchester, UK) Towards a Theory of Software Components Break 15:20 - 16:10 Keynote: Luís Caires (New University of Lisbon, PT) t.b.a. 16:10 - 17:00 Synchronized Hyperedge Replacement as a Model for Service Oriented Computing D. Hirsch (Pisa University, IT) Welcome reception Wednesday November 2nd -- SESSION: HEAP VERIFICATION 9:30 - 10:30 Keynote: Peter O' Hearn (Queen Mary University of London, UK) Smallfoot: A Tool for Checking Separation Logic Footprint Specifications Break 11:10 - 12:00 Keynote: Joost-Pieter Katoen (RWTH Aachen, DE) Verifying Liveness and Safety of Concurrent Heap-Manipulating Programs Lunch break SESSION: TOOLS 13:30 - 14:30 Keynote: Dennis Dams (Bell Labs, USA) Orion: Building Blocks for Program Analyzers Break 14:50 - 16:00 mCRL2: a language and toolset for behavioural modelling and analysis J.-F. Groote (Technical University Eindhoven, NL) Social event and dinner Thursday Nov 3rd SESSION: MODEL CHECKING 9:00 - 10:00 Keynote: Orna Grumberg (Technion, ISR) Abstraction and Refinement in Model Checking Break 10:20 - 11:10 Verification of Evolving Software via Component Substitutability Analysis N. Sinha (Carnegie Mellon University, USA) 11:10 - 12:00 Distributed Analysis of Large Systems L. Brim (University Brno, CZ) Lunch break SPECIAL SESSION 13:30 - 14:30 Keynote: John Reynolds (Carnegie Mellon University, USA) t.b.a. Break SESSION: QUANTITATIVE ANALYSIS 14:50 15:40 Quantitative Aspects of Coordination H. Wiklicky (Imperial College London, UK) 15:40 - 16:30 Partial Order Reduction for Markov Decision Processes C. Baier (Bonn University, DE) Friday Nov 4th -- SESSION: ASSERTIONAL METHODS 9:00 - 10:00 Keynote: Arnd Poetzsch-Heffter (University of Kaiserslautern, DE) t.b.a. Break 10:20 - 11:10 Beyond Hoare Logic Assertions: Advanced Specification and Verification with JML and ESC/Java2 J. Kiniry (UCD Dublin, IE) Break 11:30 - 12:30 Keynote: Michael Barnett (Microsoft, USA) t.b.a. Lunch break SESSION: SYSTEM DESIGN 14:00 - 15:00 Keynote: Jan van Schuppen (CWI, NL) Decentralized and Modular Control of Discrete-Event Systems Break 15:20 - 16:10 Formal Development of Critical Systems with UML: Methods and Tools J. Jürjens (Technical University Munich, DE) 16:10 - 17:00 UpSTAIRS with Sequence Diagrams K. Stølen (SINTEF ICT, NO) Farewell drink ORGANIZING COMMITTEE F.S. de Boer (CWI and LIACS-Leiden University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] FMCO 2005: Call for Tutorial Papers
Apologies if you receive multiple copies of this message! === CALL FOR TUTORIAL PAPERS 4th International Symposium on 1 - 4 November 2005 Formal Methods for Objects and ComponentsCWI, Amsterdam (FMCO 2005) The Netherlands http://fmco.liacs.nl/fmco05.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 system 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 Sep 2005 Tutorial paper due: 28 Feb 2006 Author notification:1 Oct 2005 Author notification:15 Apr 2006 Symposium:1-4 Nov 2005 Camera-ready paper due: 15 May 2006 The short abstracts must be in English and provide sufficient details to allow the organizing committee and the advisory board to assess the 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 ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). 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 --- Michael Barnett (Microsoft, USA) Luis Caires (New University of Lisbon, PT) Patrick Cousot (ENS, FR) Dennis Dams (Bell Labs, USA) Wan Fokkink (Free University, NL) Orna Grumberg (Technion, ISR) Joost-Pieter Katoen (RWTH Aachen, DE) Kung-Kiu Lau (University of Manchester, UK) Peter O' Hearn (Queen Mary University of London, UK) Arnd Poetzsch-Heffter (University of Kaiserslautern, DE) John Reynolds (Carnegie Mellon University, USA) Davide Sangiorgi (University of Bologna, IT) 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, KNAW, CWI, and LIACS. For more information about the symposium see the FMCO site above or consult either F.S. de Boer ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] FMCO 2005: preliminary call for tutorial papers
PRELIMINARY CALL FOR TUTORIAL PAPERS 4th International Symposium on 1 - 4 November 2005 Formal Methods for Objects and Components CWI, Amsterdam (FMCO 2005) The Netherlands http://fmco.liacs.nl/fmco05.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 system 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 language, 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 experience 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 Sep 2005 Tutorial paper due: 28 Feb 2006 Author notification:1 Oct 2005 Author notification:15 Apr 2006 Symposium:1-4 Nov 2005 Camera-ready paper due: 15 May 2006 The short abstracts must be in English and provide sufficient detail to allow the organizing committee and the advisory board to assess the merits of the related tutorial paper. One author of each accepted abstract will be expected to present the tutorial at the conference. The tutorial paper must be unpublished and not submitted for publication, but may contain previously published material. Short abstracts and tutorial paper must be submitted electronically to F.S. de Boer ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). Format -- The symposium is a four days event organised to provide an atmosphere that fosters collaborative work, discussions and interaction. Lectures are given by the keynote speakers listed below and by authors of accepted abstract. Keynote speakers and advisory board --- Michael Barnett (Microsoft, USA) Lus Caires (New University of Lisbon, PT) Patrick Cousout (ENS, FR) Dennis Dam (Bell Labs, USA) Wan Fokkink (Free University, NL) Orna Grumberg (Technion, ISR) Joost-Pieter Katoen (RWTH Aachen, DE) Kung-Kiu Lau (University of Manchester, UK) Peter O' Hearn (Queen Mary University of London, UK) Arnd Poetzsch-Heffter (University of Kaiserslautern, DE) John Reynolds (Pittsburg University, USA) Davide Sangiorgi (Universita di Bologna, IT) 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) For more information about the symposium see the FMCO site above or consult either F.S. de Boer ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] Call for Participation: FMCO 2004
Apologize if you receive multiple copies of this e-mail. * CALL FOR PARTICIPATION Third International Symposium on Formal Methods for Components and Objects (FMCO 2004) The objective of this symposium is to bring together top researchers in the area of software engineering to discuss the state-of-the-art and future applications of formal methods in the development of large component-based and object-oriented software systems. DATES 2 - 5 November 2004 PLACE Lorentz Center, Leiden University, Leiden, The Netherlands URL http://fmco.liacs.nl/fmco04.html Early registration fee applies for registration before 20/09/2004 !!! Participation is limited to about 80 people, based on a first-in first-served policy. For more information about participation and registration see the FMCO site at http://fmco.liacs.nl/fmco04.html or consult either F.S. de Boer ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). PRELIMINARY PROGRAM TUESDAY 2nd, November 2004 8:45 - 9:00 Welcome 9:00 - 10:00 Keynote: Robin Milner (Cambridge University, UK) 10:00 - 10:30 Break 10:30 - 11:15 Rocco de Nicola (University of Firenze, IT) 11:15 - 12:00 Eugenio Moggi (Genova University, IT) 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Kim Bruce (Williams College, USA) 14:30 - 15:00 Break 15:00 - 15:45 Julian Rathke (Sussex University, UK) 15:45 - 16:00 Break 16:00 - 16:45 Martin Steffen (Kiel University, DE) 16:45 - 17:30 Marcello Bonsangue (LIACS, NL) WEDNESDAY 3rd, November 2004 9:00 - 10:00 Keynote: Tom Henzinger (University of California, Berkeley, USA) 10:00 - 10:30 Break 10:30 - 11:15 Susanne Graf (Verimag, FR) 11:15 - 12:00 Wang Yi (Uppsala University, SE) 12:00 - 13:15 Lunch break 13:15 - 14:15 Keynote: Thomas Ball (Microsoft Research at Redmond, USA) 14:15 - 14:30 Break 14:30 - 15:15 Frits Vaandrager (Nijmegen University, NL) 15:15 - 16:00 Wolfgang Weck (Oberon Microsystems, CH) 17:00 - 19:15 Social Event 19:30 - Dinner THURSDAY 4th, November 2004 9:00 - 10:00 Keynote: Kim Larsen (Aalborg University, DK) 10:00 - 10:30 Break 10:30 - 11:15 Ed Brinksma (University of Twente, NL) 11:15 - 12:00 Andreas Podelski (Max Plank Inst. for Informatics, DE) 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Chris Hankin (Imperial College, UK) 14:30 - 15:00 Break 15:00 - 15:45 David Naumann (Stevens Institute of Technology, USA) 15:45 - 16:30 Tobias Nipkow (Munchen University, DE) 16:30 - 16:45 Break 16:45 - 17:30 Liu Zhiming (UNU-IIST, Macao) FRIDAY 5th, November 2004 9:00 - 10:00 Keynote: Samson Abramsky (Oxford University, UK) 10:00 - 10:30 Break 10:30 - 11:15 Luca de Alfaro (UC Santa Cruz, USA) 11:15 - 12:00 Luis Barbosa (Minho University, PT) 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Reinhard Wilhelm (Saarland University, DE) 14:30 - 15:00 Break 15:00 - 15:45 Olaf Owe (University of Oslo, NO) 15:45 - 16:30 Pierre Cointe (Ecole des Mines de Nantes, FR) ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Formal Methods for Components and Objects 2003
Channels. REGISTRATION Participation is limited to about 80 people, using a first-in first-served policy. To register, please fill in the registration form at http://fmco.liacs.nl/fmco03.html. The EARLY registration fee (BEFORE September 15, 2003) is 375 euro for regular participants and 250 euro for students It includes the participation to the symposium, a copy of the proceedings, all lunches and refreshments, and a social event (with dinner). ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) For more information about participation and registration see the FMCO site above or consult either F.S. de Boer ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Compositional Verification of UML Models
(We apologize for the reception of multiple copies) ** DEADLINE IS APPROACHING: CALL FOR PAPER *** Call for Papers Compositional Verification of UML Models Workshop of the UML 2003 Conference The definition of UML has been motivated by the need for a standard notation for modelling system architectures and behaviours at functional and implementation level. The main fqocus has been essentially on terminology, notation and syntax without addressing semantic, validation and methodology issues which are important for formal design and verification techniques. This workshop addresses the application of formal methods and techniques that exploit the architectural structure of UML models in a compositional manner. TOPICS The workshop topics include (but are not limited to): * semantic foundations of architectural and component-based design within UML * compositional techniques for the analysis embedded and real-time systems in UML * compositional model checking of UML behavioural models * compositional deductive methods based on OCL * methodologies based on compositional formal techniques FORMAT OF THE WORKSHOP The workshop will consist of presentations of the accepted papers, which will be the basis for an intensive discussion on the workshop topics. Extended abstracts of the presentations will be published after the workshop by Elsevier Science as a volume of the Electronic Notes in Theoretical Computer Science. For an up-to-date program and invited talks see the workshop web-site http://fmco.liacs.nl/compuml.html SUBMISSIONS Authors are invited to submit by August 25th an extended abstract not exceeding 20 pages electronically to [EMAIL PROTECTED] Submissions must be either in Postscript or PDF format and prepared for USLetter or A4 page sizes. Submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Electronic Notes in Theoretical Computer Science series. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Simultaneous submissions to other conferences are not allowed. IMPORTANT DATES 25 August Submission deadline 10 SeptemberNotification to authors 1 October Deadline for preliminary version 21 October Workshop date 21 November Deadline for final version PROGRAM COMMITTEE Frank de Boer (CWI, NL) Marcello Bonsangue (LIACS, NL) Werner Damm (OFFIS, DE) Susanne Graf (Verimag, France) David Harel (Weizmann Institute, Israel) Jozef Hooman (University of Nijmegen, NL) Bernhard Josko (OFFIS, DE) Amir Pnueli (Weizmann Institute, ISR) Willem-Paul de Roever (Kiel University, DE) Joseph Sifakis (Verimag, FR) ORGANIZERS Frank de Boer (CWI, NL) Marcello Bonsangue (LIACS, NL) Bernhard Josko (OFFIS, DE) SPONSORS This workshop is sponsored by the European RD project OMEGA - Correct Development of Real-time Embedded Systems (http://www-omega.imag.fr), and the German-Dutch project Mobi-J (main sponsor of FMCO, http://fmco.liacs.nl). ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Compositional Verification of UML Models
(We apologize for the reception of multiple copies) CALL FOR PAPER * Call for Papers Compositional Verification of UML Models Workshop of the UML 2003 Conference The definition of UML has been motivated by the need for a standard notation for modelling system architectures and behaviours at functional and implementation level. The main fqocus has been essentially on terminology, notation and syntax without addressing semantic, validation and methodology issues which are important for formal design and verification techniques. This workshop addresses the application of formal methods and techniques that exploit the architectural structure of UML models in a compositional manner. TOPICS The workshop topics include (but are not limited to): * semantic foundations of architectural and component-based design within UML * compositional techniques for the analysis embedded and real-time systems in UML * compositional model checking of UML behavioural models * compositional deductive methods based on OCL * methodologies based on compositional formal techniques FORMAT OF THE WORKSHOP The workshop will consist of presentations of the accepted papers, which will be the basis for an intensive discussion on the workshop topics. Extended abstracts of the presentations will be published after the workshop by Elsevier Science as a volume of the Electronic Notes in Theoretical Computer Science. For an up-to-date program and invited talks see the workshop web-site http://fmco.liacs.nl/compuml.html SUBMISSIONS Authors are invited to submit by August 25th an extended abstract not exceeding 20 pages electronically to [EMAIL PROTECTED] Submissions must be either in Postscript or PDF format and prepared for USLetter or A4 page sizes. Submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Electronic Notes in Theoretical Computer Science series. Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. Simultaneous submissions to other conferences are not allowed. IMPORTANT DATES 25 August Submission deadline 10 SeptemberNotification to authors 1 October Deadline for preliminary version 21 October Workshop date 21 November Deadline for final version PROGRAM COMMITTEE Frank de Boer (CWI, NL) Marcello Bonsangue (LIACS, NL) Werner Damm (OFFIS, DE) Susanne Graf (Verimag, France) David Harel (Weizmann Institute, Israel) Jozef Hooman (University of Nijmegen, NL) Bernhard Josko (OFFIS, DE) Amir Pnueli (Weizmann Institute, ISR) Willem-Paul de Roever (Kiel University, DE) Joseph Sifakis (Verimag, FR) ORGANIZERS Frank de Boer (CWI, NL) Marcello Bonsangue (LIACS, NL) Bernhard Josko (OFFIS, DE) SPONSORS This workshop is sponsored by the European RD project OMEGA - Correct Development of Real-time Embedded Systems (http://www-omega.imag.fr), and the German-Dutch project Mobi-J (main sponsor of FMCO, http://fmco.liacs.nl). ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
Second International Symposium on Formal Methods for Components and Objects
(We apologize for the reception of multiple copies) *** CALL FOR PARTICIPATION ** Second International Symposium on Formal Methods for Components and Objects (FMCO 2003) DATES 4 - 7 November 2003 PLACE Lorentz Center, Leiden University, Leiden, The Netherlands URL http://fmco.liacs.nl/fmco03.html OBJECTIVES The objective of this symposium is to bring together researchers and practioners in the areas of software engineering and formal methods to discuss the concepts of reusability and modifiability in component-based and object-oriented software systems. FORMAT The symposium is a four days event in the style of the former REX workshops, organised to provide an atmosphere that fosters collaborative work, discussions and interaction. The program consists of keynote and technical presentations, and contains an exquisite social event. Speakers' contributions will be published after the symposium in Lecture Notes in Computer Science by Springer-Verlag. KEYNOTE SPEAKERS Desmond D'Souza (Kinetium, Austin, USA) E. Allen Emerson (University of Texas at Austin, USA) Andrew D. Gordon (Microsoft Research, UK) Yuri Gurevich (Microsoft Research, USA) Tony Hoare (Microsoft Research, UK) David Parnas (University of Limerick, IE) Joseph Sifakis (Verimag, FR) TECHNICAL PRESENTATIONS Albert Benveniste (IRISA/INRIA - Rennes, FR) Frank de Boer (CWI, NL) Egon Boerger (Pisa University, IT) Werner Damm (University of Oldenburg, DE) Razvan Diaconescu (IMAR, RO) Gregor Engels (University of Paderborn, DE) Jose Luiz Fiadeiro (University of Leicester, UK) Jan Friso Groote (Eindhoven University of Technology, NL) Jean-Marc Jezequel (IRISA, Rennes, FR) Bengt Jonsson (Uppsala University, SE) Yassine Lakhnech (University of Grenoble, FR) Rob van Ommering (Philips Research Laboratories, NL) Amir Pnueli (The Weizmann Institute of Science, ISR) Willem-Paul de Roever (University of Kiel, DE) Jan Rutten (CWI, Amsterdam, NL) Philippe Schnoebelen (CNRS, Cachan, FR) Natalia Sidorova (Eindhoven University of Technology, NL) Heike Wehrheim (University of Oldenburg, DE) Jeannette Wing (Carnegie Mellon University, USA) REGISTRATION Participation is limited to about 80 people, using a first-in first-served policy. To register, please fill in the registration form at http://fmco.liacs.nl/fmco03.html. The EARLY registration fee (BEFORE September 15, 2003) is 375 euro for regular participants and 250 euro for students It includes the participation to the symposium, a copy of the proceedings, all lunches and refreshments, and a social event (with dinner). ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) For more information about participation and registration see the FMCO site above or consult either F.S. de Boer ([EMAIL PROTECTED]) or M.M. Bonsangue ([EMAIL PROTECTED]). ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell