Logic List Mailing Archive

CfR: YURIFEST 2025, 20–22 June 2025, Online + Munich (Germany)

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.BADIA@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