Conferences  >  Informatics  >  Information Theory, Foundations of Computer Science

Select a location
ALL COUNTRIES (7)
1
Dagstuhl-Seminar — The Constraint Satisfaction Problem: Complexity and Approximability
18 May 2025 - 23 May 2025 • Schloss Dagstuhl – Wadern, Germany
Organizer:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Abstract:
The main aim of this Dagstuhl Seminar is to bring together leading researchers from all areas of activity in the theory of computation who use the constraint satisfaction paradigm, so that they can communicate state-of-the-art advances, share deep insights, and embark on a systematic interaction that will further develop the synergy between the different areas, generate new research avenues, and lead to fruitful attacks on the open problems in this area.
Event listing ID:
1626846
2
5th Pythagorean conference
01 Jun 2025 - 06 Jun 2025 • Kalamata, Greece
Topics:
Finite Geometry, Crptology, Algegraic Combinatorics, Coding Theory, Combinatorial Designs
Event listing ID:
1649228
3
Optica Quantum 2.0 Conference and Exhibition
02 Jun 2025 - 05 Jun 2025 • San Francisco, California, United States
Organizer:
Optica
Abstract:
On the edge of a technology revolution, Quantum 2.0 refers to the development and use of quantum superposition and entanglement in large engineered systems. Examples of such large quantum systems include quantum computers and simulators, quantum communication networks and arrays of quantum sensors. New technologies will go far beyond the (quantum 1.0) capabilities offered by single systems.
Event listing ID:
1628609
4
ICWS — IEEE International Conference on Web Services (ICWS)
07 Jul 2025 - 12 Jul 2025 • Helsinki, Finland
Organizer:
IEEE
Abstract:
The International Conference on Web Services (ICWS) has been a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art and practice of Web-based services, to identify emerging research topics, and to define the future of Web-based services. Areas include services modeling, development, publishing, discovery, recommendation, composition, testing, adaptation, and delivery, and Web services applications and standards.
Topics:
Service Oriented Systems ● Service-Oriented Architecture (SOA) ● Service specification and modeling ● Service evolution ● Service Oriented Software Engineering methodologies ● Formal methods in services ● Micro-service and service mesh ● Software engineering for adaptive service-oriented systems ● Secure service lifecycle development ● Service ecosystems Services Discovery, Composition and Recommendation ● Service publishing and searching ● Automatic service composition ● Scientific workflows ● Business process integration and management ● Service coordination and cooperation ● Service-based data integration ● Data-driven service composition ● Knowledge-driven service composition ● Service orchestration and choreography for the future Internet ● Service recommendation Services QoS Management ● Quality-of-Service (QoS) modeling and management ● Service QoS evaluation and prediction ● Autonomic services ● Web services testing ● Performance aspects of cloud and service virtualization ● Service level agreements Services Security, Privacy and Trust ● Service security ● Privacy and trust ● Dependable and secure services ● Service auditing ● Service policy control ● Service regulation and governance Service Applications beyond the Web ● Web Services for the Internet of Things (IoT) ● Services in Cyber-Physical Systems (CPS) ● Social networks and services ● Cloud services ● Edge services ● Mobile web services ● Satellite service computing ● Communication services ● XaaS (everything as a service) ● Service-based processing and querying ● Service-based recommendation and prediction ● Crowdsourcing Services, Conversational Services ● Metaverse/VR/AR services ● Services for Artificial Intelligence ● (Smart) Cybersecurity services ● Other applications AI in Web Services ● Generative AI in Services ● Generative AI as a Service (GaaS) ● Generative AI for API Creation, Integration, testing, and Personalization ● Security and Privacy in Generative AI-Driven Systems ● LLM and Multimodal Models enhanced service discovery, selection, composition ● LLM-driven service recommendation: algorithms, models, and performance ● AI for service customization and personalization ● Machine/Deep learning powered service discovery ● Process mining, anomaly detection, and data processing methods for service composition ● Security and privacy in AI-enhanced service architectures ● Service Reasoning with Generative AI Approaches ● Reinforcement Learning and Transformer Models for Web Services ● Innovative Applications of Generative AI in Web Services ● Explainable AI in Web Services ● Human-in-the-Loop AI Systems Datasets & Benchmarking for Service Computing Community ● Development and sharing of standard datasets ● Establishment of reliable and meaningful benchmarks ● Techniques for dataset creation, pre-processing, curation, and management in service computing ● Novel methodologies for performance evaluation using established benchmarks Web 3.0 and Decentralized Services ● Web 3.0 services leveraging blockchain, smart contracts, and decentralized architectures ● Tustless service environments and decentralized applications (dApps) ● Interoperability and integration challenges in Web 3.0 services ● Service governance, policy enforcement, and legal implications in decentralized ecosystems ● Novel service offerings and revenue models for the Web 3.0 landscape Emerging Technologies for Advanced Service-Oriented Computing: Opportunities, Challenges, and Applications ● AI enabled services ● Quantum Service Computing ● Digital Twins ● 3D Printing/Additive Manufacturing Techniques ● Blockchain ● Robotic Process Automation (RPA) ● Chatbots and Virtual Assistants ● Low-Code / No-Code Solutions ● Virtual Reality (VR) and Augmented Reality (AR) ● Green IT ● 5G Technology ● Metaverse Services ● Industry 4.0
Event listing ID:
1650621
5
CCC 2025 — Computational Complexity Conference 2025
05 Aug 2025 - 08 Aug 2025 • Toronto, Ontario, Canada
Organizer:
The Fields Institute for Research in Mathematical Sciences
Abstract:
The Copmutational Complexity Conference (CCC) aims to foster research in all areas of computational complexity theory, studying the absolute and relative power of computational models under resource constraints. Typical models include deterministic, nondeterministic, randomized, and quantum models; uniform and nonuniform models; Boolean, algebraic, and continuous models. Typical resource constraints involve time, space, randomness, program size, input queries, communication, and entanglement; worst-case as well as average case. Other, more specific, topics include: probabilistic and interactive proof systems, inapproximability, proof complexity, descriptive complexity, and complexity-theoretic aspects of cryptography and machine learning. The conference also encourages results from other areas of computer science and mathematics motivated by computational complexity theory.
Event listing ID:
1586326
6
New Mathematical Directions in Coding Theory
07 Sep 2025 - 12 Sep 2025 • Oberwolfach, Germany
Topics:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1605468
Related subject(s):
7
Combinatorics, Probability and Computing
14 Sep 2025 - 19 Sep 2025 • Oberwolfach, Germany
Topics:
Mathematisches Forschungsinstitut Oberwolfach (MFO, Oberwolfach Research Institute for Mathematics)
Event listing ID:
1605434


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 10 January 2025