Manuel Núñez’s involvement in previous Scientific Events

ACIIDS 2024: 16th Asian Conference on Intelligent Information and Database Systems (PC Member)
QRS 2024: 24th IEEE International Conference on Software Quality, Reliability & Security (PC Member)
ICSE-NIER 2024: New Ideas and Emerging Results track (PC Member)
ICCCI 2024: 16th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Co-Chair)
TestEd 2024: 3rd International Software Testing Education Workshop (PC Member)
SSBSE 2024: 16th Symposyum on Search-Based Software Engineering (PC Member)
DSA 2024: 11th Int. Conf. on Dependable Systems and their Applications (PC Member)
ICECCS 2023: 27th Int. Conf. on Engineering of Complex Computer Systems (PC Member)
ICTSS 2023: 35th IFIP Int. Conf. on Testing Software and Systems (PC Member)
DSA 2023: 10th Int. Conf. on Dependable Systems and their Applications (PC Member)
ACIIDS 2023: 15th Asian Conference on Intelligent Information and Database Systems (PC Member)
ICCCI 2023: 15th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Co-Chair)
TestEd 2023: 2nd International Software Testing Education Workshop (PC Member)
ICCS 2023: Special session on Computational Collective Intelligence (PC Member)
ACIIDS 2023: Special Session on Data Modelling and Processing in City Pollution Assessment (Track Co-Chair)
SSBSE 2023: 15th Symposyum on Search-Based Software Engineering (PC Member)
QRS 2023: 23rd IEEE International Conference on Software Quality, Reliability & Security (PC Member)
SSBSE 2022: 14th Symposyum on Search-Based Software Engineering (PC Member)
ICECCS 2022 : 26th Int. Conf. on Engineering of Complex Computer Systems (PC Member)
TAROT 2022: 17th Int. Summer School on Training And Research On Testing (Organizer)
DSA 2022: 9th Int. Conf. on Dependable Systems and their Applications (PC Member)
ACIIDS 2022: 14th Asian Conference on Intelligent Information and Database Systems (PC Member)
ICCCI 2022: 14th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
QRS 2022: 22nd IEEE International Conference on Software Quality, Reliability & Security (PC Member)
ACIIDS 2021: 13th Asian Conference on Intelligent Information and Database Systems (PC Member)
ICST 2021: 13th IEEE International Conference on Software Testing, Verification and Validation (PC Member)
CEC 2021: Special Session on Evolutionary Computation for Software Testing (PC Chair)
CEC 2021: Special Session on Metaheuristics and Machine Learning in Software Engineering (PC Member)
ICCS 2021: Special session on Computational Collective Intelligence (PC Member)
ICCCI 2021: 13th International Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
QRS 2021: 21st IEEE International Conference on Software Quality, Reliability & Security (PC Member)
ICTSS 2021: 33rd IFIP Int. Conf. on Testing Software and Systems (PC Member)
SSBSE 2021: 13th Symposyum on Search-Based Software Engineering (PC Member)
DSA 2021: 8th Int. Conf. on Dependable Systems and their Applications (PC Member)
ACIIDS 2020: 12th Asian Conference on Intelligent Information and Database Systems (PC Member)
WCCI-CEC 2020: Special Session on Evolutionary Computation for Software Testing (PC Chair)
TestEd 2020: 1st International Software Testing Education Workshop (PC Member)
ICCCI 2020: 12th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
ICTSS 2020: 32nd IFIP Int. Conf. on Testing Software and Systems (PC Member)
ISSSR 2020: 6th IEEE International Symposium on System and Software Reliability (PC Member)
QRS 2020: 6th IEEE International Conference on Software Quality, Reliability & Security (PC Member) DSA 2019: 6th Int. Conf. on Dependable Systems and Their Applications (Publicity Chair and PC Member)
REMEDY 2019: 2nd Int. Workshop on foRmal modEl for MultifacEteD sYstems (PC Member)
IWANN 2019: 15th Int. Work-Conference on Artificial Neural Networks (PC Member)
ICTSS 2019: 31st IFIP Int. Conf. on Testing Software and Systems (PC Member)
ICCCI 2019: 11th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
ISSSR 2019: 5th IEEE International Symposium on System and Software Reliability (PC Chair)
QRS 2019: 5th IEEE International Conference on Software Quality, Reliability & Security (PC Member)
ACIIDS 2019: 11th Asian Conference on Intelligent Information and Database Systems (PC Member)
A-MOST 2019: 15th Workshop on Advances in Model Based Testing (PC Member)
DSA 2018: 5th Int. Conf. on Dependable Systems and their Applications (PC Member)
REMEDY 2018: Int. Workshop on foRmal modEl for MultifacEteD sYstems (PC Member)
ICTSS 2018: 30th IFIP Int. Conf. on Testing Software and Systems (PC Member)
FMICS 2018: 23rd Int. Conf. on Formal Methods for Industrial Critical Systems (PC Member)
DisCoTec 2018: 13th International Federated Conference on Distributed Computing Techniques (General Chair)
ICCIA 2018: 3rd IEEE International Conference on Computational Intelligence and Applications (General Chair)
ICCCI 2018: 10th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
QRS 2018: 4th IEEE International Conference on Software Quality, Reliability & Security (PC Member)
ISSSR 2018: 4th IEEE International Symposium on System and Software Reliability (PC Member)
ACIIDS 2018: 10th Asian Conference on Intelligent Information and Database Systems (PC Member, Special Sessions co-Chair, Doctoral Track co-Chair)
A-MOST 2018: 14th Workshop on Advances in Model Based Testing (PC Member)
FMICS-AVoCS 2017: Int. Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (PC Member)
ICCCI 2017: 9th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
QRS 2017: 3rd IEEE International Conference on Software Quality, Reliability & Security (PC Co-Chair)
IWANN-STIS 2017: Special Session on Software Testing and Intelligent Systems at the 14th International Work-Conference on Artificial Neural Networks (PC Co-Chair)
ACIIDS 2017: 9th Asian Conference on Intelligent Information and Database Systems (PC Member)
A-MOST 2017: 13th Workshop on Advances in Model Based Testing (PC Member)
SAC-SVT 2017: Track on Software Verification and Testing at the 32nd Annual ACM Symposium on Applied Computing (PC Member)
ACIIDS 2016: 8th Asian Conference on Intelligent Information and Database Systems (PC Member)
FMICS-AVoCS 2016: Int. Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (PC member)
A-MOST 2016: 12th Workshop on Advances in Model Based Testing (PC Member)
ICCCI 2016: 8th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
ICFEM 2016: 18th Int. Conf. on Formal Engineering Methods (PC Member)
Special Issue of JI&FS on Collective Intelligent Information and Database Systems (Guest Editor)
ICTSS 2016: 28th Int. Conf. on Testing Software and Systems (PC Member)
ACIIDS 2015: 7th Asian Conference on Intelligent Information and Database Systems (PC Member)
FMICS 2015: 20th Int. Workshop on Formal Methods for Industrial Critical Systems (PC Co-Chair)
A-MOST 2015: 11th Workshop on Advances in Model Based Testing (PC Member)
ICCCI 2015: 7th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (General Chair)
ICFEM 2015: 17th Int. Conf. on Formal Engineering Methods (PC Member)
ICTSS 2015: 27th Int. Conf. on Testing Software and Systems (PC Member)
SAC-SOAP 2015: Track on Service-Oriented Architectures and Programming at the 30th Annual ACM Symposium on Applied Computing (PC Member)
A-MOST 2014: 10th Workshop on Advances in Model Based Testing (PC Member)
ICTAC 2014: 11th Int. Colloquium on Theoretical Aspects of Computing (PC Member)
ICCCI 2014: 6th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
ICTSS 2014: 26th IFIP Int. Conf. on Testing Software and Systems (General Chair)
SAC-SOAP 2014: Track on Service-Oriented Architectures and Programming at the 29th Annual ACM Symposium on Applied Computing (PC Member)
ACIIDS 2014: 6th Asian Conference on Intelligent Information and Database Systems (PC Member)
Special Issue on Formal Active and Passive Testing of Distributed and Networked Systems (Guest Editor)
JISBD 2014: XIX Jornadas de Ingeniería del Software y Bases de Datos (PC Member)
ICST 2013: 6th Int. Conf. on Software Testing, Verification and Validation (PC Member)
A-MOST 2013: 9th Workshop on Advances in Model Based Testing (PC Member)
SEFM 2013: 11th Int. Conf. on Software Engineering and Formal Methods (General Chair)
ICCCI 2013: 5th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
JISBD 2013: XVIII Jornadas de Ingeniería del Software y Bases de Datos (PC Member)
ICTSS 2013: 25th IFIP Int. Conf. on Testing Software and Systems (PC Member)
ACIIDS 2012: 4th Asian Conference on Intelligent Information and Database Systems (PC Member)
A-MOST 2012: 8th Workshop on Advances in Model Based Testing (PC Member)
JISBD 2012: XVII Jornadas de Ingeniería del Software y Bases de Datos (PC Member)
QSIC 2012: 12th International Conference on Quality Software (PC Member)
ICCCI 2012: 4th Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
ICTSS 2012: 24th IFIP Int. Conf. on Testing Software and Systems (PC Member)
SITIS 2011: 7th ACM/IEEE Int. Conf. on Signal Image Technology & Internet based Sistems – Track on Internet-based Computing and Systems (PC Member)
QSIC 2011: 11th International Conference on Quality Software (PC Member and General Chair)
A-MOST 2011: 7th Workshop on Advances in Model Based Testing (PC Member)
TAIC-PART 2011: 6th Testing: Academic and Industrial Conference – Practice and Research Techniques(PC Member)
FM 2011: 17th Int. Symposium on Formal Methods (PC Member)
ICCCI 2011: 3rd Int. Conf. on Computational Collective Intelligence – Technologies and Applications (PC Member)
ICTSS 2011: 23th IFIP Int. Conf. on Testing Software and Systems (PC Member)
TAIC-PART 2010: 5th Testing: Academic and Industrial Conference – Practice and Research Techniques(PC Member)
AINA 2010: IEEE 24th Int. Conf. on Advanced Information Networking and Application – Track Internet Computing, Web and Multimedia Applications (PC Member)
ICST 2010: 3rd Int. Conf. on Software Testing, Verification and Validation (PC Member)
Ph.D. Symposium at ICST 2010 (Co-chair)
A-MOST 2010: 6th Workshop on Advances in Model Based Testing (PC Member)
TAP 2010: 4th Int. Conf. on Tests & Proofs (PC Member)
FMOODS/FORTE 2010: Joint Int. Conf. of 12th Formal Methods for Open Object-Based Distributed Systems and 30th Formal Techniques for Networked and Distributed Systems (PC Member)
ISM 2010:2nd Int. Workshop on Intelligent Service Management (PC Member)
PROLE 2010: X Jornadas sobre Programación y Lenguajes (PC Member)
ICCCI 2010: 2nd Int. Conf. on Computational Collective Intelligence – Semantic Web, Social Networks & Multiagent Systems (PC Member)
WS-FM 2010: 7th Int. Workshop on Web Services and Formal Methods (PC Member)
International Journal of Embedded and Real-Time Communication Systems: Special Issue on Model-Based Testing for Embedded and Real-Time Communication Systems (Member of the Review Board)
CISIS 2009: 3rd Int. Conf. on Complex, Intelligent and Software Intensive Systems (PC Member)
ICST 2009: 2nd Int. Conf. on Software Testing, Verification and Validation (PC Member)
ISM 2009: Int. Workshop on Intelligent Service Management (PC Member)
AINA 2009: IEEE 23rd Int. Conf. on Advanced Information Networking and Applications (PC Member)
A-MOST 2009: 5th Workshop on Advances in Model Based Testing (PC Member)
NOTERE 2009: 9th Int. Conf. on New Technologies of Distributed Systems (PC Member)
SOCASE 2009: 7th Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering (PC Member)
FMOODS/FORTE 2009: Joint Int. Conf. of 11th Formal Methods for Open Object-Based Distributed Systems and 29th Formal Techniques for Networked and Distributed Systems (PC Member)
EPEW 2009: 6th European Performance Engineering Workshop (PC Member)
CONCUR 2009: 20th Int. Conf. on Concurrency Theory (PC Member)
PROLE 2009: IX Jornadas sobre Programación y Lenguajes (PC Member)
FM 2009: 16th Int. Symposium on Formal Methods (PC Member)
ICCCI 2009: 1st Int. Conf. on Computational Collective Intelligence – Semantic Web, Social Networks & Multiagent Systems (PC Member)
TESTCOM/FATES 2009: 21st IFIP Int. Conf. on Testing of Communicating Systems (PC Chair)
QFM 2009: Workshop on Quantitative Formal Methods (Co-organizer)
SITIS 2009-Track II: 5th IEEE Int. Conf. on Signal Image Technology & Internet based Sistems – Track on Web-based Information Technologies and Distributed Systems (PC Member)
ISPM 2008: Int. Workshop on Intelligent Services and Process Management (PC Member)
SITIS 2008-Track II: 4th IEEE Int. Conf. on Signal Image Technology & Internet based Sistems – Track on Web-based Information Technologies and Distributed Systems (PC Member)
EPEW 2008: 5th European Performance Engineering Workshop (PC Member)
WS-FM 2008: 5th Int. Workshop on Web Services and Formal Methods (PC Member)
PROLE 2008: VIII Jornadas sobre Programación y Lenguajes (PC Member)
International Symposium on Quality Engineering of Embedded Systems (PC Member)
SOCASE 2008: Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering (PC Member)
NOTERE 2008: 8th Annual Int. Conf. on New Technologies of Distributed Systems (PC Member)
A-MOST 2008: 4th Workshop on Advances in Model Based Testing (co-chair)
TESTCOM-FATES’08: 20th IFIP International Conference on Testing of Communicating Systems (PC Member)
FORTE 2008: 28th Int. Conf. on Formal Techniques for Networked and Distributed Systems (PC Member)
AST 2008: 3rd Int. Workshop on Automation of Software Test (PC Member)
ICST 2008: 1st Int. Conf. on Software Testing, Verification and Validation (PC Member)
SAC 2008: Special Track on Web Technologies (PC Member)
SITIS 2007-Track II: 3rd IEEE Int. Conf. on Signal Image Technology & Internet based Sistems – Track on Web-based Information Technologies and Distributed Systems (PC Member)
WS-FM 2007: 4th Int. Workshop on Web Services and Formal Methods (PC Member)
EPEW 2007: 4th European Performance Engineering Workshop (PC Member)
A-MOST 2007: 3rd Workshop on Advances in Model Based Testing (PC Member)
WS-MATE 2007: 2nd Int. Workshop on Web Services – Modeling and Testing (PC Member)
QEST 2007: 4th Int. Conf. on Quantitative Evaluation of SysTems (PC Member)
TESTCOM-FATES 2007: 19th IFIP International Conference on Testing of Communicating Systems (PC Member)
FORTE 2007: 27th Int. Conf. on Formal Techniques for Networked and Distributed Systems (PC Member)
SOCASE 2007: Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering (PC Member)
SAC 2007: Special Track on E-Commerce Technologies (PC Member)
SITIS 2006-Track II: 2nd IEEE Int. Conf. on Signal Image Technology & Internet based Sistems – Track on Web-based Information Technologies and Distributed Systems (co-chair)
IIT 2006-WTAS: 2nd Int. Conf. on Innovations in Information Technology – Track on Web Technologies, Applications & Services (PC Member)
FATES/RV 2006: Joint Int. Workshop on Formal Approaches to TEsting of Software (5th) and Runtime Verification (6th) (co-chair)
WS-FM 2006: 3rd Int. Workshop on Web Services and Formal Methods (PC Member and chair of the Organizing Committee)
FORTE 2006: 26th Int. Conf. on Formal Techniques for Networked and Distributed Systems (PC Member)
SOCABE 2006: 2nd Int. Workshop on Service-oriented Computing and Agent-based Engineering (PC Member)
WS-MATE 2006: 1st Int. Workshop on Web Services – Modeling and Testing (PC Member)
EPEW 2006: 3rd European Performance Engineering Workshop (PC Member)
TESTCOM 2006: 18th IFIP International Conference on Testing of Communicating Systems (PC Member)
CSWWS 2006: Canadian Semantic Web Working Symposium 2006 (PC Member)
SAC 2006: Special Track on E-Commerce Technologies (co-chair)
WS-FM 2005: 2nc Int. Workshop on Web Services and Formal Methods (PC Member)
EPEW 2005: 2nd European Performance Engineering Workshop (PC Member)
FORTE 2005: 25th Int. Conf. on Formal Techniques for Networked and Distributed Systems (PC Member)
FATES 2005: 5th Int. Workshop on Formal Approaches to TEsting of Software (PC Member)
CWS-05: International Workshop on Context for Web Services (PC Member)
PBA – 2005: 1st Int. Workshop on Protection by Adaptation (PC Member)
Networking and Information Systems Journal: Special Issue on Web Services (PC Member)
TESTCOM 2005: 17th IFIP International Conference on Testing of Communicating Systems (PC Member)
CFIP 2005: 11Ã¨me Colloque Francophone sur l’Ingenierie des Protocoles (PC Member)
SAC 2005: Special Track on E-Commerce Technologies (co-chair)
FATES 2004: 4th Int. Workshop on Formal Approaches to TEsting of Software (PC Member)
XII Jornadas de Concurrencia y Sistemas Distribuidos (co-organizer)
SWSWPC 2004: 1st Int. Workshop on Semantic Web Services and Web Process Composition (PC Member)
ITM 2004: 1st Int. Workshop on Integration of Testing Methodologies (chair)
EPEW 2004: 1st European Performance Engineering Workshop (PC Member)
TheFormEMC:1st Int. Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce (co-chair)
FORTE 2004: 24th Int. Conf. on Formal Techniques for Networked and Distributed Systems (co-chair)
SAC 2004: Special Track on E-Commerce Technologies (co-chair)
WS-FM 2004: 1st Int. Workshop on Web Services and Formal Methods (PC Member)
FORTE 2003: 23rd Int. Conf. on Formal Techniques for Networked and Distributed Systems (PC Member)
CFIP 2003: 10Ã¨me Colloque Francophone sur l’Ingenierie des Protocoles (PC Member)
MCTA 2003: International Workshop on Mobile Commerce Technologies & Applications (PC Member)
DSVV 2000:International Workshop on Distributed System Validation and Verification (PC Member)