[TYPES/announce] Special Issue in Memory of Corrado Böhm

Mariangiola Dezani dezani at di.unito.it
Sun Jan 7 07:18:11 EST 2018


Logical Methods
in Computer Science
Special Issue
in Memory of Corrado Böhm
Call for papers

Corrado  Böhm, professor emeritus at
the University of Rome “La Sapienza”,
left us on October 23 at the age of 94.
He has been an exceptionally talented
and creative researcher: his results
have deeply influenced the development
of theoretical computer science. 

To honour Corrado  Böhm’s scientific
life and activity a Special Issue of
Logical Methods in Computer Science
is planned. Papers related to Corrado
Böhm’s scientific interests are welcome. 

The authors should express their interest
by sending an abstract by July 31 2018 to
all the editors: the deadline for the
papers is September 30 2018. The papers
will be referred to the usual high standard
of Logical Methods in Computer Science. 

The editors

Henk Barendregt (henk at cs.ru.nl)
Mariangiola Dezani (dezani at di.unito.it)
Benedetto Intrigila (intrigil at mat.uniroma2.it)


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

Mariangiola Dezani-Ciancaglini
Dipartimento di Informatica
Universita' di Torino
c.Svizzera 185, 10149 Torino (Italy)

e-mail :  dezani at di.unito.it
phone: 39-011-6706850
fax : 39-011-751603
mobile: 39-320-4359903 

http://www.di.unito.it/~dezani

**********************************************************************
Unless unavoidable, no Word, Excel or PowerPoint attachments, please.
See http://www.gnu.org/philosophy/no-word-attachments.html
**********************************************************************

http://processalgebra.blogspot.it/2016/12/mariangiola-dezani-ciancaglini-70-but.html <http://processalgebra.blogspot.it/2016/12/mariangiola-dezani-ciancaglini-70-but.html>

**********************************************************************

"L'ITALIA RIPUDIA LA GUERRA come strumento di offesa alla libertà degli altri
popoli e come mezzo di risoluzione delle controversie internazionali."
(Art. 11 della Costituzione della Repubblica Italiana)








-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180107/5a4e1ea1/attachment.html>


More information about the Types-announce mailing list