[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