[TYPES/announce] WS-FM 2008 - First Call for Papers

, Switzerland) D. Yankelevich (Pragma Consultores, Argentina) P. Yendluri (Software AG, U.S.) -- = Dr. Roberto Bruni Computer Science Department Phone: +39 050

[TYPES/announce] WS-FM 2008 (Sept. 4-5): Call for Participation

Preliminary Programme - THURSDAY, SEPTEMBER 4 13:45-14:00 - WELCOME by Roberto Bruni and Karsten Wolf 14:00-15:30 - ANALYSIS, TEST AND VERIFICATION * Validation and Discovery of Non-deterministic Semantic e-services (Luigi Dragone) * Proof techniques for adapter generation

[TYPES/announce] Last CfP for TGC 2010: EXTENDED deadline Jan. 20th, 2010

!) - * Gilles Barthe (IMDEA Software, Madrid) * Roberto Bruni (University of Pisa) * Rocco De Nicola (University of Florence) * Howard Foster (Imperial College) * Samir Genaim (Universidad Complutense de Madrid) * Stefania Gnesi (ISTI, Pisa) * Martin Hofmann (LMU Munich) (co-chair

[TYPES/announce] FMOODS FORTE 2011 - Second CfP

. -- Programme Committee - Saddek Bensalem, University Joseph Fourier, France - Dirk Beyer, University of Passau, Germany - Gregor Bochmann, University of Ottawa, Canada - Roberto Bruni (co-chair), University of Pisa, Italy - Nancy Day, University of Waterloo, Canada - John Derrick, University

[TYPES/announce] FMOODS FORTE 2011 (extended deadline!) - Last CfP

, University Joseph Fourier, France - Dirk Beyer, University of Passau, Germany - Gregor Bochmann, University of Ottawa, Canada - Roberto Bruni (co-chair), University of Pisa, Italy - Nancy Day, University of Waterloo, Canada - John Derrick, University of Sheffield, UK - Juergen Dingel (co-chair), Queen's

[TYPES/announce] Last CfP TGC 2011: extended deadline

) Davide Sangiorgi (University of Bologna, Italy) Don Sannella (University of Edinburgh, Scotland) Vladimiro Sassone (University of Southampton, UK) Martin Wirsing (University of Munich, Germany) PROGRAM CHAIRS -- Roberto Bruni - br...@di.unipi.it University