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

Jan Hoffmann uni at hoffjan.de
Mon May 20 08:00:00 EDT 2019


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


More information about the Types-announce mailing list