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 second 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/
The registration is now open and there is no registration fee. The
website also contains additional information, including a the
program.
IMPORTANT DATES:
* registration closes July 1, 2019
* workshop July 13, 2019
INVITED SPEAKERS:
* Thorsten Altenkirch (University of Nottingham)
* Nick Benton (Facebook)
* Dulma Churchill (Facebook)
* Ugo Dal Lago (Università degli Studi di Bologna)
* Sigrid Roden & Max Jakob (Ludwig-Maximilians-Universität München)
* Don Sannella (University of Edinburgh)
* Helmut Seidl (Technische Universität München)
* Thomas Streicher (Technische Universität Darmstadt)
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