Logic List Mailing Archive

Martin Hofmann Memorial Meeting

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