Opening up UC Berkeley programs “Satisfiability: Theory, Practice, and Beyond” and “Theoretical Foundations of Computer Systems”

This message is just to spread the news that everybody interested can now take part in the seminars during the semester programs Satisfiability: Theory, Practice, and Beyond and Theoretical Foundations of Computer Systems running at the Simons Institute at UC Berkeley this spring 2021.

Because of the Covid-19 pandemic these programs will be organized as virtual events, which is a bit sad, but on the bright side this opens up for much wider participation than a normal, physical semester program. Anybody who registers in advance will be able to take part in all tutorial lectures and workshops. As a general rule, events will be held 8:30 – 10:30 am PST (5:30 – 7:30 pm CET) to try to cater for participants in different time zones.

The tutorial lectures in the Theoretical Foundations of Computer Systems Boot Camp will be held this coming week, January 25 – 29, 2021, with a pre-recorded component that participants are encouraged to watch in advance. For more information and registration, go to

The week after, February 1 – 5, 2021, will features the tutorials in the Satisfiability: Theory, Practice, and Beyond Boot Camp, having the same set-up with a pre-re-recorded component followed by live talks every day 8:30 – 10:30 am PST (5:30 – 7:30 pm CET). See for registration and more details.

Starting in the second week of February and lasting till early May, there will be weekly seminars as follows (see the webpages for more details and registration):

Submit a post

You can use the anonymous submission form to upload information about an event, a blog post or a job posting. It will be published when it is approved by the moderator.


November 2021

Other Posts