November 11, 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.
May 10, 2019
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.
June 3-14, 2019
U. Colorado Boulder and Colorado State U
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).
September 9-12, 2019
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.
September 8-11, 2019
Swansea, Wales, UK
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.
July 21-27, 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.
June 25-28, 2019
Registration deadline: April 30, 2019
The purpose of the Summer School is to bring together PhD students, postdoctoral researchers, and researchers interested in mathematical and computational aspects of preference modelling, decision making and game theory. We expect participants with different backgrounds (Operations Research, Artificial Intelligence, Economics).
During 4 days, the instructional program will involve two types of activities: lectures given by prominent scientists and workshops during which participants to the school will have the opportunity to present their research and exchange ideas.