Online Worldwide Seminar on Logic and Semantics (OWLS)
formal languages and automata theory logic in computer science logic
|Audience:||Researchers in the discipline|
|Seminar series time:||Wednesday 14:00-15:00|
|Organizers:||Alexandra Silva, Pawel Sobocinski, Jamie Vicary, Nathanaël Fijalkow, Charles Grellois, S. Krishna, Koko Muroya|
|Curator:||Alakh Dhruv Chopra*|
|*contact for this listing|
The Online Worldwide Seminar on Logic and Semantics is a new series of 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. It takes place on most Wednesdays, with a focus every other week on the work of young researchers.
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.
For more details, please visit the homepage. There is no need to register for the talks, just show up.
|Wed||Mar 10||14:00||Dale Miller||TBA|
|Wed||Mar 24||14:00||Anca Muscholl||TBA|
|Wed||Mar 31||14:00||Tiziano Dalmonte||Proof systems and countermodels for non-normal modal logics|
|Wed||Apr 07||14:00||Assia Mahboubi||TBA|
|Wed||May 05||14:00||Alessio Guglielmi||TBA|