[TYPES/announce] Martin Hofmann Memorial Meeting - Call for Participation

[Jan Hoffmann]

======================================================================
                        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)