Morse Reseach group

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)