ADFOCS 2019 – Games, Brains, and Distributed Computing

August 19-23, 2019
Saarbrücken, Germany
http://resources.mpi-inf.mpg.de/conferences/adfocs/

Registration deadline: July 19, 2019

ADFOCS is an international summer school held annually at the Max Planck Institute for Informatics (MPII). It is organized as part of the activities of the MPII, in particular the
International Max-Planck Research School (IMPRS), MPII’s graduate program. The purpose of this summer school is to introduce young researchers to topics that are the focus of current research in theoretical computer science. We bring together three leading researchers in the field with international participants at the graduate level and above. The focus of ADFOCS 2019 is
“Games, Brains, and Distributed Computing.”

Theory and Practice of Differential Privacy (part of CCS 2019)

November 11, 2019
London, UK
https://tpdp.cse.buffalo.edu/2019/

Submission deadline: June 21, 2019

The fifth annual workshop on the Theory and Practice of Differential Privacy will be held as a part of CCS 2019 on November 11. We seek contributions from different research areas of computer science and statistics. Authors are invited to submit a short abstract (4 pages maximum) of their work. Submissions will undergo a lightweight review process and will be judged on originality, relevance, interest and clarity. Submission should describe novel work or work that has already appeared elsewhere but that can stimulate the discussion between different communities at the workshop. Accepted abstracts will be presented at the workshop either as a talk or a poster. The workshop will not have formal proceedings and is not intended to preclude later publication at another venue. Selected papers from the workshop will be invited to submit a full version of their work for publication in a special issue of the Journal of Privacy and Confidentiality.

New York Area Theory Day (Spring 2019)

May 10, 2019
Columbia University
http://www.cs.columbia.edu/theory/s19-tday.html

The New York Area Theory Day, co-organized by Columbia, IBM, and NYU, is a semi-annual conference aiming to bring together researchers in the New York Metropolitan area. It usually features a few hour long talks on recent advances in theoretical computer science. The speakers this time are Sepehr Assadi, Tal Rabin, Omri Weinstein, and Mark Zhandry.

Tensors: Algebra-Computation-Applications

June 3-14, 2019
U. Colorado Boulder and Colorado State U
https://thetensor.space/workshops/2019/02/13/TACA-2019.html

The Department of Mathematics at Colorado State University and the Department of Computer Science at the University of Colorado, Boulder invite interested participants to attend a workshop and conference on Tensors: Algebra, Computation, and Applications (TACA).

The central theme of tensors is meant to bring together several complementary research areas––pure and applied mathematics, quantum physics, big data, scientific computing, and theoretical computer science––whose interactions could lead to breakthroughs.

The workshop will consist of:
Mini-courses + group problem sessions (June 4—8, U. Colorado Boulder Campus)
Presentations of contemporary research and software demonstrations (June 9-14, Colorado State University “Pingree Park” Mountain Campus).

UK-Russia Workshop on AI for Software Engineering

September 9-12, 2019
York, UK
https://aise.research.jetbrains.org/

Registration deadline: May 26, 2019

This workshop will bring together AI and SE researchers from the UK and Russia (and potentially other countries) to discuss applications of AI to SE, specifically ML and NLP, and develop future directions of research in this emerging area. Application examples include program analysis (e.g. extracting knowledge from documentation, code reuse), prediction (e.g. finding defects, predicting development time and cost), synthesis and generation (e.g. smart code completion), and transformation (e.g. software remodularization, automated bug fixes).

To date, there are first successes in AI for SE, but much more can be achieved. Progress is slowed by the lack of researchers with expertise in both areas. Bringing together AI and SE researchers will be instrumental in moving this research forward. The four-day workshop will feature tutorials and keynote lectures, but most of the time will be dedicated to networking and creation of new collaborative projects.

2nd Summer School on Proof Theory

September 8-11, 2019
Swansea, Wales, UK
http://www.proofsociety.org/summer-school-2019/

Registration deadline: July 1, 2019

The aim of the Proof Society Summer School is to cover basic and advanced topics in proof theory. The focus of the second edition will be on philosophy of proof theory, proof theory of impredicative theories, structural proof theory, proof mining, reverse mathematics, type theory and bounded arithmetic.
The intended audience for the Summer School is advanced master students, PhD students postdocs and experienced researchers new to the field in mathematics, computer science and philosophy.

Hilbert-Bernays Summer School on Logic and Computation 2019

July 21-27, 2019
Tübingen, Germany
https://uni-tuebingen.de/en/faculties/faculty-of-science/departments/interfaculty-facilities/philosophy-and-history-of-science/hilbert-bernays-summer-school-on-logic-and-computation-2019/

Registration deadline: April 30, 2019

The summer school is addressed at students of the subjects mathematics, philosophy and computer science, preferably undergraduate students in their final year and graduate students.