13 Jul 2019
Munich, Germany
======================================================================
Call for Participation
Martin Hofmann Memorial Meeting
Saturday, 13 July, 2019
Munich, Germany
http://mmm.tcs.ifi.lmu.de/
======================================================================
This is the first call for participation for a one-day meeting in
memory of Martin Hofmann in Munich on Saturday, 13 July 2019.
We will meet to remember and celebrate Martin's life and work.
There will be invited talks from friends and colleagues as well
as ample time for discussions and exchange of memories during
the breaks. The talks will be about various topics in Computer
Science and Mathematics that Martin would have enjoyed.
The talks will combine scientific content with personal stories
about Martin.
If you are planning to attend then please register on the website
of the meeting at
http://mmm.tcs.ifi.lmu.de/
There may be a small registration fee to help cover refreshments; more
information later.
If you would like to propose a contribution to the program then
contact Jan Hoffmann or Don Sannella.
IMPORTANT DATES:
* registration opens May 1, 2019
* registration closes July 1, 2019
* workshop July 13, 2019
INVITED SPEAKERS:
* Don Sannella (University of Edinburgh)
* Nick Benton (Facebook)
* Ugo Dal Lago (Università degli Studi di Bologna)
* Helmut Seidl (Technische Universität München)
* Thomas Streicher (Technische Universität Darmstadt)
* Dulma Rodriguez (Facebook)
* Sigrid Roden & Max Jakob (Ludwig-Maximilians-Universität München)
ORGANIZERS:
* Lennart Beringer (Princeton University)
* Jan Hoffmann (Carnegie Mellon University)
* Steffen Jost (Ludwig-Maximilians-Universität München)
* Don Sannella (University of Edinburgh)
* Ulrich Schöpp (Ludwig-Maximilians-Universität München)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam