We co-organize the following events ...
2012 |
|
ISoLA 2012 | |
ISoLA Week, mit Graduate School, workshops und Strategic Directions Workshop, Hersonissos (GR), October 2012, Program Chair. → | |
CORCS 2012 | |
4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems, Izmir (Turkey), July 16th, 2012, Program Co-chair, - co-located with COMPSAC 2012. → | |
TASE 2012 | |
6th IEEE International Symposium on Theoretical Aspects of Software Engineering, Beijing (China), 4-6 July 2012, Program Co-Chair. → | |
2011 |
|
ISoLA 2011-Rob | |
1st Int. Workshop on Software Aspects of Robotic Systems, Vienna, 17.-19.Oktober 2011 - mit Jens Knoop, Diemar Schreiner (TU Wien). → | |
ISoLA 2011-Learn | |
1st Int. Workshop on Machine Learning for System Construction, Vienna,17.-19. Oktober 2011 - mit Reiner Hähnle (Chalmers Univ., Göteborg, Sweden) and Bernhard Steffen (TU Dortmund). → | |
2010 |
|
ISoLA 2010 | |
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010 - Amirandes, Heraclion, Crete. → | |
2009 |
|
ISoLA-BIO 2009 | |
1st International ISoLA Workshop on Modeling, Analyzing, Discovering Complex Biological Structures, 4-5 June 2009, Potsdam, Germany → | |
ISoLA-Med 2009 | |
1st International ISoLA Symposium on Structural Changes and Market Dynamics in the Healthcare Sector, 4-5 June 2009, Potsdam, Germany → | |
ICFEM 2009 | |
International Conference on Formal Engineering Methods, Rio de Janeiro, December 9 -12, 2009 → | |
ICECCS 2009 | |
14th IEEE International Conference on Engineering of Complex Computer Systems, Potsdam 2-5 Juni 2009 → | |
FMA 2009 | |
1st Int. Workshop on Formal Methods for Aerospace, 3rd November 2009 in Eindhoven (NL), as part of FM 2009. | |
CoopIS 2009 | |
17th Int. Conf. on Cooperative Information Systems, Vilamoura (P), 1-6 November 2009. | |
IFIP 2009 | |
IEEE VLSI-SoC, October 12-14th in Florianoplis (Brazil) | |
I3E 2009 | |
9th IFIP conference on e-Business, e-Services, and e-Society, sponsored by IFIP WG 6.11 in cooperation with TC11 and TC8, 23-25 September 2009, Nancy, France. | |
VALID 2009 | |
1st Int. Conf. on Advances in System Testing and Validation Lifecycle, part of SoftNet 2009, September 20-25, 2009 - Porto, Portugal. | |
GI-WS-SGI 2009 | |
Games, Business Processes and Models of Interactions, Workshop of the GI 2009 conference in Lübeck (Germany), 29. Sept. - 2. Oct. | |
ICWS 2009 | |
ICWS 2009, Los Angeles (USA), July 6-10, 2009. | |
ECMDA 2009 | |
5th European Conference on Model Driven Architecture - Foundations and Applications, Enschede (NL), June 2009. | |
AINA 2009 | |
IEEE 23rd International Conference on Advanced Information Networking and Applications, University of Bradford (UK), May 2009. | |
EASe 2009 | |
6th IEEE Conference and Workshops on Engineering of Autonomic and Autonomous Systems, San Francisco (USA), April 2009. | |
FASE 2009 | |
12th Int. Conference on Fundamental Approaches to Software Engineering, York (UK), March 2009. | |
2008 |
|
ICSOC 2008 | |
6th International Conference on Service Oriented Computing, December 1-5, 2008, Sydney | |
ISoLA 2008 | |
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 13-15 October 2008 - Porto Sani (Kassandra, Chalkidiki) - Greece → | |
VSTTE 2008 | |
2nd Working Conference on Verified Software: Theories, Tools, and Experiments, Toronto (CAN), 6-9 October 2008. | |
ISWC 2008 | |
7th Int. Semantic Web Conference, Karlsruhe (D), 26-30 October 2008. | |
ICCD 2008 | |
26th Int. Conf. on Computer Design, Lake Tahoe (USA), Oct. 2008. | |
OOPSLA 2008 | |
OOPSLA Onward, a track of OOPSLA (the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications), 19-23 Oct, Nashville (USA). | |
ICWS 2008 | |
IEEE It. Conf. on Web Services, Beijing (China), Sept. 2008. | |
FIS 2008 | |
Future Internet Symposium, Vienna, 28-30 September, 2008. | |
BiCC 2008 | |
2nd IFIP Conference on Biologically Inspired Collaborative Computing, part of the 20th IFIP World Computer Congress 2008, Milano (I), 7-10 September 2008. | |
SIWN 2008 | |
The Systemics and Informatics World Congress, Glasgow (UK), 21-24 July 2008. | |
TOOLS EUROPE 2008 | |
46th TOOLS conference, 30 June-4 July 2008, ETH Zurich (CH). | |
ECMDA 2008 | |
4th European Conference on Model Driven Architecture Foundations and Applications Berlin (D), June 9-12, 2008. | |
QEES 2008 | |
Intern. Symposium on Quality Engineering of Embedded Systems co-located with ECMDA, Berlin, June 2008. | |
2007 |
|
ISoLA 2007 | |
ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers, France, December 12-14 2007 → | |
EuroSPI 2007 | |
European Systems & Software Process Improvement and Innovation, 26-28 September 2007, Potsdam, Germany → | |
CONQUEST 2007 | |
10. international Conference on Quality Engineering in Software Technology, September 26-28, 2007, Potsdam, Germany → | |
ICSE 2007 | |
29th. Int. Conference on Software Engineering, May 20-26, 2007, in Minneapolis, MN, USA (Research demonstrations track) | |
TACAS 2007 | |
13th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, 24.3-1.4.2007, Braga (P). | |
2006 |
|
ICTAC'06 | |
3rd International Colloquium on Theoretical Aspects of Computing, Gammarth/Tunis, Tunisia, 20-24 November 2006, PC for tutorials evaluation. | |
General Chair ISoLA 2006 | |
2nd biennial Int. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, in coop. with IEEE, IFIP TC10.5, FME, EASST, SDPS, SES - Cyprus, November 2006. | |
ICFEM'06 | |
8th International Int. Conference on Formal Engineering Methods Macao, 2-5 November 2006. | |
CoopIS 2006 | |
14th Int. Conf. on Cooperative Information System, Montpellier, France, October 29 - November 3 2006. | |
SEFM 2006 | |
4th IEEE Conference on Software Engineering and Formal Methods, Pune, India, 11-15 September 2006. | |
ICSOFT 2006 | |
1st Intern. Conference on Software and Data Technologies, Setubal (P), 11-14 Sept. 2006 | |
FMICS 2006 | |
11th International Workshop on Formal Methods for Industrial Critical Systems, 26-27 August 2006, Bonn, Germany. | |
IFIP WG10.5 Track Chair of BICC | |
IFIP Conference on Biologically Inspired Cooperative Computing, Track on Design and Technology of Collaborative Self-Organizing Systems, Santiago de Chile, August 2006. | |
BiC | |
IEEE Conference on Bioinformatics and Complexity 2006, Limerick (IRL), June 2006 | |
ETS'06 | |
11th IEEE European Test Symposium, May 21-25, 2006 Southampton (UK). | |
ICSE 2006 | |
28th. Int. Conference on Software Engineering, May 20-28, 2006 in Shanghai, China, (Research Demonstrations track). | |
SAC 2006 | |
Track on (SE) Software Engineering: Applications, Practices, and Tools, 21th Annual ACM Symposium on Applied Computing (ACM SIGApp), April 23 - 27, 2006, Dijon, France. | |
DASD | |
4th Symposium on Design, Analysis, and Simulation of Distributed Systems 2006 (in SpringSim 2006), organized by the SCS, April 2-6, 2006, Huntsville, Alabama (USA). | |
FRCSS 2006 | |
Workshop on Future Research Challenges for Software and Services, associated to [4]ETAPS'06, 1st April 2006, Vienna (A) - Co-Chair with Jose-Luis Fernandez-Villacanas (EU) and Matteo Banti (EU) | |
EASe 2006 | |
3rd IEEE Workshop on Engineering of Autonomic Systems, dual located event: 1) Potsdam, Germany, co-located with IEEE 13th ECBS, 28-30 March 2006, and 2) Columbia, MD, USA co-located with 30th NASA/IEEE SEW, 24-28 April 2006. | |
SE'06 | |
Software Engineering Tagung 2006, 29.-31. März 2006, Leipzig. | |
SWS'06 | |
Semantic Web Services Challenge 2006, Challenge on Automating Web Services Mediation, Choreography and Discovery, Phase I: March 8-10, 2006 Stanford University, Phase II: June 15-16, 2006 Budva, Montenegro. | |
VMCAI'06 | |
7th Intl. Conference on Verification, Model Checking, and Abstract Interpretation), 8-10 January, 2006, Charleston, NC. | |
2005 |
|
ICFEM 2005 | |
7th International Conference on Formal Engineering Methods November 1-4, 2005, Manchester, UK |
|
VLSI-SOC 2005 | |
13th IFIP TC 10 International Conference on VLSI and Systems on a Chip October 17-19, 2005, Perth, Western Australia |
|
CHARME 2005 | |
13. IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods Saarbrücken (D), September 2005. Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
General Chair ISoLA-W 2005 | |
ISoLA-Workshop on Formal Methods in Human and Robotic Space September 2005, Exploration Loyola College Graduate Center, Columbia, MD (USA) |
|
SEFM 2005 | |
3rd IEEE International Conference on Software Engineering and Formal Methods September 7-9, 2005, Koblenz (D) |
|
Program Chair FMICS 2005 | |
10th International Workshop on Formal Methods for Industrial Critical Systems (co-located with ESEC/FSE 2005) 5-6 Sept. 2005, Lisbon (P), Co-chair with Mieke Massink (Pisa) |
|
Chair FME 2005 | |
ForTIA Industry Day 2005 on "Formal Methods Going Mainstream - Costs,Benefits and Experiences" July 20th, 2005, Newcastle Upon Tyne (UK) |
|
ICPS 2005 | |
IEEE International Conference on Pervasive Services July 11-14, 2005, Santorini (GR) |
|
ETS 2005 | |
10th IEEE European Test Symposium May 22-25, 2005, Reval Hotel Olympia, Tallinn, Estonia |
|
FASE 2005 | |
8th Int. Conference on Fundamental Approaches to Software Engineering, Edinburgh (Scotland), April 2005. It will be part of ETAPS 2005 Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
DASD 2005 | |
Int. Conf. on Design, Analysis, and Simulation of Distributed Systems, Part of the ASTC 2005 organized by the SCS April 2-8, 2005, San Diego, California, USA |
|
WWV 2005 | |
1st International Workshop on Automated Specification and Verification of Web Sites March 14-15, 2005, Valencia (E) |
|
SAC 2005 | |
20th Annual ACM Symposium on Applied Computing March 13-17, 2005, Santa Fe, New Mexico, (ACM SIGApp) |
|
2004 |
|
ISoLA 2004 | |
First Int. Symposium on Leveraging Applications of FormalMethods, Cyprus, Oct-Nov. 2004. Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen and Prof.Dr. Bernhard Steffen |
|
SEFM 2004 | |
2nd IEEE Int. Conf. on Software Engineering and Formal Methods, Beijing, China 15-17 September 2004 Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
IDPT Pine Bay 2004 | |
Integrated Design Process Technology Symposium on System Design and Software Engineering, Kusadasi, Izmir, Turkey June 28 - July 2, 2004 organized by SDPS Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
ETS 2004 | |
9th IEEE European Test Symposium, Congress Center, Ajaccio, Corsica, France, May 23-26, 2004. Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
AQTR 2004 | |
IEEE-TTTC International Conference on Automation, Quality & Testing, Robotics, Cluj-Napoca, Romania, May 13-15 2004. Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
WSBS 2004 | |
Intern. Workshop "Beyond safety: proving liveness of infinite-state systems", April 25-28, 2004. Schloss Ringberg, Germany, organisiert von A. Podelski (MPI Saarbrücken), B. Steffen (Univ. Dortmund), und L. Zuck (New York University, New York, USA) |
|
DASD 2004 | |
Int. Conference on Design, Analysis and Simulation of Distributed Systems, organized within ASTC 2004 in Arlington, Virginia, April 18-22. Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
ICECCS 2004 | |
The 9th IEEE International Conference on Engineering of Complex Computer Systems (April 14-16, 2004, Florence, Italy). |
|
TACoS 2004 | |
2nd International Workshop on Test and Analysis of Component Based Systems (March 27 - 28, 2004, Barcelona, Spain). Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
FASE 2004 | |
7th Int. Conference on Fundamental Approaches to Software Engineering, Barcelona (Spanien), 29. März - 2. April 2004. Contact: Prof.Dr.Ing. Tiziana Margaria-Steffen |
|
X-TACAS | |
10 years of TACAS - Anniversary Workshop, co-located with ETAPS 2004, Barcelona (Spain), 27-28.3.2004. Contact: Prof.Dr. Bernhard Steffen and Prof.Dr.Ing. Tiziana Margaria-Steffen. |