Search by property
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- FPT 2008 + (International Conference on Field-Programmable Technology)
- FPT 2007 + (International Conference on Field-Programmable Technology)
- FEM + (International Conference on Formal Engineering Methods)
- ICFEM + (International Conference on Formal Engineering Methods)
- ICFEM 2007 + (International Conference on Formal Engineering Methods 2007)
- FOIS + (International Conference on Formal Ontology in Information Systems)
- FODO + (International Conference on Foundation on Data Organization)
- ICFHR + (International Conference on Frontiers of Handwriting Recognition)
- ICFP + (International Conference on Functional Programming)
- ICFP 2018 + (International Conference on Functional Programming 2018)
- FASE + (International Conference on Fundamental Approaches to Software Engineering)
- FCTA 2011 + (International Conference on Fuzzy Computation Theory and Applications)
- GameNets 2009 + (International Conference on Game Theory for Networks)
- GPCE + (International Conference on Generative Programming: Concepts & Experiences)
- GPCE 2007 + (International Conference on Generative Programming and Component Engineering 2007)
- ICGA + (International Conference on Genetic Algorithms)
- GMP 2020 + (International Conference on Geometric Modeling and Processing)
- GMP 2019 + (International Conference on Geometric Modeling and Processing)
- GLOBENG 2008 + (International Conference on Global English)
- ICGT + (International Conference on Graph Transformations)
- ICGREEN + (International Conference on Green Computing (ICGREEN))
- GADA 2008 + (International Conference on Grid computing, high-performAnce and Distributed Applications)
- HEALTHINF 2008 + (International Conference on Health Informatics)
- HEALTHINF 20122 + (International Conference on Health Informatics (HEALTHINF 2012))
- Health, Wellness and Society 2011 + (International Conference on Health, Wellness and Society)
- HealthandSocConf 2011 + (International Conference on Health, Wellness and Society)
- Qshine + (International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness)
- HPC Asia 2020 + (International Conference on High Performance Computing in Asia-Pacific Region)
- HiPC 2008 + (International Conference on High Performance Computing)
- HPCS + (International Conference on High Performance Computing & Simulation)
- HPCS 2019 + (International Conference on High Performance Computing & Simulation)
- HPCN + (International Conference on High Performance Computing and Networking)
- HPSR + (International Conference on High Performance Switching and Routing)
- HPSR 2020 + (International Conference on High Performance Switching and Routing)
- HPSR 2000 + (International Conference on High Performance Switching and Routing 2000)
- HPSR 2002 + (International Conference on High Performance Switching and Routing 2002)
- HPSR 2003 + (International Conference on High Performance Switching and Routing 2003)
- HPSR 2005 + (International Conference on High Performance Switching and Routing 2005)
- HPSR 2006 + (International Conference on High Performance Switching and Routing 2006)
- HPSR 2007 + (International Conference on High Performance Switching and Routing 2007)
- HiPC + (International Conference on High Performance computing)
- HiPC 2020 + (International Conference on High Performance computing)
- HiPC 2001 + (International Conference on High Performance computing 2001)
- HiPC 2002 + (International Conference on High Performance computing 2002)
- HiPC 2003 + (International Conference on High Performance computing 2003)
- HiPC 2004 + (International Conference on High Performance computing 2004)
- HiPC 2005 + (International Conference on High Performance computing 2005)
- HiPC 2006 + (International Conference on High Performance computing 2006)
- HiPC 2007 + (International Conference on High Performance computing 2007)
- HPCNCS + (International Conference on High Performance Computing, Networking and Communication Systems)
- HRI 2010 + (International Conference on Human Robot Interaction)
- HRI + (International Conference on Human Robot Interaction)
- HRI 2020 + (International Conference on Human Robot Interaction - CANCELED)
- MobileHCI + (International Conference on Human-Computer Interaction with Mobile Devices and Services)
- HCII + (International Conference on Human-Computer Interaction)
- HCI-Aero 2008 + (International Conference on Human-Computer Interaction in Aeronautics)
- HAIS + (International Conference on Hybrid Artificial Intelligence Systems)
- HIS 2009 + (International Conference on Hybrid Intelligent Systems)
- ICTeSSH + (International Conference on ICT enhanced Social Sciences and Humanities)
- ICTeSSH 2020 + (International Conference on ICT enhanced Social Sciences and Humanities 2020)
- ICITIE + (International Conference on IT-enabled Innovation in Enterprise (ICITIE))
- ICIAP 2009 + (International Conference on Image Analysis and Processing)
- ICIAR + (International Conference on Image Analysis and Recognition)
- ICIAR 2011 + (International Conference on Image Analysis and Recognition)
- IPCV 2008 + (International Conference on Image Processing, Computer Vision, and Pattern Recognition)
- ICIGP + (International Conference on Image and Graphics Processing)
- ICIGP 2020 + (International Conference on Image and Graphics Processing)
- ICISP 2008 + (International Conference on Image and Signal Processing)
- ICISP 2010 + (International Conference on Image and Signal Processing 2010)
- ICIVC 2009 + (International Conference on Image and Vision Computing)
- ICISVC 2009 + (International Conference on Image, Signal and Vision Computing)
- IMAGAPP 2009 + (International Conference on Imaging Theory and Applications)
- CIAA + (International Conference on Implementation and Application of Automata)
- CIAA 2021 + (International Conference on Implementation and Application of Automata)
- IPIN 2011 + (International Conference on Indoor Positioning and Indoor Navigation)
- IPIN 2010 + (International Conference on Indoor Positioning and Indoor Navigation)
- IPIN + (International Conference on Indoor Positioning and Indoor Navigation)
- IPIN 2017 + (International Conference on Indoor Positioning and Indoor Navigation)
- IPIN 2016 + (International Conference on Indoor Positioning and Indoor Navigation)
- ILP + (International Conference on Inductive Logic Programming)
- ILP 2020 + (International Conference on Inductive Logic Programming)
- AIS SIGED: IAIM + (International Conference on Informatics Education and Research)
- ICINCO 2008 + (International Conference on Informatics in Control, Automation and Robotics)
- ITHET 2019 + (International Conference on Information Technology Based Higher Education and Training)
- ITHET + (International Conference on Information Technology Based Higher Education and Training)
- IPMU + (International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems)
- IVAPP 2012 + (International Conference on Information Visualization Theory and Applications (IVAPP))
- IVAPP 2010 + (International Conference on Information Visualization Theory and Applications)
- IVAPP + (International Conference on Information Visualization Theory and Applications)
- TICAM 2016 + (International Conference on Information and Communication Technologies for Amazigh)
- ITAB 2009 + (International Conference on Information Technology and Applications in Biomedicine)
- ICIA 2008 + (International Conference on Information Automation)
- ICOIN 2008 + (International Conference on Information Networking)
- IPSN 2008 + (International Conference on Information Processing in Sensor Networks)
- IPSN + (International Conference on Information Processing in Sensor Networks)
- Conf-IRM + (International Conference on Information Resources Management)
- ICISC + (International Conference on Information Security and Cryptology)
- I-Society 2012 + (International Conference on Information Society)
- I-Society 2013 + (International Conference on Information Society)
- I-Society 2011 + (International Conference on Information Society)
- I-Society 2016 + (International Conference on Information Society)
- I-Society 2010 + (International Conference on Information Society (i-Society 2010))
- ICIS + (International Conference on Information Systems)
- ISD + (International Conference on Information Systems Development)
- ISD 2020 + (International Conference on Information Systems Development)
- ICISIL2011 + (International Conference on Information Systems for Indian Languages)
- InfoTech + (International Conference on Information Technologies)
- IV + (International Conference on Information Visualisation)
- ICICS + (International Conference on Information and Communications Security)
- ICIEM 2016 + (International Conference on Integrated Environmental Management for Sustainable Development)
- IFM + (International Conference on Integrated Formal Methods)
- IC-ININFO 2016 + (International Conference on Integrated Information)
- CPAIOR 2008 + (International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems)
- CPAIOR + (International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems)
- CICLING + (International Conference on Intelligent Text Processing and Computational Linguistics)
- IAWTIC + (International Conference on Intelligent Agents, Web Technologies, and Internet Commerce)
- ISKE + (International Conference on Intelligent Systems and Knowledge Engineering)
- INES 2009 + (International Conference on Intelligent Engineering Systems)
- IROS 2019 + (International Conference on Intelligent Robots and Systems)
- ITS + (International Conference on Intelligent Tutoring Systems)
- ITS 2020 + (International Conference on Intelligent Tutoring Systems)
- IUI + (International Conference on Intelligent User Interfaces)
- IUI 2020 + (International Conference on Intelligent User Interfaces)
- IVA 2007 + (International Conference on Intelligent Virtual Agents)
- SoMeT + (International Conference on Intelligent Software Methodologies, Tools, and Techniques (was International Conference on Software Methods and Tools))
- ISSNIP 2007 + (International Conference on Intelligent Sensors, Sensor Networks and Information Processing)
- ICBL 2009 + (International Conference on Interactive Computer Aided Blended Learning)
- IC + (International Conference on Internet Computing)
- ITA + (International Conference on Internet Technologies and Applications)
- IOT 2016 + (International Conference on Internet of Things)
- K-CAP + (International Conference on Knowledge Capture)
- K-CAP 2020 + (International Conference on Knowledge Capture)
- K-CAP 2007 + (International Conference on Knowledge Capture 2007)
- KDIR 2011 + (International Conference on Knowledge Discovery and Information Retrieval)
- EKAW + (International Conference on Knowledge Engineering and Knowledge Management)
- KEOD 2011 + (International Conference on Knowledge Engineering and Ontology Development)
- ICKE 2009 + (International Conference on Knowledge Engineering)
- ICKE + (International Conference on Knowledge Engineering)
- KESW 2016 + (International Conference on Knowledge Engineering and Semantic Web)
- KMIS 2010 + (International Conference on Knowledge Management and Information Sharing 2010)
- KMIS 2011 + (International Conference on Knowledge Management and Information Sharing)
- KMIS + (International Conference on Knowledge Management and Information Sharing)
- KMSW 2010 + (International Conference on Knowledge Management and Semantic Web)
- KSEM + (International Conference on Knowledge Science, Engineering and Management)
- KSEM 2020 + (International Conference on Knowledge Science, Engineering and Management)
- KSEM 2018 + (International Conference on Knowledge Science, Engineering and Management)
- ICLR + (International Conference on Learning Representations)
- LION + (International Conference on Learning and Intelligent Optimization)
- ICL-GNSS + (International Conference on Localization and GNSS)
- ICLP + (International Conference on Logic Programming)
- ICLP 2020 + (International Conference on Logic Programming)
- ICMN08 + (International Conference on MEMS & Nanotechnology 2008 (ICMN08))
- ICML + (International Conference on Machine Learning)
- ICMLA 2007 + (International Conference on Machine Learning and Applications)
- ICMLA 2008 + (International Conference on Machine Learning and Applications)
- ICMLC 2018 + (International Conference on Machine Learning and Computing)
- ICMLC 2018-2 + (International Conference on Machine Learning and Computing)
- ICMLC 2008 + (International Conference on Machine Learning and Cybernetics)
- ICMV 2007 + (International Conference on Machine Vision)
- MAMI + (International Conference on Man And Machine Interfacing)
- MAMI 2020 + (International Conference on Man And Machine Interfacing)
- MMNS 2001 + (International Conference on Management of Multimedia Networks and Services 2001)
- MMNS 1997 + (International Conference on Management of Multimedia Networks and Services 1997)
- MMNS 2004 + (International Conference on Management of Multimedia Networks and Services 2004)
- MMNS 1998 + (International Conference on Management of Multimedia Networks and Services 1998)
- MMNS 2006 + (International Conference on Management of Multimedia Networks and Services 2006)
- MMNS 2002 + (International Conference on Management of Multimedia Networks and Services 2002)
- MMNS 2000 + (International Conference on Management of Multimedia Networks and Services 2000)
- MMNS 2005 + (International Conference on Management of Multimedia Networks and Services 2005)
- COMAD 2009 + (International Conference on Management of Data)
- COMAD + (International Conference on Management of Data)
- COMAD 2021 + (International Conference on Management of Data)
- MMNS 2007 + (International Conference on Management of Multimedia Networks and Services 2007)
- ICMT (Manufacturing) + (International Conference on Manufacturing Technologies)
- MPCS + (International Conference on Massively Parallel Computing Systems)
- MACIS 2008 + (International Conference on Mathematical Aspects of Computer and Information Sciences)
- SIGMETRICS 2000 + (International Conference on Measurement and Modeling of Computer Systems 2000)
- SIGMETRICS 2008 + (International Conference on Measurement and Modeling of Computer Systems 2008)
- SIGMETRICS 2005 + (International Conference on Measurement and Modeling of Computer Systems 2005)
- SIGMETRICS 2006 + (International Conference on Measurement and Modeling of Computer Systems 2006)
- SIGMETRICS 1994 + (International Conference on Measurement and Modeling of Computer Systems 1994)
- SIGMETRICS 1997 + (International Conference on Measurement and Modeling of Computer Systems 1997)
- SIGMETRICS 1995 + (International Conference on Measurement and Modeling of Computer Systems 1995)
- SIGMETRICS 1990 + (International Conference on Measurement and Modeling of Computer Systems 1990)
- SIGMETRICS + (International Conference on Measurement and Modeling of Computer Systems)
- SIGMETRICS 2020 + (International Conference on Measurement and Modeling of Computer Systems)
- SIGMETRICS 1989 + (International Conference on Measurement and Modeling of Computer Systems 1989)
- SIGMETRICS 2002 + (International Conference on Measurement and Modeling of Computer Systems 2002)
- SIGMETRICS 2007 + (International Conference on Measurement and Modeling of Computer Systems 2007)
- SIGMETRICS 1999 + (International Conference on Measurement and Modeling of Computer Systems 1999)
- SIGMETRICS 2003 + (International Conference on Measurement and Modeling of Computer Systems 2003)
- SIGMETRICS 2001 + (International Conference on Measurement and Modeling of Computer Systems 2001)
- SIGMETRICS 1992 + (International Conference on Measurement and Modeling of Computer Systems 1992)
- SIGMETRICS 1998 + (International Conference on Measurement and Modeling of Computer Systems 1998)
- SIGMETRICS 2004 + (International Conference on Measurement and Modeling of Computer Systems 2004)
- SIGMETRICS 1996 + (International Conference on Measurement and Modeling of Computer Systems 1996)
- ICMA 2009 + (International Conference on Mechatronics and Automation)
- METANANO 2018 + (International Conference on Metamaterials and Nanophotonics)
- ICM 2007 + (International Conference on Microelectronics)
- ICMMT 2008 + (International Conference on Microwave and Millimeter Wave Technology)
- MobiCom + (International Conference on Mobile Computing and Networking)
- MobiCom 2020 + (International Conference on Mobile Computing and Networking)
- MobiCom 1995 + (International Conference on Mobile Computing and Networking 1995)
- MobiCom 1996 + (International Conference on Mobile Computing and Networking 1996)
- MobiCom 1997 + (International Conference on Mobile Computing and Networking 1997)
- MobiCom 1998 + (International Conference on Mobile Computing and Networking 1998)
- MobiCom 1999 + (International Conference on Mobile Computing and Networking 1999)
- MobiCom 2000 + (International Conference on Mobile Computing and Networking 2000)
- MobiCom 2001 + (International Conference on Mobile Computing and Networking 2001)
- MobiCom 2002 + (International Conference on Mobile Computing and Networking 2002)
- MobiCom 2003 + (International Conference on Mobile Computing and Networking 2003)
- MobiCom 2004 + (International Conference on Mobile Computing and Networking 2004)
- MobiCom 2005 + (International Conference on Mobile Computing and Networking 2005)
- MobiCom 2006 + (International Conference on Mobile Computing and Networking 2006)
- MobiCom 2007 + (International Conference on Mobile Computing and Networking 2007)
- MDM + (International Conference on Mobile Data Mangement)
- MDM 2020 + (International Conference on Mobile Data Mangement)
- Mobiquitous + (International Conference on Mobile and Ubiquitous Systems: Networks and Services)
- Mobiquitous 2020 + (International Conference on Mobile and Ubiquitous Systems: Networks and Services)
- MODELS 2007 + (International Conference on Model Driven Engineering Languages and Systems)
- MODELSWARD + (International Conference on Model-Driven Engineering and Software Development)
- MDAI + (International Conference on Modelling Decisions for Artificial Intelligence)
- MODULARITY + (International Conference on Modularity)
- MODULARITY 2014 + (International Conference on Modularity)
- MODULARITY 2015 + (International Conference on Modularity)
- MODULARITY 2016 + (International Conference on Modularity)
- MMM + (International Conference on MultiMedia Modeling)
- Multimedia 1996 + (International Conference on Multimedia 1996)
- Multimedia 1997 + (International Conference on Multimedia 1997)
- Multimedia 1999 + (International Conference on Multimedia 1999)
- Multimedia 2000 + (International Conference on Multimedia 2000)
- Multimedia 2004 + (International Conference on Multimedia 2004)
- Multimedia 2005 + (International Conference on Multimedia 2005)
- Multimedia 2006 + (International Conference on Multimedia 2006)
- M-ICTE 2009 + (International Conference on Multimedia and ICT in Education)
- ICMI + (International Conference on Multimodal Interaction)
- ICMI 2007 + (International Conference on Multimodal Interface)
- ICMI 2008 + (International Conference on Multimodal Interface)
- ICONTOX 2008 + (International Conference on Nanomaterial Toxicology)
- ICNFCM 2017 + (International Conference on Nanomaterials, Functional and Composite Materials)
- ICONN 2010 + (International Conference on Nanoscience and Nanotechnology)
- ICONN 2008 + (International Conference on Nanoscience and Nanotechnology)
- ICNP + (International Conference on Network Protocols)
- ICNP 2020 + (International Conference on Network Protocols)
- ICNP 1996 + (International Conference on Network Protocols 1996)
- ICNP 1997 + (International Conference on Network Protocols 1997)
- ICNP 1998 + (International Conference on Network Protocols 1998)
- ICNP 1999 + (International Conference on Network Protocols 1999)
- ICNP 2000 + (International Conference on Network Protocols 2000)
- ICNP 2001 + (International Conference on Network Protocols 2001)
- ICNP 2003 + (International Conference on Network Protocols 2003)
- ICNP 2004 + (International Conference on Network Protocols 2004)
- ICNP 2005 + (International Conference on Network Protocols 2005)
- ICNP 2006 + (International Conference on Network Protocols 2006)
- ICNP 2008 + (International Conference on Network Protocols 2008)
- CNSM + (International Conference on Network and Service Management (amalgamation of DSOM and related workshops from 2010))
- ICNCT + (International Conference on Network and Computing Technologies)
- ICNCT 2020 + (International Conference on Network and Computing Technologies)
- CNSM 2018 + (International Conference on Network and Service Management)
- CNSM 2019 + (International Conference on Network and Service Management)
- CNSM 2020 + (International Conference on Network and Service Management)
- CNSM 2021 + (International Conference on Network and Service Management)
- ICNC + (International Conference on Neural Computation)
- NCTA 2011 + (International Conference on Neural Computation Theory and Applications)
- ICONIP 2008 + (International Conference on Neural Information Processing)
- ICONIP + (International Conference on Neural Information Processing)
- NGMAST 2008 + (International Conference on Next Generation Mobile Appl ications, Services and Technol ogies)
- NEW2AN 2008 + (International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networking)
- NUSOD 2008 + (International Conference on Numerical Simulation of Optoelectronics Devices)
- ICOODB 2008 + (International Conference on Object Databases)
- OOPSLA + (International Conference on Object-Oriented Programming, Systems, Languages, and Applications)
- OOPSLA 2020 + (International Conference on Object-Oriented Programming)
- OPTICS + (International Conference on Optical Communication Systems)
- PACT + (International Conference on Parallel Architecture and Compilation Techniques)
- PACT 2020 + (International Conference on Parallel Architecture and Compilation Techniques)
- PACT 2008 + (International Conference on Parallel Architectures and Compilation Techniques)
- ICPP + (International Conference on Parallel Processing)
- ICPP 2019 + (International Conference on Parallel Processing)
- ICPP 2020 + (International Conference on Parallel Processing)
- ICPP 2001 + (International Conference on Parallel Processing 2001)
- ICPP 2002 + (International Conference on Parallel Processing 2002)
- ICPP 2003 + (International Conference on Parallel Processing 2003)
- ICPP 2004 + (International Conference on Parallel Processing 2004)
- ICPP 2005 + (International Conference on Parallel Processing 2005)
- ICPP 2006 + (International Conference on Parallel Processing 2006)
- ICPP 2007 + (International Conference on Parallel Processing 2007)
- ICPP 2008 + (International Conference on Parallel Processing 2008)
- Euro-Par + (International Conference on Parallel and Distributed Computing)
- Euro-Par 2020 + (International Conference on Parallel and Distributed Computing)
- Euro-Par 1995 + (International Conference on Parallel and Distributed Computing 1995)
- Euro-Par 1996 + (International Conference on Parallel and Distributed Computing 1996)
- Euro-Par 1997 + (International Conference on Parallel and Distributed Computing 1997)
- Euro-Par 1999 + (International Conference on Parallel and Distributed Computing 1999)
- Euro-Par 2001 + (International Conference on Parallel and Distributed Computing 2001)
- Euro-Par 2002 + (International Conference on Parallel and Distributed Computing 2002)
- Euro-Par 2003 + (International Conference on Parallel and Distributed Computing 2003)
- Euro-Par 2004 + (International Conference on Parallel and Distributed Computing 2004)
- Euro-Par 2005 + (International Conference on Parallel and Distributed Computing 2005)
- Euro-Par 2006 + (International Conference on Parallel and Distributed Computing 2006)
- Euro-Par 2007 + (International Conference on Parallel and Distributed Computing 2007)
- ICPADS + (International Conference on Parallel and Distributed Systems)
- PDPTA + (International Conference on Parallel and Distributed Processing Techniques and Applications)
- ISCA-PDCS 2009 + (International Conference on Parallel and Distributed Computing and Communication Systems 2009)
- IASTED - PDCS 2009 + (International Conference on Parallel and Distributed Computing and Systems)
- PDCAT 2008 + (International Conference on Parallel and Distributed Computing, Applications and Technologies)
- PDCAT + (International Conference on Parallel and Distributed Computing, Applications and Technologies)
- ICPR + (International Conference on Pattern Recognition)
- MEMS TECH 2008 + (International Conference on Perspective Technologies and Methods in MEMS Design)
- BIR + (International Conference on Perspectives in Business Informatics Research)
- Persuasive + (International Conference on Persuasive Technology)
- I.C.P.C.A. 2009 + (International Conference on Pervasive Computing and Application)
- PS 2009 + (International Conference on Photonics in Switching)
- PHOTOPTICS + (International Conference on Photonics, Optics and Laser Technology)
- POWERENG 2009 + (International Conference on Power Engineering, Energy and Electrical Drives)
- ICPEE 2009 + (International Conference on Power and Energy Engineering)
- ICPRE--IEEE 2016 + (International Conference on Power and Renewable Energy)
- ICPLJ 2008 + (International Conference on Practical Linguistics of Japanese)
- CP 2017 + (International Conference on Principles and Practice of Constraint Programming)
- PPDP + (International Conference on Principles and Practice of Declarative Programming)
- PRIMA + (International Conference on Principles of Practice in Multi-Agent Systems)
- OPODIS + (International Conference on Principles of Distributed Systems)
- ProvSec + (International Conference on Provable Security)
- QualIT + (International Conference on Qualitative Research in IT & IT in Qualitative Research)
- QoMEX + (International Conference on Quality of Multimedia Experience)
- Radar 2008 + (International Conference on Radar)
- RADAR 2018 + (International Conference on Radar)
- RTCSA + (International Conference on Real-Time and Embedded Computing Systems and Applications)
- Ada-Europe + (International Conference on Reliable Software Technologies)
- ICRET + (International Conference on Renewable Energy Technologies)
- ICRET 2016 + (International Conference on Renewable Energy Technologies)
- ICRE + (International Conference on Requirements Engineering)
- RCIS 2009 + (International Conference on Research Challenges in Information Science 2009)
- RCIS + (International Conference on Research Challenges in Information Science)
- CONFENIS 2016 + (International Conference on Research and Practical Issues of Enterprise Information Systems)
- RTA + (International Conference on Rewriting Techniques and Applications (now merged with FSCD Formal Structures for Computation and Deduction))
- RTA 2020 + (International Conference on Rewriting Techniques and Applications)
- ICRA 2019 + (International Conference on Robotics and Automation)
- SSDBM + (International Conference on Scientific and Statistical Data Base Management)
- SSDBM 2020 + (International Conference on Scientific and Statistical Data Base Management)
- SECRYPT + (International Conference on Security and Cryptography)
- SecureComm + (International Conference on Security and Privacy for Communication Networks)
- ICSPC + (International Conference on Security in Pervasive Computing)
- ICSPC 2020 + (International Conference on Security in Pervasive Computing)
- ICOST 2012 + (International Conference on Selected Topics (iCOST’2012) in Mobile & Wireless Networking)
- ICSC + (International Conference on Semantic Computing)
- SEMANTiCS 2017 + (International Conference on Semantic Systems)
- SKG 2008 + (International Conference on Semantics, Knowledge and Grid)
- SETA + (International Conference on Sequences and their Applications)
- ICSOC + (International Conference on Service Oriented Computing)
- ICSOC 2016 + (International Conference on Service Oriented Computing)
- ICSOC 2020 + (International Conference on Service Oriented Computing)
- ICSOC 2007 + (International Conference on Service-Oriented Computing 2007)
- SIGMAP + (International Conference on Signal Processing and Multimedia Applications)
- SIGMAP 2009 + (International Conference on Signal Processing and Multimedia Applications)
- SIGMAP 2008 + (International Conference on Signal Processing and Multimedia Applications)
- ICSES 2008 + (International Conference on Signals and Electronic Systems)
- ICSSA 2009 + (International Conference on Signals, Systems and Automation)
- SEAL + (International Conference on Simulated Evolution and Learning)
- CSTST 2008 + (International Conference on Soft Computing as Transdisciplinary Science and Technology)
- SWDC + (International Conference on Software Development)
- SEAFOOD 2008 + (International Conference on Software Engineering Approaches For Offshore and Outsourced Development 2008)
- SERA 2008 + (International Conference on Software Engineering Research Management and Applications 2008)
- ICSE + (International Conference on Software Engineering)
- ICSE 1996 + (International Conference on Software Engineering 1996)
- ICSE 1997 + (International Conference on Software Engineering 1997)
- ICSE 1998 + (International Conference on Software Engineering 1998)
- ICSE 1999 + (International Conference on Software Engineering 1999)
- ICSE 2000 + (International Conference on Software Engineering 2000)
- ICSE 2002 + (International Conference on Software Engineering 2002)
- ICSE 2003 + (International Conference on Software Engineering 2003)
- ICSE 2004 + (International Conference on Software Engineering 2004)
- ICSE 2005 + (International Conference on Software Engineering 2005)
- ICSE 2006 + (International Conference on Software Engineering 2006)
- ICSE 2007 + (International Conference on Software Engineering 2007)
- SETP 2008 + (International Conference on Software Engineering Theory and Practice)
- SEFM + (International Conference on Software Engineering and Formal Methods)
- SEEP + (International Conference on Software Engineering: Education and Practice)
- SLE + (International Conference on Software Language Engineering)
- SLE 2008 + (International Conference on Software Language Engineering 2008)
- ICSM + (International Conference on Software Maintenance)
- ICSM 2020 + (International Conference on Software Maintenance)
- ICSR + (International Conference on Software Reuse)
- ICSR 2008 + (International Conference on Software Reuse 2008)
- ICST + (International Conference on Software Testing, Verification and Validation)
- ICST 2020 + (International Conference on Software Testing, Verification and Validation)
- ICSoft + (International Conference on Software and Data Technologies)
- ICSOFT 2008 + (International Conference on Software and Data Technologies 2008)
- ICSR 2020 + (International Conference on Software and Systems Reuse)
- SoftCOM + (International Conference on Software, Telecommunications and Computer Networks)
- INTERSPEECH 2009 + (International Conference on Spoken Language Processing)
- INTERSPEECH 2008 + (International Conference on Spoken Language Processing)
- ICOSSAR 2009 + (International Conference on Structural Safety and Reliability)
- ICS 2008 + (International Conference on Supercomputing)
- ICS + (International Conference on Supercomputing)
- ICS 2017 + (International Conference on Supercomputing)
- ANTS + (International Conference on Swarm Intelligence)
- TSD 2009 + (International Conference on TEXT, SPEECH and DIALOGUE)
- TaMoCo 2008 + (International Conference on Techniques and Applications for Mobile Commerce)
- TEEM + (International Conference on Technological Ecosystems for Enhancing Multiculturality)
- ICTEL 2010 + (International Conference on Technology-Enhanced Learning)
- ICTL + (International Conference on Temporal Logic)
- ICTSS 2016 + (International Conference on Testing Software and Systems)
- TAP 2008 + (International Conference on Tests and Proofs 2008)
- TABLEAUX + (International Conference on Theorem Proving with Analytic Tableaux and Related Methods)
- TABLEAUX 2020 + (International Conference on Theorem Proving with Analytic Tableaux and Related Methods)
- ICTAS 2016 + (International Conference on Theoretical and Applied Statistics)
- TMFCS 2008 + (International Conference on Theoretical and Mathematical Foundations of Computer Science)
- TMI + (International Conference on Theoretical and Methodological Issues in machine Translation)
- SAT + (International Conference on Theory and Applications of Satisfiability Testing)
- SAT 2020 + (International Conference on Theory and Applications of Satisfiability Testing)
- ICMT + (International Conference on Theory and Practice of Model Transformation Model Transformation)
- TPDL + (International Conference on Theory and Practice of Digital Libraries)
- TACAS 2009 + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems)
- TACAS + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems)
- TACAS 2008 + (International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2008)
- ICTAI + (International Conference on Tools with Artificial Intelligence)
- TrustBus + (International Conference on Trust, Privacy and Security in Digital Business)
- IMCOM 2018 + (International Conference on Ubiquitous Information Management and Communication)
- URAmI 2007 + (International Conference on Ubiquitous Robots and Ambient Intelligence)
- UIC + (International Conference on Ubiquitous and Intelligence Computing)
- ICUWB 2008 + (International Conference on Ultra-Wideband)
- ICUAS 2019 + (International Conference on Unmanned Aircraft Systems)
- ICUAS 2018 + (International Conference on Unmanned Aircraft Systems)
- ICUAS 2017 + (International Conference on Unmanned Aircraft Systems)
- ICUAS 2020 + (International Conference on Unmanned Aircraft Systems,)
- UMAP + (International Conference on User Modelling, Adaptation, and Personalization)
- VLDB 1993 + (International Conference on Very Large Data Bases (VLDB) 1993)
- VLDB 1994 + (International Conference on Very Large Data Bases (VLDB) 1994)
- VLDB 1995 + (International Conference on Very Large Data Bases (VLDB) 1995)
- VLDB 1996 + (International Conference on Very Large Data Bases (VLDB) 1996)
- VLDB 1997 + (International Conference on Very Large Data Bases (VLDB) 1997)
- VLDB 1998 + (International Conference on Very Large Data Bases (VLDB) 1998)
- VLDB 1999 + (International Conference on Very Large Data Bases (VLDB) 1999)
- VLDB 2000 + (International Conference on Very Large Data Bases (VLDB) 2000)
- VLDB 2001 + (International Conference on Very Large Data Bases (VLDB) 2001)
- VLDB 2002 + (International Conference on Very Large Data Bases (VLDB) 2002)
- VLDB 2003 + (International Conference on Very Large Data Bases (VLDB) 2003)
- VLDB 2005 + (International Conference on Very Large Data Bases (VLDB) 2005)
- VLDB 2006 + (International Conference on Very Large Data Bases (VLDB) 2006)
- VLDB + (International Conference on Very Large Databases)
- ICVIP + (International Conference on Video and Image Processing)
- ICVIP 2020 + (International Conference on Video and Image Processing)
- ICVIP - Ei 2017 + (International Conference on Video and Image Processing (ICVIP 2017))
- VEE 2008 + (International Conference on Virtual Execution Environments)
- VEE + (International Conference on Virtual Execution Environments)
- VEE 2020 + (International Conference on Virtual Execution Environments)
- ICVR + (International Conference on Virtual Reality)
- VSMM + (International Conference on Virtual Systems and MultiMedia)
- ICWAPR 2008 + (International Conference on Wavelet Analysis and Pattern Recognition)
- ICWE + (International Conference on Web Engineering)
- ICWE 2007 + (International Conference on Web Engineering 2007)
- WEBIST 2010 + (International Conference on Web Information Systems and Technologies (WEBIST))
- WISE + (International Conference on Web Information Systems Engineering)
- WISE 2020 + (International Conference on Web Information Systems Engineering)
- WI 2016 + (International Conference on Web Intelligence)
- WIMS 2020 + (International Conference on Web Intelligence)
- IEEE/WIC/ACM 2020 + (International Conference on Web Intelligence)
- Web Intelligence + (International Conference on Web Intelligence)
- Web Intelligence 2020 + (International Conference on Web Intelligence)
- WIMS + (International Conference on Web Intelligence, Mining and Semantics)
- ICWSM + (International Conference on Web and Social Media)
- ICWL 2016 + (International Conference on Web-Based Learning)
- ICWL 2009 + (International Conference on Web-based Learning)
- ICWL 2008 + (International Conference on Web-based Learning)
- ICWSM 2008 + (International Conference on Weblogs and Social Media)
- WINSYS 2009 + (International Conference on Wireless Information Networks and System)
- WINSYS + (International Conference on Wireless Information Networks and Systems)
- ICE-B + (International Conference on e-Business)
- ICEB + (International Conference on e-Business)
- ICEHST + (International Conference on e-Health Services and Technologies (ICEHST))
- CoNEXT + (International Conference on emerging Networking EXperiments and Technologies)
- CoNEXT 2007 + (International Conference on emerging Networking EXperiments and Technologies 2007)
- NSS + (International Conference on network and System Security)
- ICATPN + (International Conference on the Application and Theory of Petri Nets)
- SEMANTiCS 2005 + (International Conference on the Future of the Internet)
- KR + (International Conference on the Principles of Knowledge Representation and Reasoning)
- KR 2020 + (International Conference on the Principles of Knowledge Representation and Reasoning)
- ALIFE + (International Conference on the Simulation and Synthesis of Living Systems)
- ALIFE 2020 + (International Conference on the Simulation and Synthesis of Living Systems)
- ALIFE 2019 + (International Conference on the Simulation and Synthesis of Living Systems)
- ASIACRYPT + (International Conference on the Theory and Application of Cryptology and Information Security)
- Asiacrypt + (International Conference on the Theory and Application of Cryptology and Information Security)
- WSCG + (International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision)
- IASCL 2008 + (International Congress for the Study of Child Language)
- NEUROTECHNIX 2013 + (International Congress on Neurotechnology, Electronics and Informatics)
- IcSPORTS 2013 + (International Congress on Sports Science Research and Technology Support (icSPORTS 2013))
- W4A 2008 + (International Cross-Disciplinary Conference on Web Accessibility)
- IDEAS + (International Database Engineering and Applications Symposium)
- IEDM + (International Electron Devices Meeting)
- EDOC 2007 + (International Enterprise Distributed Object Computing Conference 2007)
- EuroPar + (International European Conference on Parallel and Distributed Computing (was International Conference on Parallel Processing))
- EuroPar 2020 + (International European Conference on Parallel and Distributed Computing)
- IFAC 2008 + (International Federation of Automatic Control Congress)
- IFS + (International Fermi Symposium)
- FAW + (International Frontiers of Algorithmics Workshop)
- FLINS + (International Fuzzy Logic and Intelligent technologies in Nuclear Science Conference)
- IGIIW 2008 + (International Grid Interoperability and Interoperation Workshop 2008)
- PSATS + (International ICST Conference on Personal Satellite Services)
- ICE-GIC 2009 + (International IEEE Consumer Electronics Society's Games Innovations Conference)
- WSA 2008 + (International ITG Workshop On Smart Antennas)