Online Worldwide Seminar on Logic and Semantics (OWLS)

External homepage

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.

Upcoming talks
Past talks
Your timeSpeakerTitle
WedMar 1014:00Dale MillerTBA
WedMar 2414:00Anca MuschollTBA
WedMar 3114:00Tiziano DalmonteProof systems and countermodels for non-normal modal logics
WedApr 0714:00Assia MahboubiTBA
WedMay 0514:00Alessio GuglielmiTBA
Embed this schedule
Your timeSpeakerTitle
WedFeb 2414:00Jorge PerezTBA
WedFeb 1714:00Benjamin KaminskiQuantitative Separation Logic
WedFeb 0314:00Sonia MarinFrom axioms to synthetic inference rules via focusing
WedJan 2014:00Ori LahavTBA
WedJan 0614:00Sarah WinterSynthesizing computable functions from synchronous specifications
WedDec 1614:00Moshe VardiLessons from COVID-19: Efficiency vs Resilience
WedDec 0914:00Derek DreyerTurning Iris Up to Eleven: Next Steps in Higher-Order Separation Logic
WedDec 0214:00Maaike ZwartDistributive Laws in the Boom Hierarchy (YR-OWLS)
WedNov 2514:00Francesco GavazzoModal Reasoning = Metric Reasoning, via Lawvere (YR-OWLS)
WedNov 1814:00Joël OuaknineHolonomic Techniques, Periods, and Decision Problems
WedNov 1114:00Abhisekh SankaranExtension preservation in the finite and prefix classes of first order logic
WedNov 0414:00Orna KupfermanExamining Classical Graph-Theory Problems from the Viewpoint of Formal-Verification Methods
WedOct 2814:00Sebastian JungesFinding Memoryless Policies in Partially Observable MDPs is ETR-complete (YR-OWLS)
WedOct 2114:00Antonin KuceraEfficient analysis of VASS termination complexity
WedOct 1414:00Henning BasoldCoalgebraic Communication Protocols and Session Types (YR-OWLS)
WedOct 0714:00Andrej BauerEffects in the real world
WedSep 3014:00Ryoma Sin'yaAsymptotic Approximation by Regular Languages (YR-OWLS)
WedJun 1013:00Valeria VignudelliTBA
WedMay 2713:00Dexter KozenBrzozowski derivatives as distributive laws
WedMay 1313:00Bartek KlinMonadic monadic second order logic
WedApr 2913:00Daniela PetrisanCombining probabilistic and non-deterministic choice via weak distributive laws
WedApr 1513:00Joost-Pieter KatoenTermination of probabilistic programs
Embed this schedule
Export series to