Passwort vergessen?
Events
- FLACOS 11, Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, Malaga, Spain, 22-23 September, 2011
- CALCO 2011, 4th Conference on Algebra and Coalgebra in Computer Science, August 29 - September 2, 2011, Winchester, UK
- AMMSE 2011, 2nd Workshop on Algebraic Methods in Model-Based Software Engineering, TOOLS 2011 satellite event, June 30, 2011
- ASCENS 2010-2014, EU Project Kick-Off Meeting, October 11-13, 2010, Munich, Germany
- ICTAC 2010, International Colloquium on Theoretical Aspects of Computing, Natal, Rio Grande do Norte, Brazi, September 1-3, 2010
- TGC 2010, 5th Intl. Symposium on Trustworthy Global Computing
- FMOODS & FORTE 2010, 12th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, Amsterdam, Netherlands, 7-9 June 2010
- 4th European Young Researchers Workshop on Service-Oriented Computing (YR-SOC), 17.-19. June, 2009, Pisa.
- 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven (NL), November 2-3, 2009 (co-located with FM 2009)
- IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2009), Lisbon, Portugal, June 9-11, 2009. It is part of the federated conference event DisCoTec 2009 (Distributed Computing Techniques)
- FASE 2009, Fundamental Approaches to Software Engineering, York, March 2009
- ICWE 2008, 8th International Conference on Web Engineering, Yorktown Heights, New York, USA, July 14 - 18, 2008
- ICMT 2008, International Conference on Model Transformation, Zurich, Switzerland, July 1 - 2, 2008
- YR-SOC 2008, 3rd European Young Researcher Workshop on Service Oriented Computing, London, UK, June 12-13, 2008
- GT-VMT 2008, Budapest, March 29 - 30, 2008, satellite event of ETAPS 2008.
- CeBIT 2008, International IT fair, Hannover, Germany, March 4-9, 2008
- FMCO 2007 , Software Technologies Concertation on Formal Methods for Components and Objects, Amsterdam, The Netherlands, October 24 - 26, 2007
- LED 2007, First International Workshop on Layout of (Software) Engineering Diagrams, September 27, 2007, Coeur d'Alène, Idaho, USA
- SEFM 2007, 5th IEEE International Conference on Software Engineering and Formal Methods, London, September 10-14, 2007.
- I-SEMANTICS 2007, 3rd International Conference on Semantic Technologies, Graz, September 5-7, 2007
- ESSPE '07, International Workshop Engineering of Software Services for Pervasive Environments, ESEC/FSE 2007 - Dubrovnik, Croatia, September 4, 2007
- CALCO 2007, 2nd Conference on Algebra and Coalgebra in Computer Science, August 20-24, 2007, Bergen, Norway
- ICWE 2007, 7th International Conference on Web Engineering, Como, Italy, July 16 - 20, 2007
- The Second European Young Researchers Workshop on Service Oriented Computing, Leicester, UK, June 11-12, 2007
