Second International Symposium on Formal Methods for Components and Objects

2003-07-28 Thread M.M. Bonsangue
ll 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 o

Compositional Verification of UML Models

2003-07-30 Thread M.M. Bonsangue
(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

Compositional Verification of UML Models

2003-08-17 Thread M.M. Bonsangue
(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 UM

Formal Methods for Components and Objects 2003

2003-09-09 Thread M.M. Bonsangue
tudents 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) Fo

Final call: Formal Methods for Components and Objects

2003-10-17 Thread M.M. Bonsangue
efreshments, 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

[Haskell] Call for Participation: FMCO 2004

2004-06-22 Thread M.M. Bonsangue
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

[Haskell] Call for Participation: FMCO 2004

2004-09-06 Thread M.M. Bonsangue
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

[Haskell] FMCO 2005: preliminary call for tutorial papers

2005-04-01 Thread M.M. Bonsangue
]) 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

[Haskell] FMCO 2005: Call for Tutorial Papers

2005-08-23 Thread M.M. Bonsangue
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

[Haskell] FMCO 2005: first call for participation

2005-09-28 Thread M.M. Bonsangue
) 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

[Haskell] FMCO 2005: second call for participation

2005-10-11 Thread M.M. Bonsangue
n 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.