Logic List Mailing Archive

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

YURIFEST 2025IS BEING HELD IN HONOUR OFYURI 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 PLACEFROM20 JUNETO22 JUNE 2025, AT LUDWIG-MAXIMILIANS-UNIVERSITT MNCHEN, GERMANY, LOCALLY ORGANISED BYGUILLERMO BADIA(UNIVERSITY OF QUEENSLAND, AUSTRALIA)ANDMARTIN 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 BESENATSSAAL AND REKTORENZIMMER, LUDWIG-MAXIMILIANS-UNIVERSITT MNCHEN,GESCHWISTER-SCHOLL-PLATZ 1, D-80539 MNCHEN, 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