Cesare Tinelli

Professor and Collegiate Scholar
Department of Computer Science
The University of Iowa
14 MacLean Hall
Iowa City, IA 52242
USA

phone: +1-319-335-0735

fax: +1-319-335-3624

email: cesare-tinelli @ uiowa.edu

office: 201D MLH

Education

PhD in CS, University of Illinois at Urbana-Champaign, 1999

MS in CS, University of Illinois at Urbana-Champaign, 1995

Laurea in Scienze dell'Informazione, University of Bari, 1990

NFM 2013, May 13 - 16, 2013, Moffett Field, CA, USA

StarExec 2013, June 8, 2013, Lake Placid, NY, USA

SMT 2013, July 8 - 9, 2013, Helsinki, Finland

FroCoS 2013, September 18 - 20, 2013, Nancy, France

CILC 2013, September 25 - 27, 2013, Catania, Italy