CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers (confirmed): Micaela Mayero (University Sorbonne Paris Nord) and Jean-Michel Muller (ENS Lyon). With other names to be announced.

CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers (confirmed): Micaela Mayero (University Sorbonne Paris Nord) and Jean-Michel Muller (ENS Lyon). With other names to be announced.

CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers (confirmed): Micaela Mayero (University Sorbonne Paris Nord) and Jean-Michel Muller (ENS Lyon). With other names to be announced.

CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers (confirmed): Micaela Mayero (University Sorbonne Paris Nord) and Jean-Michel Muller (ENS Lyon). With other names to be announced.

Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical eng ineering techniques.

Keynote Speakers (confirmed):
Işıl Dillig, University of Texas at Austin
Alexander Serebrenik, Eindhoven University of Technology
Marielle Stoelinga, University of Twente and Radboud University, Nijmegen

The Colloquium Logicum is organized every two years by the "Deutsche Verein igung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wis senschaften" (DVMLG). The next edition will be held from 7 to 9 October 202 4 in Vienna, Austria. The conference will cover the whole range of mathemat ical logic and the foundations of the exact sciences.

Keynote Speakers: Carolin Antos (Konstanz, Germany), Libor Barto (Prague, Czech Republic), Moritz Müller (Passau, Germany), Aristotelis Panagiotopoulos (Wien, Austria), Francesca Poggiolesi (Paris, France), Nadja Valentin (Düsseldorf, Germany) and Hugh Woodin (Cambridge MA, U.S.A.; Young Academy Distinguished Lecture). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates, the award of the first ever Ernst Zermelo-Ring, and a session celebrating 150 years of set theory.

The Colloquium Logicum is organized every two years by the "Deutsche Verein igung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wis senschaften" (DVMLG). The next edition will be held from 7 to 9 October 202 4 in Vienna, Austria. The conference will cover the whole range of mathemat ical logic and the foundations of the exact sciences.

Keynote Speakers: Carolin Antos (Konstanz, Germany), Libor Barto (Prague, Czech Republic), Moritz Müller (Passau, Germany), Aristotelis Panagiotopoulos (Wien, Austria), Francesca Poggiolesi (Paris, France), Nadja Valentin (Düsseldorf, Germany) and Hugh Woodin (Cambridge MA, U.S.A.; Young Academy Distinguished Lecture). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates, the award of the first ever Ernst Zermelo-Ring, and a session celebrating 150 years of set theory.

The Colloquium Logicum is organized every two years by the "Deutsche Verein igung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wis senschaften" (DVMLG). The next edition will be held from 7 to 9 October 202 4 in Vienna, Austria. The conference will cover the whole range of mathemat ical logic and the foundations of the exact sciences.

Keynote Speakers: Carolin Antos (Konstanz, Germany), Libor Barto (Prague, Czech Republic), Moritz Müller (Passau, Germany), Aristotelis Panagiotopoulos (Wien, Austria), Francesca Poggiolesi (Paris, France), Nadja Valentin (Düsseldorf, Germany) and Hugh Woodin (Cambridge MA, U.S.A.; Young Academy Distinguished Lecture). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates, the award of the first ever Ernst Zermelo-Ring, and a session celebrating 150 years of set theory.

The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of fields, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

This year’s special conference theme is "Shifting Cultures of Knowledge in the History of the Humanities". In 2024, we encourage papers that address the history of the humanities in relation to broader, multidisciplinary studies on knowledge and scholarship. 

ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2025 is the twenty-eighth event in the series.

Main conferences:
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FoSSaCS: Foundations of Software Science and Computation Structures
* TACAS: Tools and Algorithms for the Construction and Analysis of Systems

The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of fields, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

This year’s special conference theme is "Shifting Cultures of Knowledge in the History of the Humanities". In 2024, we encourage papers that address the history of the humanities in relation to broader, multidisciplinary studies on knowledge and scholarship. 

The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of fields, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

This year’s special conference theme is "Shifting Cultures of Knowledge in the History of the Humanities". In 2024, we encourage papers that address the history of the humanities in relation to broader, multidisciplinary studies on knowledge and scholarship. 

On Wednesday 16 October there will be a workshop on the occasion of Marco Degano's PhD Defense. Speakers include Marco Degano, Jacopo Romoli, Raquel Veiga Busto, Sigrid Beck, Tomasz Klochowicz, Sonia Ramotowska, Milica Denić, Aleksi Anttila, Søren Knudstorp, Fan Yang and Donka Farkas.

The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

In the last decade, the growth of the Internet and other web technologies have driven fast developments of various networking technologies that are be coming primary parts of our daily lives. The wealth of existing algorithms and architectures for parallel and distributed computing combined with the proliferation of future wireless technologies and electronic devices resulted in a fast-growing adoption of future networks and highly decentralized systems. Future networks and distributed systems research is an interdisciplinary research field involving academic researchers in computer science, communication engineering, physics and social and behavioral studies, as well as information technology industry consultants and practitioners to support multiservice, multimedia services convergence, service ubiquity and context awareness, mobility, fixed-mobile convergence, variable connectivity, quality of service, spontaneous and autonomic networking and other capabiliti es.

The 2024 International Conference on Future Networks and Distributed Systems (ICFNDS 2024) aims at addressing advances in research on distributed systems and future networks, covering topics ranging from enabling technologies to emerging applications and industrial experiences. ICFNDS aims to encourage both researchers and practitioners to exchange and share their experiences and recent studies in an interactive atmosphere.

The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.

The 27th European Conference on Artificial Intelligence (ECAI-2024) will be held in the beautiful city of Santiago de Compostela during 19-24 October 2024. Join us to mark the 50th birthday since the first AI conference was held in Europe back in 1974.