Krajíček’s Fest – Celebrating Jan Krajíček’s 60th Anniversary and his Contributions to Logic and Complexity

September 1, 2020
Tábor, Czech Republic
https://www.dcs.warwick.ac.uk/~igorcarb/events/krajicek-fest/index.html

We would like to invite you to participate in a workshop on the Logical Foundations of Complexity Theory to celebrate Prof. Jan Krajicek’s 60th anniversary.

Preliminary list of speakers:
Pavel Pudlák (Czech Adacemy of Sciences)
Samuel Buss (University of California, San Diego)
Neil Thapen (Czech Adacemy of Sciences)
Leszek Kołodziejczyk (University of Warsaw)
Emil Jeřábek (Czech Adacemy of Sciences)
Moritz Müller (Universitat Politècnica de Catalunya)

The event will be followed by a 3-day workshop on Complexity Theory which will include tutorials and contributed talks. For more information about the workshops, please visit the website above.

Women in Theory 2020

June 16-19, 2020
Simons Institute, Berkeley, CA
https://womenintheory.wordpress.com/

Submission deadline: February 7, 2020
Registration deadline: February 7, 2020

The Women in Theory (WIT) Workshop is intended for graduate and exceptional undergraduate students in the area of theory of computer science. The workshop will feature technical talks and tutorials by senior and junior women in the field, as well as social events and activities. The motivation for the workshop is twofold. The first goal is to deliver an invigorating educational program; the second is to bring together theory women students from different departments and foster a sense of kinship and camaraderie.

Complexity Theory with a Human Face

September 1-4, 2020
Czech Republic
http://users.math.cas.cz/talebanfard/workshop2020/

The workshop consists of excellent speakers giving enlightening tutorials on delectable aspects of complexity theory which will take place in Tábor, Czech Republic. The event is co-organized with Krajíček’s Fest celebrating the 60th birthday of Jan Krajíček.

15th International Computer Science Sysmposium in Russia

June 29 – July 3, 2020
Yekaterinburg, Russia
https://csr2020.sciencesconf.org/

Submission deadline: January 10, 2020

CSR is an annual international conference held in Russia that is designed to cover a broad range of topics in Theoretical Computer Science. The list of previous CSR conferences can be found at https://logic.pdmi.ras.ru/~csr/ .

Tropical Geometry, Berkovich Spaces, Arithmetic D-Modules and p-adic Local Systems

June 15-19, 2020
Imperial College of London (UK)
https://www-fourier.ujf-grenoble.fr/~pulitaa/Imperial-Conference/Imperial-Conference.html

Registration deadline: March 31, 2020

With this workshop we would like to promote the interaction between the following five fields:

Berkovich spaces
Tropical geometry
p-adic differential equations
Arithmetic D-modules and representations of p-adic Lie groups Arithmetic applications of p-adic local systems

While the first two are already tightly linked, the role of Berkovich spaces in the last ones is only emerging and within this, the role of tropical geometry has not yet been explored. More generally, we consider this conference to be a good opportunity to study new techniques recently introduced into the field. We are convinced that each of these areas has plenty of potential and that a fruitful interaction between them might nourish their development. The aim of the conference is precisely to give leading experts in these each of these domains the opportunity to meet, present their last results and open challenges, and encourage an exchange that will drive forward these exciting and rapidly developing subjects.

Quantum Computer Science School 2020

January 14-16, 2020
University of Technology Sydney, Australia
http://conference.iiis.tsinghua.edu.cn/QCSS2020/

The Quantum Computer Science School 2020 will consist of three days of lectures and academic activities, targeting at senior undergraduates and graduate students in Australian and Asian universities. The lecturers are Mingsheng Ying, Luming Duan, Michael Bremner, Troy Lee, and Ran Duan, and the topics include quantum algorithms, quantum programming, quantum supremacy, and matrix multiplication algorithms. This school is co-organised by the University of Technology Sydney and Tsinghua University.