[TYPES/announce] Please post
Nachum Dershowitz
nachumd at tauex.tau.ac.il
Sat Oct 23 13:30:24 EDT 2021
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$
More information about the Types-announce
mailing list