Coordinator: Prof. Antonio Vicino
Home |  Engineering Library |  DIISM |  Santa Chiara  | Login Privacy e Cookie policy

Info

Structure


Courses Year 2011 - 2012

First year students must take two courses in Group 1, two courses in Group 2, and one "free" course (free courses can be chosen among all courses, but also from PhD programs of other universities or national PhD schools).

Second year students must choose one course among all courses and two free courses.

Third year students must choose two free courses.

Group 1 Courses
Prof. Stefano Marmi
Scuola Normale Superiore - Pisa

lunedì 23 aprile: 9-12 Aula 14
giovedì 26 aprile: 9-12 Aula 4
venerdì 27 aprile: 9-12 Aula 4
mercoledì 2 maggio: 9-12 Aula 4
mercoledì 2 maggio: 14-16 Aula 8
giovedì 3 maggio: 9-12 Aula 4
venerdì 4 maggio: 9-12 Aula 4
Prof. Vito Fragnelli
University of Eastern Piedmont - Department of Advanced Sciences and Technologies

28 maggio 14-18
29 maggio 9-13
30 maggio 9-13
31 maggio 9-13
1 giugno 9-13
Prof. Franco Montagna
Università degli Studi di Siena
Dipartimento di Scienze Matematiche ed Informatiche

April 10: from 10 to 13 and from 14 to 15,30 (F. Montagna); (aim of the course; classical propositional logic)

April 11: from 10 to 13 and from 14 to 15,30 (F. Montagna); (classical predicate logic)

April 16: from 11 to 13 and from 14 to 16 (A. Sorbi); (the notion of computable function)

April 17: from 11,30 to 13 and from 14 to 16,30 (A. Sorbi); (undecidable problems-incompleteness theorems)

April 18: from 11,30 to 13 and from 14 to 16,30 (A. Sorbi); (some basic notions of computational complexity)

April 19: from 10 to 13 and from 14 to 15,30 (F.Montagna); (automated deduction; some basic notions about logic programming)

April 20: from 10 to 13 and from 14 to 15,30 (F. Montagna) (some non-classical logics)
Group 2 Courses
Prof. Prabhakar Pathak
Ohio State University

Lunedì 11 giugno, 10.00-12.00
Lunedì 11 giugno, 15.00-17.00
Martedì 12 giugno, 10.00-12.00
Martedì 12 giugno, 15.00-17.00
Giovedì 14 giugno, 10.00-12.00
Giovedì 14 giugno, 15.00-17.00

Lunedì 18 giugno, 10.00-12.00
Lunedì 18 giugno, 15.00-17.00
Martedì 19 giugno, 10.00-12.00
Martedì 19 giugno, 15.00-17.00
Mercoledì 20 giugno, 10.00-12.00
Mercoledì 20 giugno, 15.00-17.00
Venerdì 22 giugno, 10.00-12.00 (test finale).
Prof. Bruce Jacob
University of Maryland

13/11 ore 14.00-18.00 aula 21
14/11 ore 14.00-18.00 aula 21
15/11 ore 14.00-18.00 aula 15
16/11 ore 14.00-18.00 aula 15
Prof. Domenico Prattichizzo
University of Siena - Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche

Lun. 12/11 h. 14.30 - 18.00 aula 13
Mar. 13/11 h. 9.30 - 13.00 aula 21
Mer. 14/11 h. 9.30 - 13.00 aula 149
Gio. 15/11 h. 9.30 - 13.00 aula 15
Ven. 16/11 h. 9.30 - 13.00 aula 15
Prof. Andrea Frosini
Universita' degli Studi di Firenze
Prof. Simone Rinaldi
Università degli Studi di Siena
Dipartimento di Scienze Matematiche ed Informatiche

mercoledì 24/10 h. 10.00-13.00 e h.15.00-17.00 Facoltà di Scienze Matematiche, Fisiche e Naturali, Pian dei Mantellini 44 - Siena - Aula Magari;

venerdì 26/10 h.10.00-13.00 e h. 16.00-18.00 Facoltà di Scienze Matematiche, Fisiche e Naturali Pian dei Mantellini 44 - Siena - Aula Magari;

lunedì 5/11, h.10.00-13.00 e h.15.00-18.00 Centro didattico, viale Morgagni 48 - Firenze - Aula 226;

mercoledì 7/11, h.11.00-13.00 e h.15.00-17.00 Centro didattico, viale Morgagni 48 - Firenze - Aula 226.
Prof. Enrico Magli
Politecnico di Torino

Lunedì 7 Maggio: 14.30 - 17.30 Aula 20
Martedì 8 Maggio: 10.00 - 13.00 Aula 15
Mercoledì 9 Maggio: 10.00 - 13.00 Aula 4
Giovedì 10 Maggio: 10.00 - 13.00 Aula 4
Venerdì 11 Maggio: 10.00 - 13.00 Lab. 146
Prof. Cristiano Bocci
University of Siena - Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche

1 ottobre- 2 novembre 2012
Prof. G. Rozenberg
University of Leiden

4-7 giugno 2012

 


Courses

PhD Students/Alumni


Dip. Ingegneria dell'Informazione e Scienze Matematiche - Via Roma, 56 53100 SIENA - Italy