Activities
Relevant activities
- 5G-PPP Association and Networld2020
- FMICS
- Open Air Interface Alliance
- ERCIM
- Networld 2020
Events
- TNC 2019 Forging Digital Societies
- SPIN 2018
- TNC18 – Intelligent networks, cool edges?
- SDL FORUM 2015 (SDL 2015)
- Jornadas de Concurrencia y Sistemas Distribuidos 2015
- The 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015)
- The 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)
- VI Jornadas de Ingeniería Telemática (Jitel 2007)
- Jornadas Internacionales de Ciencias y Tecnologías (JICT 2007)
- VI Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2007)
- XVI Jornadas Telecom I+D 2006
- XV Jornadas Telecom I+D 2005
- XIV Jornadas Telecom I+D 2004
- Ercim Meetings 2004
- XIII Jornadas Telecom I+D 2003
Program Committees
- 4th International Workshop on the Reliability of Intelligent Environments (WoRIE’15)
- 2st Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2010)
- The 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010)
- The 10th International Conference on Next Generation Wired/Wireless Advanced Networks and Systems (NEW2AN 2010)
- Euro-Par 2008
- The 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008)
- The 10th International Conference on Quality Engineering in Software Technology (CONQUEST 2007)
- The 13th SDL Forum
- The 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007)
- The 14th International SPIN Workshop on Model Checking of Software (SPIN 2007)
- The 5th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2007)
- The 2th International Conference on Science and Technology (JICT 2007)
- I International Conference on Ubiquitous Computing: Applications, Technology and Social Issues (ICUC 2006)
- The 4th International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS 2006)
- The 3rd International Workshop on Modelling, Simulation,Verification and Validation of Enterprise Information Systems (MSVVEIS ‘2005)
- ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL)
- The 11th International SPIN Workshop on Model Checking of Software (SPIN 2004)
- The 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
- The 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2003)
- The 1st International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003)
- The 7th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002)
- The 6th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
- International Workshop on Distributed Systems Validation and Verification (DSVV 2000)