Program Committees
- DSVV 2000 (International Workshop on Distributed Systems Validation and Verification), Taipei, Taiwan, ROC, 11 – 13 Abril, 2000. PC Chair: Pao-Ann Hsiung.
- FMICS 2001 (6th International Workshop on Formal Methods for Industrial Critical Systems), Paris, France, 16-17 Julio, 2001. PC Chairs: Stefania Gnesi y Ulrich Ultes-Nitche.
- FMICS 2002 (7th International Workshop on Formal Methods for Industrial Critical Systems), Málaga, Spain, 12-13 Junio, 2002. PC Chairs: Hubert Garavel y Rance Cleaveland
- VVEIS 2003 (1st International Workshop on Verification and Validation of Enterprise Information Systems), Angers, France, 22 Abril, 2003. PC Chairs: Juan Carlos Augusto y Ulrich Ultes-Nitche.
- FMICS 2003 (8th International Workshop on Formal Methods for Industrial Critical Systems), Trondheim, Norway, 5-7 Junio, 2003. PC Chairs: Thomas Arts y Wan Fokkink.
- SPIN 2004 (11th International SPIN Workshop on Model Checking of Software), Barcelona, Spain, 1-3 Abril, 2004. PC Chair: Susanne Graf.
- VVEIS 2004 (2nd International Workshop on Verification and Validation of Enterprise Information Systems), Angers, France, 22 April, 2003. PC Chairs: Juan Carlos Augusto y Ulrich Ultes-Nitche.
- ISSRE04:WITUL (ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages), 2 Noviembre, IRISA Rennes France, 2004. PC Chair: Dieter Hogrefe.
- MSVVEIS'2005 (3rd International Workshop on The Third International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems ), Miami, USA, 24 Mayo, 2005. PC Chairs: Juan Carlos Augusto y Ulrich Ultes-Nitche.
- CICU 2006 (II Congreso IberoAmericano sobre Computación Ubicua), Junio 2006, Alcalá de Henares. PC Chairs: José María Gutiérrez y José R. Hilera.
- ICUC 2006 (I International Conference on Ubiquitous Computing: Applications, Technology and Social Issues), June 2006, Alcalá de Henares. PC Chairs: José María Gutiérrez y José R. Hilera.
- MSVVEIS 2006 (4th International Workshop on The Third International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems ), Chipre, Mayo 2006. PC Chairs: Joseph Barjis, Juan Carlos Augusto y Ulrich Ultes-Nitche.
- JICT 2007 (2th International Conference on Science and Technology), Málaga-Tanger, 21-23 Marzo 2007. PC Chairs: Pedro Merino y Mohhamed Bakkali.
- MSVVEIS 2007 (5th International Workshop on The Third International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems ), Funchal, Portugal, Junio 2007. PC Chairs: Joseph Barjis, Juan Carlos Augusto y Ulrich Ultes-Nitche.
- FMICS 2007 (7th International Workshop on Formal Methods for Industrial Critical Systems), Berlin, 1-2 Julio 2007. PC Chairs: Stefan Leue y Pedro Merino.
- SPIN 2007 (14 th International SPIN Workshop on Model Checking of Software), Berlin, 1-3 July, PC Chairs: Dragan Bosnacki y Stefan Edelkamp.
- 13th SDL Forum, Paris, September 2007, PC Chair: Elie Najm.
- CONQUEST 2007 (10th International Conference on Quality Engineering in Software Technology), Postdam, Germany, PC Chairs: Tiziana Margaria, Achim Schmidt, Alexander Zeier und Ina Schieferdecker.
- MSVVEIS 2008 (6th International Workshop on The Third International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems ), Barcelona, España, Junio 2008. PC Chairs: Joseph Barjis, Juan Carlos Augusto y Ulrich Ultes-Nitche
- EUROPAR 2008 , Las Palmas de Gran Canaria (Spain) - August 2008, PC Chairs: Emilio Luque, Domingo Benítez y Tomàs Margalef
-
PIMRC 2010 (IEEE International Symposium on Personal, Indoor and Mobile Radio Communications)
-
NEW2AN 2010 (Next Generation Wired/Wireless Advanced Networking)
-
FMICS 2010 (International Workshop on Formal Methods for Industrial Critical Systems)
This website is under construction
