[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
On Sunday, October 24, and Monday, October 25th, 9am - 2pm EDT (3-8pm CET), we
will be hosting a (mainly) virtual symposium honoring the 100th year since the
birth of the late Boris (Boaz) Trakhtenbrot.
Speakers include:
Samson Abramsky
Sergei Artemov
Mikolaj Bojanczyk
Bruno Courcelle
Zvi Galil
Irène Guessarian
Yuri Gurevich
Vladimir Lifschitz
Irina Lomazova
Johann Makowsky
Wolfgang Reisig
Jacques Sakarovitch
Wolfgang Thomas
Mark Trakhtenbrot
Moshe Vardi
For schedule and abstracts, see
https://urldefense.com/v3/__https://www.cs.tau.ac.il/*nachumd/Boaz100.html__;fg!!IBzWLUs!D0IaIUyP3xXX5duPv9tLPaI-YD2jNiY9x6pn-mH45CALNZvoq3oFjDU_qcSOovztj4rAMjYTxbKgUQ$
The link to the zoom meeting is
https://urldefense.com/v3/__https://tau-ac-il.zoom.us/j/83692612574?pwd=UmlEYXd0eFdpRHFMdGR6YzRONVdUZz09__;!!IBzWLUs!D0IaIUyP3xXX5duPv9tLPaI-YD2jNiY9x6pn-mH45CALNZvoq3oFjDU_qcSOovztj4rAMjaW8VYRHQ$
