Forthcoming Event Participation

·         FMCO05, Fourth International Symposium on Formal Methods for Components and Objects, Amsterdam, 01-04/11/2005.
Tutorial Presentation: Synchronized Hyperedge Replacement as a Model for Service Oriented Computing.

Event Organization

·         COORD04, Member of Organizing Committee. Sixth Int. Conference on Coordination Models and Languages. Pisa, Italy, 24-27/02/2004.

·         ECI, Member of Program Committee, Escuela de Ciencias Informáticas, Dipartimento di Informatica, UBA. 2000, 2001, 2002 and 2005.

Conference and Workshop Participation

·         SEFM05, 3rd IEEE International Conference on Software Engineering and Formal Methods. Koblenz, Germany, 5-9/09/2005.
Paper presentation by Ivan Lanese.

·         COORD05, Seventh Int. Conference on Coordination Models and Languages. Namur, Belgium, 20-23/04/2005.
Poster Presentation
SHReQ: A Framework for Coordinating Application Level QoS. Presentation by Emilio Tuosto.
[postershreq.zip] 
See full paper: [shreq.zip]  [abstract]  [bibitem]

·         ETAPS2005, European Joint Conference on Theory and Practice of Software. Edinburgh, Scotland, 02-10/04/2004.
Short Paper Presentation at the workshop Quantitative Aspects of Programming Languages: QAPL’05.
SHReQ: A Framework for Coordinating Application Level QoS. (Extended Abstract). Presentation by Emilio Tuosto.
See full paper: [shreq.zip]  [abstract]  [bibitem]

·         Schloss Dagstuhl Seminar 05081: “Foundations of Global Computing”, Wadern, Germany, 20-25/02/2005.  

·         Schloss Dagstuhl Seminar 04241: “Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems”, Wadern, Germany, 06-11/06/2004.
Presentation: Shaped Hierarchical Architectural Design.  [proceedings]

·         ETAPS2004, European Joint Conference on Theory and Practice of Software. Barcelona, Spain,
27/03-04/04/2004. Paper Presentation at the GT-VMT workshop.

·         GC04, Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, Rovereto, Italy, 07-12/03/2004.
Presentation: Shaped Hierarchical Architectural Design.

·         COORD04, Sixth Int. Conference on Coordination Models and Languages. Pisa, Italy, 24-27/02/2004.

·         GC03, Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, IST/FET International Workshop, Rovereto, Italy, 10-14/02/2003.

·         10th Anniversary UNU/IIST Colloquium of the United Nations University International Institute for Software Technology, “Formal Methods at the Crossroads, from Panacea to Foundational Support”, Lisbon, Portugal, 18-21/03/2002.

·         ASSE01, Second Argentine Symposium on Software Engineering, Buenos Aires, Argentina, 10-12/09/2001.

·         ICSE01, 23th. International Conference on Software Engineering. Toronto, Canada, 12-19/05/2001.

·         Schloss Dagstuhl Seminar 00411: “Semi-Formal and Formal Specification Techniques for Software Systems”, Wadern, Germany, 08-13/10/2000.
Presentation: Integrating Reconfiguration to Software Architecture Styles using Name Mobility. 

·         COORD00, Fourth Int. Conference on Coordination Models and Languages. Limassol, Cyprus,
11-13/09/2000. Paper presentation.

·         ETAPS00, European Joint Conference on Theory and Practice of Software. Berlin, Germany, 25/03‑02/04/2000. Paper presentation at the GRATRA workshop.

·         Schloss Dagstuhl Seminar 99451: "Rigorous Analysis and Design for Software Intensive Systems", Wadern, Germany, 07-12/11/1999.
Presentation: Reconfiguration of Software Architectures.

·         COORD99, Third Int. Conference on Coordination Models and Languages. Amsterdam, Netherlands,
26-28/04/1999. Poster Presentation.

·         WICSA99, First Working IFIP Conference on Software Architecture, San Antonio, Texas, U.S.A.,
22-24/02/1999. Paper presentation.

·         ISAW3, Third International Software Architecture Workshop, Orlando, U.S.A., 01-02/11/1998. Paper presentation.

·         IWSSD9, Ninth IEEE International Workshop on Software Specification and Design, Japan,
16-18/04/1998.

·         SOST99, 3rd Symposium on Software Technology, Buenos Aires, Argentina, 08-09/09/1999. Paper presentation.

School Participation

·         SFM-03:SA. 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture. 22-27/09/2003, Bertinoro, Italy.

·         BRICS Summer School on Semantics. Arhus University, Denmark, 02-07/05/1999.

·         DIMACS Summer School on Applied Logic. Rutgers University, U.S.A., 08-09/1995.

·         ECI, Escuela de Ciencias Informáticas, Dipartimento di Informatica, UBA. 1994, 1996, 1998, 2000, 2001.