WARNING
Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
---|---|---|---|---|---|
PoS Pragmatics of SAT |
Pune, India | 13/18 May 2024 27 May 2024 5 June 2024 |
20 August 2024 | 23 June 2023 | CEURART, 1 column,
15 pages long, 8 pages short, both excluding references, 8 pages competition solver description; 3rd deadline for SAT fast track, last deadline for competition solver descriptions; satellite event of SAT |
LOPSTR Logic-Based Program Synthesis and Transformation | Milan, Italy | 15/19 May 2024 | 9-11 September 2024 | 26 June 2024 | LNCS, 15 pages regular, 8 pages short, both excluding references; co-located with FM and PPDP |
PPDP Principles and Practice of Declarative Programming |
Milan, Italy | 15/22 May 2024 | 9-11 September 2024 | 3 July 2024 | ACM, 2 column,
12 pages excluding references regular, 10 pages system descriptions, 5 pages including references experience reports; co-located with FM and LOPSTR |
WABI Workshop on Algorithms in Bioinformatics | Egham, United Kingdom | 19 May 2024 | 2-4 September 2024 | 23 June 2024 | LIPIcs, 15 pages excluding front matter and references; part of ALGO |
SAS Static Analysis Symposium | Pasadena, California, USA | 19 May 2024 | 20-25 October 2024 | 16 July 2024 | double-blind, no page limit |
DSAA Data Science and Advanced Analytics | San Diego, California, USA | 20 May 2024 | 6-10 October 2024 | 24 July 2024 | IEEE, 2 columns, 10 pages |
SAGT Symposium on Algorithmic Game Theory | Amsterdam, The Netherlands | 21 May 2024 | 3-6 September 2024 | 5 July 2024 | LNCS, 18 pages excluding references |
LOD Machine Learning, Optimization, Data Science | Castiglione della Pescaia, Italy | 23 May 2024 | 22-25 September 2024 | 23 June 2024 | LNCS, 15 pages long, 11 pages short |
FACS Formal Aspects of Component Software | Milan, Italy | 23/30 May 2024 | 9-10 September 2024 | 3 July 2024 | LNCS, 16 pages full, 6 pages short, 16 pages special tract, all excluding references; co-located with FM |
APLAS Asian Symposium on Programming Languages and Systems | Kyoto, Japan | 24 May 2024 | 22-25 October 2024 | 2 August 2024 | LNCS, 17 pages excluding references |
ADT Algorithmic Decision Theory | Piscataway, New Jersey, USA | 24/31 May 2024 | 14-16 October 2024 | 19 July 2024 | LNCS, 15 pages |
RP Reachability Problems | Vienna, Austria | 27/30 May 2024 | 25-27 September 2024 | 11 July 2024 | LNCS, 12 pages |
GD Graph Drawing |
Vienna, Austria | 31 May / 7 June 2024 | 18-20 September 2024 | 20 July 2024 | LIPIcs
with own LaTeX class, double-blind,
500 lines regular, 225 lines short, both excluding front matter and references |
LSFA Logical and Semantic Frameworks with Applications | Goiânia, Brazil | 31 May / 7 June 2024 | 18-20 September 2024 | 7 August 2024 | EPTCS, 16 pages full, 6 pages short |
IOTSMS Internet of Things: Systems, Management and Security | Malmö, Sweden | 1 June 2024 | 2-5 September 2024 | 15 July 2024 | IEEE, 2 column, 8 pages full regular, 6 pages short, 3 pages posters and demos |
AAIM Algorithmic Aspects in Information and Management | Dallas, Texas. USA | 1 June 2024 | 21-23 September 2024 | 1 July 2024 | LNCS, 12 pages |
RuleML+RR International Joint Conference on Rules and Reasoning | Bucharest, Romania | 1/7 June 2024 | 16-18 September 2024 | 19 July 2024 | LNCS, 15 pages long, 8 pages short |
JAF Journées sur les Arithmétiques Faibles | Passau, Germany | 2 June 2024 | 9-11 September 2024 | 2 July 2024 | 3 pages |
iFM Integrated Formal Methods | Manchester, UK | 3/10 June 2024 | 13-15 November 2024 | 5 August 2024 | LNCS, 16 pages regular, 6 pages short |
ALGOWIN Algorithmic of Wireless Networks | Egham, United Kingdom | 7 June 2024 | 5-6 September 2024 | 1 August 2024 | LNCS,12 pages excluding referenes; part of ALGO |
SEFM Software Engineering and Formal Methods | Aveiro, Portugal | 7/14 June 2024 | 4-8 November 2024 | 15 August 2024 | LNCS, 16 pages excludinge references regular, 8 pages tool |
ICTCS Italian Conference on Theoretical Computer Science | Torino, Italy | 9 June 2024 | 11-13 September 2024 | 14 July 2024 | LNCS, 12 pages regular, 5 pages communications, both excluding references |
TAP Tests and Proofs | Milan, Italy | 12/14 June 2024 | 9–10 September 2024 | 5 July 2024 | LNCS, 16 pages regular + tools + case studies, 6 pages short, all excluding references; co-located with FM |
ICTAC International Colloquium on Theoretical Aspects of Computing | Bangkok, Thailand | 14/21 June 2024 | 25-29 November 2024 | 1 September 2024 | LNCS, 16 pages excluding references full, 8 pages short and tool |
MLCS Machine Learning for Cybersecurity | Vilnius, Lithuania | 15 June 2024 | 9-13 September 2024 | 15 July 2024 | LNCS, 16 pages regular, 6 pages short |
WISE Web Information Systems Engineering | Doha, Qatar | 20/30 June 2024 | 2-5 December 2024 | 30 August 2024 | LNCS, double-blind, 15 pages |
TIME Temporal Representation and Reasoning | Montpellier, France | 21 June 2024 | 28-30 October 2024 | 2 August 2024 | LIPIcs, 12 pages excluding references + 5 pages appendix |
LPNMR Logic Programming and Non-Monotonic Reasoning | Dallas, Texas, USA | 21/28 June 2024 | 11-14 October 2024 | 28 July 2024 | LNCS, 13 pages long, 6 pages short |
IPEC International Symposium on Parameterized and Exact Computation | Egham, United Kingdom | 26/30 June 2024 | 4-6 September 2024 | 5 August 2024 | LIPIcs, no page limit, but only first 12 pages read; part of ALGO |
ISAAC International Symposium on Algorithms and Computation | Sydney, Australia | 28 June 2024 | 8-12 December 2024 | 2 September 2024 | LIPIcs, double-blind, 12 pages excluding references |
FedCSIS Federated Conference on Computer Science and Information Systems | Belgrade, Serbia | 28 May 2024 | 8-11 September 2024 | 18 June 2024 | own format, 12 pages full, 6 pages short, 8 pages communication |
ATMOS Algorithmic Approaches for Transportation Modelling, Optimization, and Systems | Egham, United Kingdom | 30 June 2024 | 5-6 September 2024 | 31 July 2024 | OASIcs, 12 pages excluding references regular, 6 pages short; part of ALGO |
ALGOCLOUD Algorithms for Cloud-Based Systems | Egham, United Kingdom | 1 July 2024 | 2-3 September 2024 | 31 July 2024 | LNCS, 12 pages excluding references regular, 8 pages short, 10 pages survey; part of ALGO |
ICTAI International Conference on Tools with Artificial Intelligence | Herndon, Virginia, USA | 1 July 2024 | 28-30 October 2024 | 18 August 2024 | IEEE Transactions, double-blind, 8 pages |
WAOA Workshop on Approximation and Online Algorithms | Egham, United Kingdom | 3 July 2024 | 5-6 September 2024 | 31 July 2024 | LNCS, double-blind, 10 pages excluding references; part of ALGO |
FSTTCS Foundations of Software Technology and Theoretical Computer Science | Gandhinagar, Gujarat, India | 5 July 2024 | 16-18 December 2024 | 16 September 2024 | LIPIcs, 15 pages excluding references |
SODA Symposium on Discrete Algorithms |
New Orleans, Lousiana, USA | 5 July 2024 | 12-15 January 2025 | 6 September 2024 early October 2024 |
double-blind, no page limit, but only first 10 pages read |
CSCML Cyber Security, Cryptology and Machine Learning | 6 or 7 July 2024 | 19-20 December 2024 | 13 August 2024 | LNCS, 12-15+ pages regular, 6-11 pages short | |
NMR Non-Monotonic Reasoning | Hanoi, Vietnam | 7/12 July 2024 | 2-4 November 2024 | 1 September 2024 | CEUR, 10 pages including references full, 3 pages excluding referencesextended abstracts; co-located with KR |
ICLP International Conference on Logic Programming | Dallas, Texas, USA | 8 July 2024 | 11-17 October 2024 | 22 July 2024 | EPTCS, 7 pages short, 3 pages recently published, 3 pages system demonstrations, 3 pages birds of a feather |
POPL Principles of Programming Languages | Denver, Colorado, USA | 11 July 2024 | 19-25 January 2025 | ACMart, double-blind, 25 pages excluding references | |
VSTTE Verified Software: Theories, Tools, and Experiments | Prague, Czech Republic | 18 July 2024 | 14-15 October 2024 | 29 August 2024 | LNCS, 16 pages long, 10 pages short, both excluding references; co-located with FMCAD |
CSL Computer Science Logic | Amsterdam, The Netherlands | 18/23 July 2024 | 10-14 February 2025 | 27 October 2024 | LIPIcs, double-blind, 15 pages excluding references |
ICDCN International Conference on Distributed Computing and Networking | Hyderabad, India | 25 July 2024 | 4-7 January 2025 | 27 September 2024 | ACMart, 10 pages regular, 5 pages short |
TERMGRAPH Computing with Terms and Graphs | post-proceedings | 1 August 2024 | 7 April 2024 | 15 September 2024 | EPTCS, 16 pages post-proceedings |
KDD Knowledge Discovery and Data Mining | ??? | 1/8 August 2024 | |||
WADT Workshop on Algebraic Development Techniques | post-proceedings | 16 September 2024 | 25 November 2024 | dates for post-proceedings | |
WALCOM International Conference and Workshops on Algorithms and Computation | Chengdu, China | 22 September 2024 | 28 February - 2 March 2025 | 8 November 2024 | LNCS, 14 pages |
Conference | City, Country | Deadline | Date | Notification | Submission format and comments |
Conference | City, Country | Date | Remark |
---|---|---|---|
FLOPS Functional and Logic Programming | Kumamoto, Japan | 15-17 May 2024 | |
Conference | City, Country | Date | Remark |
Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
---|---|---|---|---|---|---|
ISCO International Symposium on Combinatorial Optimization | Tenerife, Canary Islands, Spain | 22-24 May 2024 | 15 March 2024 | 15 April 2024 | 31 March 2024 | school 20-21 May 2024 |
EUROCRYPT Theory and Applications of Cryptographic Techniques |
Zurich, Switzerland | 26-30 May 2024 | 8 December 2023 31 January 2024 |
26 April 2024 | ||
LPAR Logic for Programming, Artificial Intelligence and Reasoning | Mauritius | 26-31 May 2024 | 1 April 2024 | 5 April 2024 | 16 May 2024 | |
SIROCCO Structural Information and Communication Complexity | Vietri sul Mare, Salerno, Italy | 27-29 May 2024 | 28 January 2024 | 31 March 2024 | ||
CPAIOR Integration of Constraint Programming, Artificial Intelligence, and Operations Research | Uppsala, Sweden | 28-31 May 2024 | 1 February 2024 | 15 April 2024 | ||
ICAPS International Conference on Automated Planning and Scheduling | Banf, Alberta, Canada | 1-5 June 2024 | 12 February 2024 | 31 March 2024 | ||
HALG Highlights of Algorithms | Warsaw, Poland | 3-5 June 2024 | 25 May 2024 | 1 May 2024 | ||
NFM NASA Formal Methods | Moffett Field, California, USA | 4-6 June 2024 | 16 February 2024 | 15 March 2024 | ||
FUN Fun With Algorithms | La Maddalena Island, Sardinia, Italy | 4-8 June 2024 | 2 April 2024 | 15 April 2024 | 3 May 2024 | |
SAND Algorithmic Foundations of Dynamic Networks | Patras, Greece | 5-7 June 2024 | 20 March 2024 | 2 April 2024 | 3 May 2024 | |
SoCS Symposium on Combinatorial Search | Kananaskis, Alberta, Canada | 6-8 June 2024 | 26 March 2024 | 10 April 2024 | 5 April 2024 | |
PODS Principles of Database Systems | Santiago, Chile | 9-15 June 2024 | 4 March 2024 | 30 April 2024 | co-located with SIGMOD | |
SIGMOD International Conference on Management of Data | Santiago, Chile | 9-15 June 2024 | 23 February 2024 | 30 April 2024 | co-located with PODS | |
SCAI Scandinavian Conference on AI | Jönköping, Sweden | 10-11 June 2024 | 28 April 2024 | 12 May 2024 | ||
WoLLIC Workshop on Logic, Language, Information and Computation | Bern, Switzerland | 10-13 June 2024 | 15 April 2024 | 29 April 2024 | 10 May 2024 | |
SoCG Symposium on Computational Geometry | Athens, Greece | 11-14 June 2024 | 5 February 2024 | 20 March 2024 | 8 May 2024 | |
SWAT Scandinavian Symposium and Workshops on Algorithm Theory | Helsinki, Finland | 12-14 June 2024 | 2 April 2024 | 18 May 2024 | ||
SLSS Scandinavian Logic Symposium | Reykjavík, Iceland | 14-16 June 2024 | 30 April 2024 | 24 May 2024 | ||
SPAA Symposium on Parallelism in Algorithms and Architectures | Nantes, France | 17-21 June 2024 | 7 April 2024 | 28 April 2024 | ||
PODC Principles of Distributed Computing | Nantes, France | 17-21 June 2024 | 22 April 2024 | 26 May 2024 | ||
DisCoTec Distributed Computing Techniques | Groningen, The Netherlands | 17-21 June 2024 | 5 April 2024 | 24 April 2024 | 22 May 2024 | federated conference including COORDINATION, DAIS, and FORTE |
COORDINATION Coordination Models and Languages | Groningen, The Netherlands | 17-21 June 2024 | 5 April 2024 | 24 April 2024 | 22 May 2024 | part of DisCoTec |
DAIS Distributed Applications and Interoperable Systems | Groningen, The Netherlands | 17-21 June 2024 | 5 April 2024 | 24 April 2024 | 22 May 2024 | part of DisCoTec |
FORTE Formal Techniques for Distributed Objects, Components, and Systems | Groningen, The Netherlands | 17-21 June 2024 | 5 April 2024 | 24 April 2024 | 22 May 2024 | part of DisCoTec |
AofA Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms | Bath, United Kingdom | 17-21 June 2024 | 28 April 2024 | 19 May 2024 | 3 May 2024 | |
DL Description Logics | Bergen, Norway | 18-21 June 2024 | 8 May 2024 | 3 June 2024 | 21 May 2024 | |
GandALF Games, Automata, Logics, and Formal Verification | Reykjavik, Iceland | 10-21 June 2024 | 24 May 2024 | whale watching on 20 June 2024 | ||
WG Graph-Theoretic Concepts in Computer Science | Gozd Martuljek, Slovenia | 19-21 June 2024 | 19 April 2024 | 12 July 2024 | 30 April 2024 | |
STOC Symposium on Theory of Computing | Vancouver, Canada | 24-28 June 2024 | 11 February 2024 | 31 March 2024 | 6 May 2024 | |
CPM Combinatorial Pattern Matching | Fukuoka, Japan | 25-27 June 2024 | 10 April 2024 | 20 May 2024 | ||
DEBS Distributed and Event-Based Systems |
Lyon, France | 25-28 June 2024 | 12 April 2024 13 May 2024 |
24 May 2024 | 13 June 2024 | |
LOFT Logic and the Foundations of Game and Decision Theory | Bayreuth, Germany | 26-28 June 2024 | beginning April | |||
CILC Italian Conference on Computational Logic | Rome, Italy | 26-28 June 2024 | 22 May 2024 | 15 June 2024 | ||
COLT Conference on Learning Theory | Edmonton, Canada | 30 June – 3 July 2024 | 10 May 2024 | |||
QUANTIFY Workshop on Quantification | Nancy, France | 1 July 2024 | 30 May 2024 | 4 June 2024 | co-located with IJCAR | |
IWOCA International Workshop on Combinatorial Algorithms | Ischia, Italy | 1-4 July 2024 | 15 April 2024 | 26 April 2024 | 3 May 2024 | |
TACL Topology, Algebra, and Categories in Logic | Barcelona, Spain | 1-5 July 2024 | 20 April 2024 | 8 June 2024 | preceding summer school 25-28 June 2024 | |
IJCAR International Joint Conference on Automated Reasoning | Nancy, France | 1-6 July 2024 | 28 March 2024 | 28 April 2024 | 4 June 2024 | |
ThEdu Theorem proving components for Educational software | Nancy, France | 2 July 2024 | 8 May 2024 | 4 June 2024 | co-located with IJCAR | |
SC2 Satisfiability Checking and Symbolic Computation | Nancy, France | 2 July 2024 | 17 May 2024 | 31 May 2024 | 4 June 2024 | co-located with IJCAR |
UNIF Workshop on Unification | Nancy, France | 2 July 2024 | 23 May 2024 | 7 June 2024 | 4 June 2024 | co-located with IJCAR |
PAAR Practical Aspects of Automated Reasoning | Nancy, France | 2 July 2024 | 1 June 2024 | 14 June 2024 | 4 June 2024 | co-located with IJCAR |
ARQNL Automated Reasoning in Quantified Non-Classical Logics | Nancy, France | 2 July 2024 | 3 June 2024 | 17 June 2024 | 4 June 2024 | co-located with IJCAR |
WAIT Workshop on Automated (Co)Inductive Theorem Proving | Nancy, France | 2 July 2024 | 1 June 2024 | 4 June 2024 | co-located with IJCAR | |
IPCO Integer Programming and Combinatorial Optimization | Wrocław, Poland | 3-5 July 2024 | 26 January 2024 | 15 March 2024 | 31 March 2024 | |
EC Economics and Computation | New Haven, Connecticut, USA | 8-11 July 2024 | 18 May 2024 | 24 June 2024 | ||
LICS Logic in Computer Science | Tallinn, Estonia | 8-12 July 2024 | 15 April 2024 | 17 May 2024 | co-located with ICALP and FSCD | |
ICALP International Colloquium on Automata, Languages and Programming | Tallinn, Estonia | 8-12 July 2024 | 14 April 2024 | 28 April 2024 | 17 May 2024 | co-located with LICS and FSCD |
CiE Computability in Europe | Amsterdam, The Netherlands | 8-12 July 2024 | 20 April 2024 | 1 May 2024 | 20 May 2024 | |
CSF Computer Security Foundations | Enschede, The Netherlands | 8-12 July 2024 | 7 April 2024 | 14 June 2024 | ||
WADT Workshop on Algebraic Development Techniques | Enschede, The Netherlands | 8-12 July 2024 | 17 May 2024 | 15 June 2024 | part of STAF | |
ECMFA European Conference on Modelling Foundations and Applications |
Enschede, The Netherlands | 8-12 July 2024 | 10 April 2024 5 June 2024 |
15 June 2024 | part of STAF | |
ICGT International Conference on Graph Transformation | Enschede, The Netherlands | 8-12 July 2024 | 23 April 2024 | 14 May 2024 | 15 June 2024 | part of STAF |
IWC International Workshop on Confluence | Tallinn, Estonia | 9 July 2024 | 17/31 May 2024 | 17 May 2024 | co-located with FSCD | |
FSCD Formal Structures for Computation and Deduction | Tallinn, Estonia | 10-13 July 2024 | 22 April 2024 | 6 May 2024 | 17 May 2024 | co-located with ICALP and LICS |
GECCO Genetic and Evolutionary Computation Conference | Melbourne, Australia | 14-18 July 2024 | 21 March 2024 | 11 April 2024 | 10 May 2024 | |
ANTS Algorithmic Number Theory Symposium | Cambridge, Massachusetts, USA | 15-19 July 2024 | April 2024 | |||
FOIS Formal Ontology in Information Systems |
Enschede, The Netherlands | 8-9 July 2024 (online) 15-19 July 2024 (on site) |
10 May 2024 | 3 June 2024 | ||
ISSAC International Symposium on Symbolic and Algebraic Computation | Raleigh, North Carolina, USA | 16-19 July 2024 | 16/30 April 2024 | 21 May 2024 | ||
ICDCS International Conference on Distributed Computing Systems |
Jersey City, New Jersey, USA | 16-19 July 2024 | 12 April 2024 | 10 May 2024 | 24 May 2024 (author) 22 June 2024 (early) |
|
CCCG Canadian Conference on Computational Geometry | St. Catharines, Ontario, Canada | 17-19 July 2024 | 17 May 2024 | 31 May 2024 | 31 May 2024 | |
ICML International Conference on Machine Learning | Vienna, Austria | 21-27 July 2024 | 1 May 2024 | 29 May 2024 | 15 June 2024 | |
AUTOMATA Cellular Automata and Discrete Complex Systems | Durham, United Kingdom | 22-24 July 2024 | 3 May 2024 | 17 May 2024 | 21 June 2024 | |
CCC Computational Complexity Conference | Ann Arbor, Michigan, USA | 22-25 July 2024 | 5 May 2024 | |||
CAV Computer-Aided Verification |
Montreal, Canada | 22-27 July 2024 | 26 March 2024 10 May 2024 |
19 May 2024 | 15 June 2024 | submissions updated until 26 January 2024 artifact submission: 8 April 2024 (mandatory for tool papers) |
SEA Symposium on Experimental Algorithms | Vienna, Austria | 23-26 July 2024 | 27 March 2024 | 28 April 2024 | 31 May 2024 | |
TASE Theoretical Aspects of Software Engineering |
Guiyang, China | 29 July - 1 August 2024 | 10 April 2024 | 10 May 2024 | 20 May 2024 (author) 14 June 2024 (early) |
|
IJCAI International Joint Conference on Artificial Intelligence |
Jeju Island, South Korea | 3-9 August 2024 | 22 February 2024 16 April 2024 |
4 June 2024 | appendix and resubmission until 24 January 2024 | |
CICM Conference on Intelligent Computer Mathematics | Montréal, Québec, Canada | 5-9 August 2024 | 28 May 2024 | 11 June 2024 | ||
DLT Developments in Language Theory | Göttingen, Germany | 12-16 August 2024 | 3 May 2024 | 17 May 2024 | ||
CRYPTO CRYPTO |
Santa Barbara, California, USA | 18-22 August 2024 | 7 April 2024 3 May 2024 |
|||
SmartData Smart Data | Copenhagen, Denmark | 19-22 August 2024 | 1 June 2024 | 20 June 2024 | 20 June 2024 | |
RAMiCS Relational and Algebraic Methods in Computer Science | Prague, Czech Republic | 19-23 August 2024 | 21 May 2024 | 22 June 2024 | co-located with AiML | |
AiML Advances in Modal Logic | Prague, Czech Republic | 19-23 August 2024 | 20 May 2024 | 21 June 2024 | co-located with RAMiCS | |
SAT Theory and Applications of Satisfiability Testing | Pune, India | 21-24 August 2024 | 22 May 2024 | 22 June 2024 | preceded 18-20 August 2024 by Indian SAT+SMT School | |
COCOON Computing and Combinatorics Conference | Shanghai, China | 23-25 August 2024 | 25 May 2024 | 10 June 2024 | ||
KDD Knowledge Discovery and Data Mining | Barcelona, Spain | 25-29 August 2024 | 16 May 2024 | 4 June 2024 | 10 July 2024 | |
ICICS International Conference on Information and Communications Security |
Mytilene, Lesvos, Greece | 26-28 August 2024 | 24 June 2024 | 9 August 2024 | 30 June 2024 31 July 2024 |
first registration date for authors, second for attendees |
Euro-Par European Conference on Parallel and Distributed Computing | Madrid, Spain | 26-30 August 2024 | 29 April 2024 | 2 June 2024 | 30 June 2024 | |
MFCS Mathematical Foundations of Computer Science | Bratislava, Slovakia | 26-30 August 2024 | 24 June 2024 | |||
PATAT Practice and Theory of Automated Timetabling | Lyngby, Denmark | 27-30 August 2024 | 3 May 2024 | 24 June 2024 | 24 June 2024 | |
APPROX Approximation Algorithms for Combinatorial Optimization Problems | London, United Kingdom | 28-30 August 2024 | 1 July 2024 | 15 July 2024 | co-located with RANDOM | |
RANDOM Randomization and Computation | London, United Kingdom | 28-30 August 2024 | 1 July 2024 | 15 July 2024 | co-located with APPROX | |
SCSS Symbolic Computation in Software Science | Tokyo, Japan | 28-30 August 2024 | 1 May 2024 | 15 June 2024 | ||
ESA European Symposium on Algorithms | Egham, United Kingdom | 2-4 September 2024 | 23 June 2024 | 30 June 2024 | part of ALGO | |
ALGO Federated Conference on Algorithms | Egham, United Kingdom | 2-6 September 2024 | federated conference including ALGOCLOUD, ALGOWIN, ATMOS, ESA, IPEC, WABI, WAOA | |||
CP Principles and Practice of Constraint Programming | Girona, Catalonia, Spain | 2-6 September 2024 | 20 June 2024 | 1 July 2024 | ||
ICFP International Conference on Functional Programming | Milan, Italy | 2-7 September 2024 | 20 May 2024 | |||
CIAA Conference on Implementation and Application of Automata | Akita, Japan | 3-6 September 2024 | 7 June 2023 | 21 June 2024 | ||
NCL Non-Classical Logics | Łódż, Poland | 5-8 September 2024 | 15 June 2024 | 10 July 2024 | ||
MATCH-UP Matching Under Preferences | Oxford, United Kingdom | 9-11 September 2024 | 1 July 2024 | 15 July 2024 | ||
FMICS Formal Methods for Industrial Critical Systems | Milan, Italy | 9-11 September 2024 | 10 June 2024 | 23 June 2024 | co-located with FM | |
FM Formal Methods | Milan, Italy | 9-13 September 2024 | 10 June 2024 | 1 July 2024 | ||
CONFEST CONCUR & QEST & FORMATS | Calgary, Canada | 9-13 September 2024 | federated conference including CONCUR, QEST, and FORMATS | |||
CONCUR Concurrency Theory | Calgary, Canada | 9-13 September 2024 | 21 June 2024 | 12 July 2024 | updates possible until 29 April 2024; part of CONFEST | |
QEST Quantitative Evaluation of SysTems | Calgary, Canada | 9-13 September 2024 | 31 May 2024 | 17 June 2024 | 22 April artifact submission; part of CONFEST | |
FORMATS Formal Modeling and Analysis of Timed Systems | Calgary, Canada | 9-13 September 2024 | 31 May 2024 | 17 June 2024 | 22 April artifact submission; part of CONFEST | |
ITP Interactive Theorem Proving | Tbilisi, Georgia | 9-14 September 2024 | 20 May 2024 | 10 June 2024 | ||
SCN Security and Cryptography for Networks | Amalfi (SA), Italy | 11-13 September 2024 | 2 July 2024 | 17 July 2024 | 31 July 2024 | revisions possible until 9 May 2024 |
SAFECOMP Computer Safety, Reliability and Security | Florence, Italy | 17-20 September 2024 | 21 April 2024 | 1 June 2024 | ||
KI German Conference on Artificial Intelligence | Würzburg, Germany | 25-27 September 2024 | 15 June 2024 | 10 July 2024 | ||
ICLP International Conference on Logic Programming |
Dallas, Texas, USA | 11-17 October 2024 | 19 June 2024 22 July 2024 |
5 August 2024 | ||
FMCAD Formal Methods in Computer-Aided Design | Prague, Czech Republic | 14-18 October 2024 | 8 July 2024 | August 2024 | 20 August 2024 | |
PACT Parallel Architectures and Compilation Techniques | Long Beach, California, USA | 13-16 October 2024 | 1 July 2024 | 10 August 2024 | ||
CCS Computer and Communication Security |
Salt Lake City, Utah, USA | 14-18 October 2024 | 29 May 2024 4 July 2024 |
12 September 2024 | ||
ECAI European Conference on Artificial Intelligence | Santiago de Compostela, Spain | 19-24 October 2024 | 4 July 2024 | |||
ATVA Automated Technology for Verification and Analysis | Kyoto, Japan | 21-24 October 2024 | 26 June 2024 | 22 August 2024 | ||
FOCS Foundations of Computer Science | Chicago, Illinois, USA | 27-30 October 2024 | 4 July 2024 | 26 August 2024 | 15 August 2024 | |
DISC Distributed Computing | Madrid, Spain | 28 October - 1 November 2024 | 2 August 2024 | 22 August 2024 | workshops: 28 October & 1 November; main conference: 29-31 October 2024 | |
KR Principles of Knowledge Representation and Reasoning | Hanoi, Vietnam | 2-8 November 2024 | 10 July 2024 | 31 July 2024 | co-located with NMR | |
Conference | City, Country | Date | Notification | Final version | Early registration | Remarks and other indications |
This section serves
The calendar for the years 2023 and 2024 can help you to plan the conferences.
If you wish the tentative schedule of your conference to be listed here, send me an e-mail (change _at_ to @ and _dot_ twice to .) with the following template:
E-mail with a template for a planned conference
Conference | Year | City, Country | Starting date | Ending date | Remark |
---|---|---|---|---|---|
SYNASC Symbolic and Numeric Algorithms for Scientific Computing | 2024 | Timişoara, Romania | 16 September 2024 | 19 September 2024 | |
SPLASH Systems, Programming, Languages, and Applications: Software for Humanity | 2024 | Pasadena, California, USA | 20 October 2024 | 25 October 2024 | co-located with SAS |
ALENEX Algorithm Engineering and Experiments | 2025 | New Orleans, Lousiana, USA | 12 January 2025 | 13 January 2025 | call posted in June 2024; co-located with SODA |
SOSA Symposium on Simplicity in Algorithms | 2025 | New Orleans, Lousiana, USA | 13 January 2025 | 14 January 2025 | call posted in June 2024; co-located with SODA |
SOFSEM Current Trends in Theory and Practice of Computer Science | 2025 | Bratislava, Slovakia | 20 January 2025 | 23 January 2025 | |
STACS Symposium on Theoretical Aspects of Computer Science | 2025 | Jena, Germany | 4 March 2025 | 7 March 2025 | LIPIcs proceedings |
ICALP International Colloquium on Automata, Languages and Programming | 2025 | Aarhus, Denmark | 7 July 2025 | 11 July 2025 | |
Conference | Year | City, Country | Starting date | Ending date | Remark |
If you wish your conference to be listed here, send me an e-mail (change _at_ to @ and _dot_ twice to .) with one of the following templates:
E-mail with a template for a conference with its deadline ahead
E-mail with a template for a future conference with deadline over
This webpage is updated regularly, at least once a day. Only serious conferences in connection with theoretical computer science will be listed.
Toggle list of included conferences with full names
If you are an organizer of one of these conferences and you do not see that conference listed here. please send me a messsage using the aforementioned instructions.
© Miki Hermann (LIX, Ecole Polytechnique), 2015-2024
Last modified: Thu, 16 May 2024 14:31:39 CEST