December 26-28, 2022
Northern Tel Aviv, TAU campus, ANU Museum (Tisch Hall)
https://sites.google.com/view/tautheory-fest2022/home

We at the Tel Aviv University School of Computer Science are pleased to announce our conference, TAU Theory Fest 2022. The purpose of the conference is for academics of the highest quality to present current research in the field of Theory of Computing, as well as to discuss its future in the following areas: complexity theory, Boolean functions, cryptography, learning, algorithmic game theory and discrete mathematics.

June 20-24, 2022
Rome, Italy
http://acm-stoc.org/stoc2022/callforworkshops.html

Submission deadline: January 15, 2022

STOC/TheoryFest 2022 will hold workshops during the conference week, June 20–24, 2022. We invite groups of interested researchers to submit workshop proposals. The due date for proposals is February 15, 2022. Submission instructions can be found on the STOC’22 website.

July 28-30, 2020
Oak Ridge National Laboratory (virtual)
https://icons.ornl.gov

ICONS 2020 will be held as a virtual conference. The goal of this conference is to bring together leading researchers in neuromorphic computing to present new research, develop new collaborations, and provide a forum to publish work in this area. Our focus will be on architectures, models, and applications of neuromorphic systems.

June 4-6, 2020
Saint Petersburg, Russia
https://ecco2020.euro-online.org/

Submission deadline: February 1, 2020

The 33rd Conference of the European Chapter on Combinatorial Optimization (ECCO 2020) will be held in the beautiful city of St. Petersburg during the white nights season. It will be hosted by St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences.

ECCO (European Chapter on Combinatorial Optimization) is a working group of EURO (Association of European Operational Research Societies) that provides an excellent opportunity to discuss recent and important issues in Combinatorial Optimization and its applications.

A special issue of an international refereed journal containing selected full length papers will be dedicated to the conference.

The conference budget includes a limited amount of funds for fee waivers for PhD students from Eastern Europe presenting their work.

April 8-11, 2019
Prague, Czech Republic
https://conf.researchr.org/track/etaps-2019/fossacs-2019-papers

Submission deadline: November 15, 2018

FoSSaCS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems

October 1-6, 2018
Hong Kong
http://seta2018.ust.hk/

Submission deadline: May 8, 2018
Registration deadline: July 17, 2018

The focus of the conference is on sequences and their applications in communications, cryptography, coding, and combinatorics, as well as on related topics in discrete mathematics.

March 26-28, 2018
Royal Holloway, University of London
http://bctcs18.cs.rhul.ac.uk

Submission deadline: February 1, 2018
Registration deadline: March 1, 2018

BCTCS is the UK’s foremost venue bringing together researchers in theoretical computer science to present their research and discuss future directions. In addition to the submitted presentations, there will be five invited talks, given by world-leading researchers in TCS.

June 17-22, 2018
Vail, Colorado
https://www.isit2018.org/

Submission deadline: January 9, 2018

The 2018 IEEE International Symposium on Information Theory will be held from June 17 to 22, 2018 in Vail, Colorado in the USA. The conference welcomes submissions that are broadly under the purview of information theory or which use information-theoretic ideas/measures in its arguments.

The technical program committee this year has a large number of members from the theory CS community and welcomes submissions in theoretical computer science and adjacent areas that fall under the broad scope of ISIT.

There is a 5 page limit on submissions, which means they are either short results, or they are outlines of bigger results which would then have a full version posted somewhere. In particular, small cute results are appreciated. So ISIT could be a good forum for such results in TCS, while also advertising the problems, concepts, and techniques to the broader information theory community.

The call for papers and other details are available at https://www.isit2018.org/
The submission deadline for registering papers is Jan 9, 2018 and submitting the papers is Jan 12.

The conference also seeks half-day tutorial proposals, which should provide clear and focused teaching material covering new and emerging topics within the scope of the conference. Proposals for tutorials are due Dec 15. https://www.isit2018.org/authors/call-for-tutorials/

June 4-6, 2018
Amsterdam
http://2018.highlightsofalgorithms.org/

Submission deadline: December 12, 2017

The HALG 2018 conference seeks high-quality nominations for invited talks that will highlight recent advances in algorithmic research. Similarly to previous years, there are two categories of invited talks:
A. survey (60 minutes): a survey of an algorithmic topic that has seen exciting developments in last couple of years.
B. paper (30 minutes): a significant algorithmic result appearing in a paper in 2017 or later.

To nominate, please email  halg2018.nominations@gmail.com  the following information:
1. Basic details: speaker name + topic (for survey talk) or paper’s title, authors, conference/arxiv + preferable speaker (for paper talk).
2. Brief justification: Focus on the benefits to the audience, e.g., quality of results, importance/relevance of topic, clarity of talk, speaker’s presentation skills. Pay attention to potentially non-obvious information, e.g., the topic might seem out of scope, or the material seems inadequate for one talk.

All nominations will be reviewed by the Program Committee (PC) to select speakers that will be invited to the conference.

Nominations deadline: December 12, 2017 (for full consideration).

Please keep in mind that the conference does not provide financial support for the speakers.

August 7-11, 2017
Liège, Belgium
http://www.cant.ulg.ac.be/dlt/

Submission deadline: March 29, 2017

The annual conference on formal languages, automata theory, and related areas.