Остановите войну!
for scientists:
default search action
Search dblp for Venues
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Venue search results
Likely matches
- Electronic Proceedings in Theoretical Computer Science (EPTCS)
- Theoretical Computer Science
- Electronic Notes in Theoretical Computer Science (ENTCS)
- International Conference on Software Engineering (ICSE)
also: International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS @ ICSE) - International Semantic Web Conference (ISWC)
also: International Workshop on Applications and Business Aspects of the Semantic Web (SEBIZ @ ISWC)
also: Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web (SMRR @ ISWC)
also: International Workshop on the role of Semantic Web in Provenance Management (SWPM @ ISWC)
also: International Workshop on Uncertainty Reasoning for the Semantic Web (URSW @ ISWC)
All 655 matches
- ;login:
also: login - The USENIX Magazine
also: login - The USENIX Association Newsletter - ACM Conference on Recommender Systems (RecSys)
also: Workshop on the Practical Use of Recommender Systems, Algorithms and Technologies (PRSAT @ RecSys)
also: Workshop on Recommender Systems and the Social Web (RSWeb @ RecSys) - ACM SIGIR Conference on Research and Development in Information Retrieval in the Asia Pacific Region (SIGIR-AP)
- ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)
also: International Workshop on Knowledge Discovery on the Web (WebKDD @ KDD) - ACM SIGMIS Database
also: The Data Base for Advances in Information Systems - ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP)
- ACM SIGSOFT Conference on the Foundations of Software Engineering (FSE)
also: International Workshop on Control Theory for Software Engineering (CTSE @ FSE) - ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (GIS)
also: ACM SIGSPATIAL International Workshop on the Use of GIS in Public Health (HealthGIS @ GIS) - ACM Transactions on Computation Theory (ToCT)
- ACM Transactions on the Web
- ACM Wireless of the Students, by the Students, and for the Students Workshop (S³)
- ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS)
also: International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE @ MoDELS)
also: International Workshop on The Globalization of Modeling Languages (GEMOC @ MoDELS)
also: Modelling of the Physical World Workshop (MOTPW @ MoDELS) - AIUCD Annual Conference on Humanities and Their Methods in the Digital Ecosystem (AIUCD)
- Advances in Data Base Theory (ADBT)
- Advances in Fuzzy Systems - Applications and Theory
- Adversarial Information Retrieval on the Web (AIRWeb)
- Algebraic Frames for the Perception-Action Cycle (AFPAC)
- Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
- Algorithmic Decision Theory (ADT)
- Algorithmic Fairness through the Lens of Time Workshop (AFT)
also: Algorithmic Fairness through the Lens of Causality and Privacy Workshop (AFCP)
also: Algorithmic Fairness through the Lens of Causality and Robustness Workshop (AFCR)
also: Algorithmic Fairness through the Lens of Causality and Interpretability Workshop (AFCI) - Algorithmic Game Theory (SAGT)
- Algorithmic Number Theory Symposium (ANTS)
- Annual Conference Computational Learning Theory (COLT)
- Annual Conference of the European Association for Computer Graphics (Eurographics)
also: Annual Conference and Exhibition of the European Association for Computer Graphics - Annual Conference of the Gesellschaft für Klassifikation (GfKl)
- Annual Conference of the IEEE Industrial Electronics Society (IECON)
- Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE)
- Annual Conference of the Spanish Society for Natural Language Processing (SEPLN)
- Annual Conference on the North American Fuzzy Information Processing Society (NAFIPS)
- Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)
- Annual International Conference on Brain-Inspired Cognitive Architectures for Artificial Intelligence (BICA*AI)
also: Annual Meeting of the BICA Society (BICA) - Annual International Conference on Mobile Computing and Networking (MobiCom)
also: Technologies for the Wireless Edge Workshop (EdgeTech @ MobiCom)
also: Workshop on Experiences with the Design and Implementation of Frugal Smart Objects (FRUGALTHINGS @ MobiCom) - Annual Meeting of the Association for Computational Linguistics (ACL)
- Annual Meeting of the Cognitive Science Society (CogSci)
- Annual Meeting of the German Association of Medical Informatics, Biometry, and Epidemiology (GMDS)
- Annual Workshop of the Psychology of Programming Interest Group (PPIG)
- Annual Workshop of the Swedish Artificial Intelligence Society (SAIS)
- Annual Workshop on Large-scale Experiment-in-the-Loop Computing (XLOOP)
- Applications and Theory of Petri Nets and Concurrency (Petri Nets)
also: European Workshop on Application and Theory of Petri Nets (APN)
also: International Conference on Applications and Theory of Petri Nets (ICATPN) - Applied Category Theory (ACT)
- Architectures for Quality of Service in the Internet (Art-QoS)
- Artificial Intelligence from the Information Processing Perspective (AIFIPP)
- Artificial Intelligence: Foundations, Theory, and Algorithms
- Attribute Grammars and their Applications (WAGA)
- Auctions, Market Mechanisms and Their Applications (AMMA)
- Australian Communications Theory Workshop (AusCTW)
- Behavioral and Quantitative Game Theory (BQGT)
- Berichte des German Chapter of the ACM
- Bioinformatics
also: Computer Applications in the Biosciences (CABIOS) - Brazilian Conference on Software: Practice and Theory (CBSoft)
- Brazilian Symposium on Multimedia and the Web (WebMedia)
- Bulletin of the EATCS
- Bulletin of the ICA
also: Bulletin of the Institute of Combinatorics and its Applications - Bulletin of the IEEE Technical Committee on Digital Libraries (TCDL Bulletin)
- Canadian Conference on Artificial Intelligence (Canadian AI)
also: Conference of the Canadian Society for Computational Studies of Intelligence (Canadian AI)
also: Conference of the Canadian Society for Computational Studies of Intelligence (AI) - Canadian Workshop on Information Theory (CWIT)
- Cartographica: The International Journal for Geographic Information and Geovisualization
- Category Theory
- Category Theory and Computer Science (CTCS)
- Central-European Workshop on Services and their Composition (ZEUS)
- Chicago Journal of Theoretical Computer Science
- Chinese Conference on The Semantic Web and Web Science (CSWS)
- Cloudification of the Internet of Things (CIoT)
- Coding Theory and Applications
- Combinatorial Theory
- Communications of the ACM
- Communications of the Association for Information Systems (CAIS)
- Compositionality: The Significant Difference (COMPOS)
- Computational & Mathematical Organization Theory
- Computational Complexity Conference (CCC)
also: Structure in Complexity Theory Conference (SCT) - Computational Geometry
also: Computational Geometry: Theory and Applications (CGTA) - Computational Linguistics in the Netherlands (CLIN)
- Computer Graphics Forum (CGF)
also: International Journal of the Eurographics Association - Computer Graphics and Visual Computing (CGVC)
also: Theory and Practice of Computer Graphics (TPCG) - Computer Hardware Description Languages and their Applications (CHDL)
- Computers and the Quality of Life (CQL)
- Computing: The Australasian Theory Symposium (CATS)
- Conference 'Law via the Internet'
- Conference On Spatial Information Theory (COSIT)
- Conference and Labs of the Evaluation Forum (CLEF)
also: International Conference of the CLEF Association
also: Workshop of the Cross-Language Evaluation Forum (CLEF) - Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics (AACL)
- Conference of the Association Information and Management (AIM)
- Conference of the Association for Machine Translation in the Americas (AMTA)
- Conference of the Digital Games Research Association (DIGRA)
- Conference of the European Chapter of the Association for Computational Linguistics (EACL)
- Conference of the European Cooperation in Informatics (ECI)
- Conference of the European Social Simulation Association (ESSA)
- Conference of the International Speech Communication Association (INTERSPEECH)
- Conference of the Open Innovations Association (FRUCT)
- Conference of the Spanish Association for Videogames Sciences (CoSECivi)
- Conference on Algorithmic Algebra and Number Theory
- Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)
also: Conference on Current Trends in Theory and Practice of Informatics - Conference on Information-Theoretic Cryptography (ITC)
- Conference on Philosophy and Theory of Artificial Intelligence (PT-AI)
- Conference on Theoretical and Methodological Issues in Machine Translation of Natural Languages (TMI)
- Conference on Theory and Practice of Information Technologies (ITAT)
- Conference on the Internet of Things and Smart Spaces (ruSMART)
- Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA)
also: Conference of the Spanish Association for Artificial Intelligence (CAEPIA) - Conferenza Nazionale Sensori e Microsistemi - Conference of the Italian Association of Sensors and Microsystems (AISEM)
- Cryptographic Algorithms and their Uses
- DIMACS Series in Discrete Mathematics and Theoretical Computer Science (DIMACS)
- DMTCS Proceedings
also: Discrete Mathematics and Theoretical Computer Science Proceedings - DaRUS - the data repository of the University of Stuttgart
- Data Communications and their Performance
- Data Integration in the Life Sciences (DILS)
- Data Mining, Intrusion Detection, Information Security and Assurance, and Data Networks Security
also: Data Mining and Knowledge Discovery: Theory, Tools, and Technology - Database - The Journal of Biological Databases and Curation
- Decision and Game Theory for Security (GameSec)
- Digital Humanities Conference (DH)
also: Annual International Conference of the Alliance of Digital Humanities Organizations - Digital Humanities in the Nordic and Baltic Countries Conference (DHNB)
also: Digital Humanities in the Nordic Countries Conference (DHN) - Digital Scholarship in the Humanities (DSH)
- Discrete Mathematics & Theoretical Computer Science (DMTCS)
- Discussiones Mathematicae Graph Theory
- EUROMEDIA
also: Annual Scientific Conference on Web Technology, New Media, Communications and Telematics Theory, Methods, Tools and Applications - Easter Conference on Model Theory
- Eclipse International Conference on Security, AI and Modeling (eSAAM)
also: Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things (SAM-IoT) - Electronic Communication of the EASST
also: Electronic Communication of the European Association of Software Science and Technology - Electronic Information, the Visual Arts and Beyond Conference (EVA)
- Electronic Journal of Graph Theory and Applications
- Electronic Notes in Theoretical Computer Science (ENTCS)
- Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)
- Electronic Proceedings in Theoretical Computer Science (EPTCS)
- Electronic Technology Directions to the Year 2000
- Electronic Visualisation and the Arts Conference (EVA)
also: Electronic Visualisation and the Arts London Conference (EVA London) - Engineering Societies in the Agent World (ESAW)
- Engineering the Knowledge Society (EKS)
- Enterprise Applications and Services in the Finance Industry (FinanceCom)
- Epistemological Aspects of Computer Simulation in the Social Sciences (EPOS)
- European Conference on Advances in Information Retrieval (ECIR)
also: International Workshop on Multimodal Retrieval in the Medical Domain (MRMD @ ECIR) - European Conference on Circuit Theory and Design (ECCTD)
- European Conference on Computational Learning Theory (EuroCOLT)
- European Conference on Object-Oriented Programming (ECOOP)
also: Workshop on the Globalization of Domain Specific Languages (GlobalDSL @ ECOOP) - European Conference on Parallel Processing (Euro-Par)
also: Workshop on Real-Time Interactive Applications on the Grid (ROIA @ Euro-Par) - European Conference on the Advancement of Assistive Technology (AAATE)
- European Conference on the Engineering of Computer-Based Systems (ECBS)
also: Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC) - European Joint Conferences on Theory And Practice of Software (ETAPS)
also: Workshop on the Foundations of Interactive Computation (FInCo @ ETAPS)
also: Theory and Practice of Timed Systems (TPTS @ ETAPS) - European Workshop on the Integration of Knowledge, Semantic and Digital Media Technologies (EWIMT)
- Expert Systems - The Journal of Knowledge Engineering
- Facing the Multicore-Challenge
- Findings of ACL
also: Findings of the Association for Computational Linguistics - Finite Fields and Their Applications
- Foundations and Trends in Communications and Information Theory
- Foundations and Trends in Theoretical Computer Science
- Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
- Foundations of the Formal Sciences (FotFS)
- Fractals in the Natural and Applied Sciences
- Frontiers in the Convergence of Bioscience and Information Technologies (FBIT)
- Functional Imaging and Modeling of the Heart (FIMH)
- GI Symposium on Theoretical Computer Science
also: GI-Fachtagung Theoretische Informatik - General Theory of Graph Transformation Systems Workshop (GETGRATS Workshop)
- General Theory of Information Transfer and Combinatorics (GTIT-C)
- Genetic Programming Theory and Practice (GPTP)
- Graph Structure Theory
- Graph Theory and Algorithms
- Grey Systems: Theory and Application
- Halfway to the Future Symposium (HTTF)
- Handbook of the History of Logic
- Human Language Technology - The Baltic Perspectiv (Baltic HLT)
- IAS Annual Meeting
also: Annual Meeting of the IEEE Industry Applications Society (IAS) - IDAACS International Symposium on Wireless Systems (IDAACS-SWS)
also: International Symposium on Wireless Systems within the Conferences on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS) - IEEE Annals of the History of Computing
- IEEE Annual Symposium on Foundations of Computer Science (FOCS)
also: IEEE Annual Symposium on Switching and Automata Theory (SWAT)
also: Annual Symposium on Switching Circuit Theory and Logical Design (SWCT) - IEEE Data Engineering Bulletin
also: Bulletin of the Technical Committee on Data Engineering - IEEE Intelligent Systems
also: IEEE Intelligent Systems and their Applications - IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS)
- IEEE International Conference on Distributed Computing Systems (ICDCS)
also: International Workshop on Services and Infrastructure for the Ubiquitous and Mobile Internet (SIUMI @ ICDCS) - IEEE Journal on Selected Areas in Information Theory
- IEEE Network
also: IEEE Network - The Magazine of Global Internetworking - IEEE Open Journal of the Communications Society
- IEEE Open Journal of the Computer Society
- IEEE Transactions on Circuits and Systems I: Regular Papers
also: IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications - IEEE Transactions on Computers
also: Transactions of the I.R.E. Professional Group on Electronic Computers - IEEE Transactions on Information Theory
also: IRE Transactions on Information Theory
also: Transactions of the IRE Professional Group on Information Theory - IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing (CCGRID)
also: IEEE/ACM International Symposium on Cluster Computing and the Grid - IET Cyber-Physical Systems: Theory & Applications
- IFIP International Conference on Theoretical Computer Science (TCS)
- IMA Conference on the Mathematics of Surfaces (IMA)
- IfCoLog Journal of Logics and their Applications
- Imaging and Multimedia Analytics at the Edge
- Imperial College Department of Computing Workshops
also: Imperial College Department of Computing Workshop on Theory and Formal Methods - Industrial Conference on Advances in Data Mining - Applications and Theoretical Aspects (ICDM)
- Information Systems - Theoretical and Formal Aspects (TFAIS)
- Information Theory Workshop
- Information Theory and Applications Workshop (ITA)
- Information Theory and Statistical Learning (ITSL)
- Information and Communication of the Learned Societies in Germany (IuK)
- Information and Communication on Technology for the Fight against Global Warming (ICT-GLOW)
- Informing Science: The International Journal of an Emerging Transdiscipline (InformingSciJ)
- Innovations in Theoretical Computer Science (ITCS)
- Integers
also: Electronic Journal of Combinatorial Number Theory - Interdisciplinary Conference in the Formal Aspects of Cognitive Processes
- Interdisciplinary Workshop The Shape of Things (SHAPES)
- International Castle Meeting on Coding Theory and Applications (ICMCTA)
- International Colloquium on Automata, Languages and Programming (ICALP)
also: Workshop on Bohm's theorem: applications to Computer Science Theory (BOTH @ ICALP) - International Colloquium on Theoretical Aspects of Computing (ICTAC)
- International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM)
- International Conference of Graph Theory and Information Security (ICGTIS)
- International Conference of the ACM Greek SIGCHI Chapter (CHI Greece)
- International Conference of the Biometrics Special Interest Group (BIOSIG)
- International Conference of the Catalan Association for Artificial Intelligence (CCIA)
- International Conference of the Chilean Computer Science Society (SCCC)
- International Conference of the International Graphonomics Society (IGS)
- International Conference of the Italian Association for Artificial Intelligence (AI*IA)
also: Congress of the Italian Association for Artificial Intelligence (AI*IA) - International Conference of the Learning Sciences (ICLS)
- International Conference of the Pacific Association for Computational Linguistics (PACLING)
- International Conference of the Thailand Econometrics Society (TES)
- International Conference on 3D Technologies for the World Wide Web (Web3D)
also: Symposium on The Virtual Reality Modeling Language (VRML) - International Conference on Advanced Information Systems Engineering (CAiSE)
also: Workshop on Data Integration and the Semantic Web (DisWeb @ CAiSE)
also: Workshop on Data Integration over the Web (DTWeb @ CAiSE)
also: Workshop on Regulations Modelling and their Validation and Verification (ReMo2V @ CAiSE) - International Conference on Algorithmic Learning Theory (ALT)
- International Conference on Analytical and Computational Methods in Probability Theory (ACMPT)
- International Conference on Application and Theory of Automation in Command and Control Systems (SNDS)
- International Conference on Applications of Natural Language to Data Bases (NLDB)
also: Workshop on NLP Applications: Completing the Puzzle (WNACP @ NLDB) - International Conference on Artificial Intelligence: Theories and Applications (ICAITA)
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
also: International Conference on Theorem Proving with Analytic Tableaux and Related Methods - International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA)
- International Conference on Bioinspired Optimization Methods and Their Applications (BIOMA)
- International Conference on Biometrics: Theory, Applications and Systems (BTAS)
- International Conference on Bridging the Gap Between AI and Reality (AISoLA)
- International Conference on Business Information Systems (BIS)
also: International Workshop on Transforming the Digital Customer Experience (DigEx @ BIS) - International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines (CLAWAR)
- International Conference on Communications, Signal Processing, and their Applications (ICCSPA)
- International Conference on Computational Processing of the Portuguese Language (PROPOR)
also: International Workshop on Computational Processing of the Portuguese Language - International Conference on Computer Graphics Theory and Applications (GRAPP)
- International Conference on Computer Science and Software Engineering (CASCON)
also: Conference of the Centre for Advanced Studies on Collaborative Research - International Conference on Computer Vision Theory and Applications (VISAPP)
- International Conference on Computers and Their Applications (CATA)
- International Conference on Computing: Theory and Applications (ICCTA)
- International Conference on Concept Lattices and their Applications (CLA)
- International Conference on Conceptual Modeling (ER)
also: International Conference on the Entity Relationship Approach
also: Conceptual Modeling in the Large (CoMoL @ ER)
also: International Workshop on Evolving Theories of Conceptual Modelling (ETheCoM @ ER)
also: Joint International Workshop on Metamodels, Ontologies, Semantic Technologies, and Information Systems for the Semantic Web (MOST-ONISW @ ER)
also: International Workshop on Ontologies and Information Systems for the Semantic Web (ONISW @ ER)
also: International Workshop on Semantic Web Applications: Theory and Practice (SemWAT @ ER) - International Conference on Concurrency Theory (CONCUR)
also: International Conference on Concurrency Theory (CONCURRENCY) - International Conference on Cryptography and Information Security in the Balkans (BalkanCryptSec)
- International Conference on Database Theory (ICDT)
- International Conference on Database and Expert Systems Applications (DEXA)
also: International Workshop on E-Learning Systems: Research and Tools, from Theory to Practice (ELSys @ DEXA)
also: International Workshop on Theory and Applications of Knowledge Management (TAKMA @ DEXA) - International Conference on Databases, Parallel Architectures, and Their Applications (PARBASE)
- International Conference on Deep Learning Theory and Applications (DeLTA)
- International Conference on Developments in Language Theory (DLT)
- International Conference on Discrete Mathematics and Theoretical Computer Science (DMTCS)
- International Conference on Education and Research in the Information Society (ERIS)
- International Conference on Electronic Government and the Information Systems Perspective (EGOVIS)
- International Conference on Entertainment and Media in the Ubiquitous Era (Mindtrek)
- International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
also: International Workshop on Model-Driven Architecture and Modeling Theory-Driven Development (MDA & MTDD) - International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA)
- International Conference on Fuzzy Theory and Its Applications (iFUZZY)
- International Conference on Geographical Information Systems Theory, Applications and Management (GISTAM)
- International Conference on Graph Transformation (ICGT)
also: International Workshop on Theory and Applications of Graph Transformation (TAGT)
also: International Workshop on Graph Grammars and their Applications to Computer Science (GG) - International Conference on Human Computer Interaction Theory and Applications (HUCAPP)
- International Conference on Identification, Information, and Knowledge in the Internet of Things (IIKI)
- International Conference on Image Processing Theory Tools and Applications (IPTA)
- International Conference on Imaging Theory and Applications (IMAGAPP)
- International Conference on Information Sciences, Signal Processing and their Applications (ISSPA)
- International Conference on Information Security Theory and Practice (WISTP)
also: Workshop in Information Security Theory and Practice - International Conference on Information Theoretic Security (ICITS)
- International Conference on Information Visualization Theory and Applications (IVAPP)
- International Conference on Information and Knowledge Management (CIKM)
also: International Workshop on Computational Scientometrics: Theory & Applications (CompSci @ CIKM)
also: International Workshop on Ontologies and Information Systems for the Semantic Web (ONISW @ CIKM)
also: International Workshop on Understanding the City with Urban Informatics (UCUI @ CIKM) - International Conference on Integrated Formal Methods (IFM)
also: International Workshop on Formal Methods for and on the Cloud (iFMCloud @ IFM) - International Conference on Intelligent Systems: Theories and Applications (SITA)
- International Conference on Intelligent User Interfaces (IUI)
also: Workshop on an Application-oriented Approach to BCI out of the laboratory (BCIforReal @ IUI)
also: Workshop on Theory-Informed User Modeling for Tailoring and Personalizing Interfaces (HUMANIZE @ IUI) - International Conference on Interactive Theorem Proving (ITP)
also: Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR @ ITP) - International Conference on Knowledge Engineering and the Semantic Web (KESW)
- International Conference on Logic Programming (ICLP)
also: Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS @ ICLP) - International Conference on Managed Programming Languages & Runtimes (MPLR)
also: International Conference on Principles and Practices of Programming on the Java Platform (PPPJ)
also: International Conference on the Principles and Practice of Programming in Java (PPPJ) - International Conference on Mathematical Optimization Theory and Operations Research (MOTOR)
- International Conference on Model Transformation (ICMT)
also: International Conference on Theory and Practice of Model Transformations - International Conference on Multimodal Interaction (ICMI)
also: Workshop on Roadmapping the Future of Multimodal Interaction Research (RFMIR @ ICMI) - International Conference on Network of the Future (NOF)
- International Conference on Number-Theoretic Methods in Cryptology (NuTMiC)
- International Conference on Pervasive Computing and the Networked World (ICPCA)
- International Conference on Pragmatic Web (ICPW)
also: International Conference on the Pragmatic Web (PragWeb) - International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA)
- International Conference on Queueing Theory and Network Applications (QTNA)
- International Conference on Scientometrics and Informetrics (ISSI)
also: International Conference of the International Society for Scientometrics and Informetrics (ISSI) - International Conference on Software Engineering (ICSE)
also: International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS @ ICSE) - International Conference on Software Technologies: Applications and Foundations (STAF)
also: Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST @ STAF) - International Conference on System Theory, Control and Computing (ICSTCC)
- International Conference on The Impact of Virtual, Remote, and Real Logistics Labs (ImViReLL)
- International Conference on Theorem Proving in Higher Order Logics (TPHOLs)
also: International Workshop Higher Order Logic Theorem Proving and its Applications - International Conference on Theoretical Computer Science and Discrete Mathematics (ICTCSDM)
- International Conference on Theory and Applications of Satisfiability Testing (SAT)
- International Conference on Theory and Practice of Digital Libraries (TPDL)
- International Conference on Theory and Practice of Electronic Governance (ICEGOV)
- International Conference on Theory and Practice of Natural Computing (TPNC)
- International Conference on Theory and Practice of Public Key Cryptography (PKC)
- International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies (TRIDENTCOM)
also: International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities - International Conference on Topics in Theoretical Computer Science (TTCS)
- International Conference on Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage (TMM_CH)
- International Conference on Trustworthy Systems and their Applications (TSA)
- International Conference on Web Information Systems Engineering (WISE)
also: International Workshop on Mashups, Enterprise Mashups and Lightweight Composition on the Web (MEM&LCW @ WISE) - International Conference on Well-Being in the Information Society (WIS)
- International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE)
- International Conference on the Art, Science and Engineering of Programming (Programming)
- International Conference on the Computer Processing of Oriental Languages (ICCPOL)
- International Conference on the Design of Cooperative Systems (COOP)
- International Conference on the Design of Reliable Communication Networks (DRCN)
also: International Workshop on the Design of Reliable Communication Networks - International Conference on the Digital Society (ICDS)
- International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON)
also: International Workshop on the Economics of Grids, Clouds, Systems, and Services (GECON) - International Conference on the History of Computing (ICHC)
- International Conference on the Internet of Things (IOT)
- International Conference on the Internet, Cyber Security and Information Systems (ICICIS)
- International Conference on the Practical Application of Constraint Technologies and Logic Programming (PACPL)
- International Conference on the Practical Application of Constraint Technology (PACT)
- International Conference on the Practice and Theory of Automated Timetabling (PATAT)
- International Conference on the Software Process (ICSP)
- International Conference on the Synthesis and Simulation of Living Systems (ALIFE)
also: Workshop on the Synthesis and Simulation of Living Systems (ALIFE) - International Conference on the Theory and Application of Cryptographic Techniques (EUROCRYPT)
- International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT)
- International Conference on the Theory of Information Retrieval (ICTIR)
- International Conference on the Unified Modeling Language (UML)
- International Conference on the Voynich Manuscript (VOY)
- International Conference/Workshop on Computer Aided Systems Theory (EUROCAST)
- International Conferences on Dependable Systems and Their Applications (DSA)
- International Game Theory Review
- International ICST Conference on Game Theory for Networks (GAMENETS)
- International Joint Conference on Artificial Intelligence (IJCAI)
also: Workshop on Information Integration on the Web (IIWeb @ IJCAI)
also: Workshop on Discovering Meaning On the Go in Large Heterogeneous Data (LHD @ IJCAI) - International Joint Conference on Automated Reasoning (IJCAR)
also: International Workshop on Hammers for Type Theories (HaTT @ IJCAR) - International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS)
also: Agent Theories, Architectures, and Languages (ATAL) - International Joint Conference on Computational Intelligence (IJCCI)
also: International Conference on Evolutionary Computation Theory and Applications (ECTA @ IJCCI)
also: International Conference on Fuzzy Computation Theory and Applications (FCTA @ IJCCI)
also: International Conference on Neural Computation Theory and Applications (NCTA @ IJCCI) - International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP)
- International Joint Conference on the Analysis of Images, Social Networks and Texts (AIST)
- International Journal of Actor-Network Theory and Technological Innovation (IJANTTI)
- International Journal of Applied Mathematics and Computer Science
also: Journal of the University of Zielona Góra - International Journal of Circuit Theory and Applications
- International Journal of Computer Mathematics: Computer Systems Theory (IJCM:CST)
- International Journal of Computers and Their Applications
- International Journal of Data Science in the Mathematical Sciences (IJDSMS)
- International Journal of Game Theory
- International Journal of ICT Research in Africa and the Middle East (IJICTRAME)
- International Journal of Information Systems in the Service Sector (IJISSS)
- International Journal of Information and Coding Theory (IJICoT)
- International Journal of Innovation in the Digital Economy (IJIDE)
- International Ontology for the Intelligence Community (OIC)
- International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
- International School on Theory and Numerics for Conservation Laws
- International Semantic Web Conference (ISWC)
also: International Workshop on Applications and Business Aspects of the Semantic Web (SEBIZ @ ISWC)
also: Workshop on Service Matchmaking and Resource Retrieval in the Semantic Web (SMRR @ ISWC)
also: International Workshop on the role of Semantic Web in Provenance Management (SWPM @ ISWC)
also: International Workshop on Uncertainty Reasoning for the Semantic Web (URSW @ ISWC) - International Symposium on Advanced Technologies and Applications in the Internet of Things (ATAIT)
- International Symposium on Applications and the Internet (SAINT)
- International Symposium on Coding Theory and Applications (EUROCODE)
- International Symposium on Domain Theory and Its Applications (ISDT)
- International Symposium on Fundamentals of Computation Theory (FCT)
- International Symposium on High-Performance Parallel Distributed Computing (HPDC)
also: Workshop on The Science of Cyberinfrastructure - Research, Experience, Applications and Models (SCREAM @ HPDC)
also: Workshop on the Use of P2P, GRID and Agents for the Development of Content Networks (UPGRADE-CN @ HPDC) - International Symposium on Imprecise Probabilities and Their Applications (ISIPTA)
- International Symposium on Information Theory (ISIT)
- International Symposium on Information Theory and its Applications (ISITA)
- International Symposium on Model Checking Software (SPIN)
also: International SPIN Workshop on Theoretical Aspects of Model Checking (SPIN) - International Symposium on Software Engineering: Theories, Tools, and Applications (SETTA)
- International Symposium on Software Security - Theories and Systems (ISSS)
- International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing (MobiHoc)
- International Symposium on the Applications of Constraint Databases (CDB)
also: International Workshop on Constraint Database Systems and Their Applications - International Web Rule Symposium (RuleML)
also: International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML)
also: International Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML)
also: International Workshop on Rule Markup Languages for Business Rules on the Semantic Web (RuleML) - International Work-Conference on the Interplay Between Natural and Artificial Computation (IWINAC)
- International Workshop of the Initiative for the Evaluation of XML Retrieval (INEX)
- International Workshop on AI Approaches to the Complexity of Legal Systems (AICOL)
- International Workshop on Algebraic and Combinatorial Coding Theory (ACCT)
- International Workshop on Attacks and Defenses for the Internet-of-Things (ADIoT)
- International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA)
also: Automata Theory and Formal Languages - International Workshop on Complex Networks & Their Applications (COMPLEX NETWORKS)
- International Workshop on Data Integration over the Web (DIWeb)
- International Workshop on Data-Intensive Computing in the Clouds (DataCloud)
- International Workshop on Establishing the Community-Wide Infrecaseructure for Architecture-Based Software Engineering (ECASE)
- International Workshop on Exploratory Search in Databases and the Web (ExploreDB)
- International Workshop on First-Order Theorem Proving (FTP)
- International Workshop on Global Software Development For the Practitioner (GSD)
- International Workshop on Graph-Theoretic Concepts in Computer Science (WG)
- International Workshop on Harnessing Theories for Tool Support for Software (TTSS)
- International Workshop on High-Performance Interconnection Networks in the Exascale and Big-Data Era (HiPINEB)
- International Workshop on Human-in-the-Loop Applied Machine Learning (HITLAML)
- International Workshop on Information Technologies: Theoretical and Applied Problems (ITTAP)
- International Workshop on Knowledge Discovery on the Web (KDWeb)
- International Workshop on Location and the Web (LocWeb)
- International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
- International Workshop on MetaOS for the Cloud-Edge-IoT Continuum (MECC)
- International Workshop on Middleware for the Computing Continuum (Mid4CC)
- International Workshop on Mobility in the Evolving Internet Architecture (MobiArch)
- International Workshop on Multimodal Human Understanding for the Web and Social Media (MUWS)
- International Workshop on Process Management in the AI Era (PMAI)
- International Workshop on Proof Exchange for Theorem Proving (PxTP)
- International Workshop on Quantum Software Engineering: The Next Evolution (QSE-NE)
- International Workshop on Satisfiability Modulo Theories (SMT)
- International Workshop on Scrutinizing Agile Practices or Shoot-Out at the Agile Corral (APOS)
- International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG)
- International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT)
- International Workshop on Software Qualities and their Dependencies (SQUADE)
- International Workshop on Statistical Atlases and Computational Models of the Heart (STACOM)
- International Workshop on Structures in Concurrency Theory (STRICT)
- International Workshop on Theorem Proving Components for Educational Software (ThEdu)
- International Workshop on Theorie and Applications of Formal Argumentation (TAFA)
- International Workshop on Theory-Oriented Software Engineering (TOSE)
- International Workshop on Treebanks and Linguistic Theories (TLT)
- International Workshop on a General Theory of Software Engineering (GTSE)
- International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2)
- International Workshop on the Analysis of Multitemporal Remote Sensing Images (MultiTemp)
- International Workshop on the Deductive Approach to Information Systems and Databases (DAISD)
- International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA)
- International Workshop on the History of Speech Communication Research (HSCR)
- International Workshop on the Human Mobility Prediction Challenge (HuMob-Challenge)
- International Workshop on the Implementation of Logics (IWIL)
- International Workshop on the Interplay between Usability Evaluation and Software Development (I-USED)
- International Workshop on the Interrelations between Requirements Engineering and Business Process Management (REBPM)
- International Workshop on the K Framework and its Applications (K)
- International Workshop on the Practical Application of Stochastic Modelling (PASM)
- International Workshop on the QuANtum SoftWare Engineering & pRogramming (QUANSWER)
- International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS)
- International Workshop on the Role of Abstraction in Software Engineering (ROA)
- International Workshop on the Semantic Web (SemWeb)
- International Workshop on the Web and Databases (WebDB)
- International Workshop/Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA)
- Iran Workshop on Communication and Information Theory (IWCIT)
- Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT)
- Israel Symposium on Theory of Computing Systems (ISTCS)
- Italian Conference for the Traffic Police (TRAP)
- Italian Conference on Theoretical Computer Science (ICTCS)
- Jahrestagung der Gesellschaft für Informatik (INFORMATIK)
also: Annual Conference of the German Informatics Society - Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG3)
also: Kyoto Conference on Computational Geometry and Graph Theory (KyotoCGGT)
also: China-Japan Conference on Discrete Geometry, Combinatorics and Graph Theory (CJCDGCGT)
also: Indonesia-Japan Joint Conference on Combinatorial Geometry and Graph Theory (IJCCGGT) - Joint Conference of the Information Retrieval Communities in Europe (CIRCLE)
- Joint International Conference of the Association for Literary and Linguistic Computing and the Association for Computers and the Humanities (ALLC/ACH)
also: Joint International Conference of the Association for Computers and the Humanities and the Association for Literary and Linguistic Computing (ACH/ALLC) - Joint Meeting of the Conference on Formal Grammar (FG) and the Conference on Mathematics of Language (MOL) (FGMOL)
- Joint Workshop on CPS & IoT Security and Privacy (CPSIoTSec)
also: International ACM Workshop on Security and Privacy for the Internet-of-Things (IoT S&P) - Joint Workshop on Theory of Security and Applications (TOSCA)
- Journal of Approximation Theory
- Journal of Combinatorial Theory, Series A (JCTA)
- Journal of Combinatorial Theory, Series B (JCTB)
- Journal of Computing and Information Science in Engineering
- Journal of Economic Theory
- Journal of Experimental and Theoretical Artificial Intelligence (JETAI)
- Journal of Graph Theory
- Journal of Information Technology Theory and Application (JITTA)
- Journal of Integrated Design and Process Science
also: Transactions of the SDPS - Journal of Media Psychology - Theories, Methods, and Applications
- Journal of Optimization Theory and Applications
- Journal of Signal Processing Systems
also: The Journal of VLSI Signal Processing - Journal of Statistical Theory and Applications (JSTA)
- Journal of Theoretical and Applied Electronic Commerce Research (JTAER)
- Journal of the ACM
- Journal of the American Medical Informatics Association (JAMIA)
- Journal of the Association for Information Science and Technology (JASIST)
also: Journal of the American Society for Information Science and Technology (JASIST)
also: Journal of the American Society for Information Science (JASIS) - Journal of the Association for Information Systems (JAIS)
- Journal of the Brazilian Computer Society
- Journal of the Franklin Institute
- Journal of the International Computer Games Association
- Journal of the London Mathematical Society
- Journal of the Operational Research Society
- LITP Spring School on Theoretical Computer Science (LITP)
- LIX Colloquium on Emerging Trends in Concurrency Theory (LIX)
- Language Resources and Evaluation (LRE)
also: Computers and the Humanities - Language and Automata Theory and Applications (LATA)
- Latin American Symposium on Theoretical Informatics (LATIN)
- Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST)
also: Lecture Notes of the ICST - Logic Journal of the IGPL
also: Bulletin of the IGPL - Logic and the Foundations of Game and Decision Theory (LOFT)
- Logic of Theory Change
- Logic, Epistemology, and the Unity of Science
- Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS)
- Mathematical Morphology - Theory and Applications (MMTA)
- Meeting of the Information Processing Society of Japan (IPSJ)
- Monographs in Theoretical Computer Science. An EATCS Series
- Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA)
- National Conference on Theoretical Computer Science (NCTCS)
- New Review of Hypermedia and Multimedia (NRHM)
also: The New Review of Hypermedia and Multimedia - North American Chapter of the Association for Computational Linguistics (NAACL)
also: Human Language Technology: Conference of the North American Chapter of the Association of Computational Linguistics (HLT-NAACL) - Numerical Computations: Theory and Algorithms (NUMTA)
- OnTheMove Federated Conferences & Workshops (OTM)
also: On The Move Federated Conferences & Workshops (OTM) - Order - A Journal on the Theory of Ordered Sets and its Applications
- Pacific Asia Journal of the Association for Information Systems (PAJAIS)
- Personal Identification and Collaborations: Knowledge Mediation and Extraction (EFW)
also: Workshop on Finding Experts on the Web with Semantics (FEWS) - PhD School of the Association of Geographic Information Laboratories for Europe (AGILE PhD School)
- Proceedings of the ACM on Computer Graphics and Interactive Techniques
- Proceedings of the ACM on Human-Computer Interaction
- Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT)
- Proceedings of the ACM on Management of Data
- Proceedings of the ACM on Measurement and Analysis of Computing Systems (POMACS)
- Proceedings of the ACM on Networking (PACMNET)
- Proceedings of the ACM on Programming Languages
- Proceedings of the ACM on Software Engineering
- Proceedings of the Association for Information Science and Technology
- Proceedings of the IEEE
- Proceedings of the London Mathematical Society
- Proceedings of the National Academy of Sciences of the USA (PNAS)
- Proceedings of the VLDB Endowment
- Professional Practice in Artificial Intelligence (PPAI)
also: Artificial Intelligence in Theory and Practice (AI @ PPAI) - Quantum
also: Quantum - the open journal for quantum science - Queueing Systems - Theory and Applications (QUESTA)
- RAIRO - Theoretical Informatics and Applications
- RIVF International Conference on Computing and Communication Technologies (RIVF)
also: Conference on Research, Innovation and Vision for the Future in Computing & Communication Technologies - Radical Innovations of Software and Systems Engineering in the Future (RISSEF)
- Real-Time Business Intelligence and Analytics (BIRTE)
also: Business Intelligence for the Real-Time Enterprises - Replication: Theory and Practice
- Research Conference of the South African Institute of Computer Scientists and Information Technologists (SAICSIT)
- Research and Education in Urban History in the Age of Digital Libraries (UHDL)
- SIGdial Meetings (SIGDIAL)
also: Annual Meeting of the Special Interest Group on Discourse and Dialogue - Santa Fe Institute Studies in the Sciences of Complexity
- Scale Space and Variational Methods in Computer Vision (SSVM)
also: Scale-Space Theory in Computer Vision (Scale-Space) - Scandinavian Workshop on Algorithm Theory (SWAT)
- Sequences and Their Applications (SETA)
- Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future (SOHOMA)
- Shaping the Broadband Society (SBS)
- Simulation Modelling Practice and Theory
also: Simulation Practice and Theory - Software Engineering Theory and Practice (SETP)
- Spring Simulation Multiconference (SpringSim)
also: Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS @ SpringSim) - Studies on the Semantic Web
- Summer School on Accountability and Security in the Cloud (A4Cloud)
- Symposium and Bootcamp on the Science of Security (HotSoS)
- Symposium of the Norwegian AI Society (NAIS)
- Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society (USAB)
- Symposium on Computation Theory (SCT)
- Symposium on Identity and Trust on the Internet (IDtrust)
- Symposium on Problems in the Optimization of Data Communications Systems
- Symposium on Problems in the Optimizations of Data Communications Systems
- Symposium on Theoretical Aspects of Computer Science (STACS)
- Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus)
- Symposium on the Theory of Computing (STOC)
- Synthesis Lectures on Data, Semantics, and Knowledge
also: Synthesis Lectures on the Semantic Web - Synthesis Lectures on Distributed Computing Theory
- Synthesis Lectures on Energy and the Environment: Technology, Science, and Society
- Synthesis Lectures on Theoretical Computer Science
- TAPOS - Theory and Practice of Object Systems
- Texts in Theoretical Computer Science. An EATCS Series
- The Adaptive Web
- The American Mathematical Monthly
- The Analysis of Concurrent Systems
- The Art of Discrete and Applied Mathematics (ADAM)
- The Art, Science, and Engineering of Programming
- The Bulletin of Symbolic Logic
- The CHOROCHRONOS Approach (CHOROCHRONOS)
- The Computer Games Journal
- The Computer Journal
- The Computer Science Journal of Moldova
- The Cryptographer's Track at RSA Conference (CT-RSA)
- The Electronic Journal of Combinatorics
- The Electronic Library
- The Engineering Reality of Virtual Reality (ERVR)
- The European Network on Word Structure (NetWordS)
- The European Symposium on Artificial Neural Networks (ESANN)
- The IBM Research Symposia Series
- The Information Retrieval Series
also: The Kluwer International Series on Information Retrieval - The Information Society
- The International Journal of Computers, Systems and Signals
- The Internet and Higher Education
- The Journal of Artificial Societies and Social Simulation
- The Journal of Community Informatics
- The Journal of Information Processing Systems
- The Journal of Strategic Information Systems
- The Journal of Supercomputing
- The Journal of Symbolic Logic
- The Journal of Universal Computer Science
- The Journal of Web Science
- The Knowledge Engineering Review (KER)
- The New Technologies for Aquileia
- The Practice of Enterprise Modeling (PoEM)
- The Prague Bulletin of Mathematical Linguistics
- The R Journal
- The Review of Socionetwork Strategies
- The Review of Symbolic Logic
- The Springer International Series in Engineering and Computer Science
also: The Kluwer International Series in Engineering and Computer Science - The Swedish Chapter of Eurographics (SIGRAD)
- The VLDB Journal
- The Visual Computer
- The Web Conference (WWW)
- Theorem Provers in Circuit Design (TPCD)
- TheoretiCS
- Theoretical Aspects of Computer Software (TACS)
- Theoretical Aspects of Rationality and Knowledge (TARK)
also: Theoretical Aspects of Reasoning about Knowledge - Theoretical Aspects of Software Engineering (TASE)
- Theoretical Computer Science
- Theoretical Foundations of Computer Vision (TFCV)
- Theoretical Issues In Natural Language Processing (TINLAP)
- Theoretical and Mathematical Foundations of Computer Science (TMFCS)
- Theory and Applications of Models of Computation (TAMC)
- Theory and Applications of Natural Language Processing
- Theory and Practice of Algorithms in (Computer) Systems (TAPAS)
- Theory and Practice of Logic Programming (TPLP)
- Theory and Practice of Parallel Programming (TPPP)
- Theory and Practice of Software Development (TAPSOFT)
- Theory in Biosciences
- Theory of Computing
- Theory of Computing Systems
also: Mathematical Systems Theory - Theory of Concurrency, Higher Order Languages and Types (TOSCA)
- Theory of Cryptography Conference (TCC)
- Theory of Quantum Computation, Communication, and Cryptography (TQC)
- Timing Issues In The Specification And Synthesis Of Digital Systems
- Traffic Management and Traffic Engineering for the Future Internet (FITraMEn)
- Transactions of the Association for Computational Linguistics
- Transactions of the Digital Games Research Association (ToDiGRA)
- Transactions of the Institute of Measurement and Control
- Transactions of the International Society for Music Information Retrieval (TISMIR)
- US-Brazil Joint Workshops on the Formal Foundations of Software Systems
- USENIX Conference on the BSD operating system (BSDCon)
- USENIX Security Symposium
also: USENIX Workshop on Free and Open Communications on the Internet (FOCI) - USENIX Special Workshop on Intelligence at the Network Edge
- USENIX Symposium on Operating Systems Design and Implementation (OSDI)
also: USENIX Workshop on the Analysis of System Logs (WASL @ OSDI) - Unifying Theories of Programming (UTP)
- Universal Access in the Information Society
- Verified Software: Theories, Tools, Experiments (VSTTE)
- Very Large Data Bases Conference (VLDB)
also: Data Integration over the Web (DTWeb @ VLDB)
also: International Workshop on Semantic Search over the Web (SSW @ VLDB) - Web Services, E-Business, and the Semantic Web (WES)
- Wireless in Developing Countries and Networks of the Future (WCITD)
- Workshop of the COMETA Project on Computational Metamodels (COMETA)
- Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG)
- Workshop on Algorithms and Models for the Web-Graph (WAW)
- Workshop on Applied and Computational Category Theory (ACCAT)
- Workshop on Automated Theory Engineering (ATE)
- Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming (BEWARE)
- Workshop on Bridging the Gap between Human and Automated Reasoning (BtG)
- Workshop on Cognitive Aspects of the Lexicon (CogALex)
- Workshop on Computational Methods in the Humanities (COMHUM)
- Workshop on Continuous Vector Space Models and their Compositionality (CVSC)
- Workshop on Data Communication in Latin America and the Caribbean (SIGCOMM-LA)
- Workshop on Data Science with Human-in-the-Loop (DaSH)
also: Workshop on Data Science with Human-in-the-Loop: Language Advances (DaSH-LA) - Workshop on Data analytics in the Cloud (DanaC)
- Workshop on Database Technologies for Handling XML Information on the Web (DataX)
- Workshop on Distributed Communities on the Web (DCW)
- Workshop on Domain Theoretic Methods for Probabilistic Processes (DTMPP)
- Workshop on Emerging Technology Trends on the Smart Industry and the Internet of Things (TTSIIT)
- Workshop on Enhanced Network Techniques and Technologies for the Industrial IoT to Cloud Continuum (IIoT-NETs)
- Workshop on Experiences with the Design and Implementation of Smart Objects (SmartObjects)
- Workshop on Exploring the Design and Engineering of Mixed Reality Systems (MIXER)
- Workshop on Flexible Resource and Application Management on the Edge (FRAME)
- Workshop on Fog Computing and the Internet of Things (Fog-IoT)
- Workshop on Frontiers and Connections between Argumentation Theory and Natural Language Processing (ArgNLP)
- Workshop on Human-In-the-Loop Data Analytics (HILDA)
- Workshop on Information Credibility on the Web (WICOW)
- Workshop on Information Integration on the Web (WIIW)
- Workshop on Innovating the Network for Data-Intensive Science (INDIS)
- Workshop on Issues in the Theory of Security (WITS)
- Workshop on Linked Data on the Web (LDOW)
- Workshop on Managing the Evolution and Preservation of the Data Web (MEPDaW)
- Workshop on Massive Data Analytics on the Cloud (MDAC)
- Workshop on Measurements Up the Stack (W-MUST)
- Workshop on Middleware for the Edge (MIDDLEWEDGE)
- Workshop on Models of Trust for the Web (MTW)
- Workshop on Multimedia on the Web (MMWeb)
- Workshop on Ontologies and their Applications (WONTO)
- Workshop on Privacy in the Electronic Society (WPES)
- Workshop on Research on offensive and defensive techniques in the context of Man At The End (MATE) attacks (Checkmate)
- Workshop on Software Engineering Education for the Next Generation (SEENG)
- Workshop on Steps to Reducing Unwanted Traffic on the Internet (SRUTI)
- Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS)
- Workshop on Theory of Implementation Security (TIS)
- Workshop on User Interfaces for Theorem Provers (UITP)
- Workshop on the Algorithmic Foundations of Robotics (WAFR)
- Workshop on the Constructive Logic for Automated Software Engineering (CLASE)
- Workshop on the Economics of Information Security (WEIS)
- Workshop on the Gap between Visualization Research and Visualization Software (VisGap)
- Workshop on the Interactions between Analogical Reasoning and Machine Learning (IARML)
- Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC)
- Workshop on the Management of Replicated Data
- Workshop on the Normative Design and Evaluation of Recommender Systems (NORMalize)
- Workshop on the People's Web Meets NLP
- Workshop on the Principles and Practice of Eventual Consistency (PaPEC)
- Workshop on the Theory and Practice of Provenance (TaPP)
- Workshop-School on Theoretical Computer Science (WEIT)
- World Conference on the Fundamentals of Artificial Intelligence (WOCFAI)
- World Conference on the WWW and Internet (WebNet)
- World Scientific Series on the Built Environment
- World Summit on the Knowledge Society (WSKS)
- XP Workshops on Relational Database Theory (XP)
- XRDS
also: Crossroads, The ACM Magazine for Students
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-12 19:00 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint