Service and Software Engineering

 

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.