YURIFEST 2025 IS BEING HELD IN HONOUR OF YURI GUREVICH'S 85TH BIRTHDAY. GUREVICH'S INTERESTS HAVE SPANNED A BROAD SPECTRUM OF LOGIC AND COMPUTER SCIENCE, INCLUDING DECISION PROCEDURES, THE MONADIC THEORY OF ORDER, ABSTRACT STATE MACHINES, FORMAL METHODS, FOUNDATIONS OF COMPUTER SCIENCE, PRIVACY AND SECURITY, QUANTUM COMPUTING, AND MUCH MORE. MANY OF THESE AREAS WILL BE REFLECTED IN THE TOPICS OF THE SYMPOSIUM.
THE CONFERENCE WILL TAKE PLACE FROM 20 JUNE TO 22 JUNE 2025, AT LUDWIG-MAXIMILIANS-UNIVERSITäT MüNCHEN, GERMANY, LOCALLY ORGANISED BY GUILLERMO BADIA (UNIVERSITY OF QUEENSLAND, AUSTRALIA) AND MARTIN WIRSING (LMU, GERMANY). A FULL LIST OF SPEAKERS AND MORE INFORMATION ON THE SCHEDULE CAN BE FOUND ON THE WEBSITE: HTTPS://SITES.GOOGLE.COM/VIEW/YURIFEST2025/HOME. THE PHYSICAL LOCATION OF THE CONFERENCE WILL BE SENATSSAAL AND REKTORENZIMMER, LUDWIG-MAXIMILIANS-UNIVERSITäT MüNCHEN, GESCHWISTER-SCHOLL-PLATZ 1, D-80539 MüNCHEN, GERMANY. IF YOU WISH TO LISTEN TO THE TALKS ONLINE OR IN PERSON, YOU CAN CONTACT GUILLERMO BADIA AT g.ba...@uq.edu.au. -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
