Online worldwide seminar on logic and semantics
|Audience:||researchers in topic|
|Seminar series time:||Every other Wednesday 13:00-14:00 in your time zone, UTC.|
|*contact for this listing|
The Online Worldwide Seminar on Logic and Semantics is a new series of fortnightly research talks, highlighting the most exciting recent work in the international computer science logic community. The scope of the seminar series is roughly that of the major computer science logic conferences such as LICS, ICALP and FSCD.
In this time of restricted international travel, a key aim of this series is to provide a forum for the informal discussion and social interaction that is so important for the progress of science. To facilitate this, the seminar incorporates in virtual form a number of features more normally associated with physical meetings:
Virtual "coffee breaks" before and after the seminar, allowing participants to chat in small groups, replicating the social element of a real-world conference. Robust technology platform supporting hundreds of interactive participants. Live-stream of the speaker's slides visible alongside the speaker's face, allowing nuanced communication at a human level. Chairperson to introduce the speaker, facilitate questions from the audience, and keep proceedings running on time. Aggregate nonverbal feedback from audience members, such as "go faster" or "slow down", reported in real-time to the speaker. Audience members whose question is selected by the chairperson can deliver it in full audio and video, giving a natural interaction with the speaker. No need to register, just show up.
|Wed||May 27||13:00||Dexter Kozen||Brzozowski derivatives as distributive laws|
|Wed||May 13||13:00||Bartek Klin||Monadic monadic second order logic|
|Wed||Apr 29||13:00||Daniela Petrisan||Combining probabilistic and non-deterministic choice via weak distributive laws|
|Wed||Apr 15||13:00||Joost-Pieter Katoen||Termination of probabilistic programs|