It is our pleasure to announce the celebration of World Logic Day at Queen
Mary University of London on the 14th of January 2025!
Our event will consist of six in-person talks by esteemed researchers from
Queen Mary, Oxford, and Birkbeck: Glynn Winskel, Soren Riis, Vladislav
Ryzhikov, Sandra Kiefer, Marc Roth, and Paulo Oliva. They will present
various research topics related to logics and logical methods in computer
science. The talks are addressed to a wide audience including non-experts
and students. Everyone is warmly welcome to attend!
For the full program and a link for online attendance please see
https://sites.google.com/view/wld25/home
. The event is free, and no registration is required.
Please do spread the word to students, colleagues, and institutions which
might be interested. We hope to see you in January in London!
Best regards and, if you celebrate, I wish you a wonderful Christmas and a
happy New Year!
Przemek Wałęga
p.walega@qmul.ac.uk
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
