|
|||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||
Computer Science Job Market Seminars 2009 |
|||||||||||||||||||||||||||||||||
|
Job Openings 2008/2009
|
||||||||||||||||||||||||||||||||
| June 3, 2009 | |||
| Time | Title of Seminar | Candidate Name | Institution |
| 9.30 10.10 |
Decomposing bytecode verification by abstract interpretation | Luca Martini | Pisa University |
| 10.20 11.00 |
Ontology- and Behaviour-Aware Discovery of Web Service Compositions | Sara Corfini | Pisa University |
| 11.10 11.50 |
Understanding Visual Content: A Multi-resolution Neuro-Probabilistic Approach | Davide Bacciu | IMT Institute for Advanced Studies Lucca |
| 12.00 12.40 |
Design and verification of long-running transactions with a model of Hierarchical Timed Automata | Paolo Milazzo | Pisa University |
| 13.30 14.10 |
An algebra of hierarchical graphs (and its applications) | Alberto Luch Lafuente | Albert-Ludwigs-Universität Freiburg |
| 14.20 15.10 |
Relating GSR signals to Traditional usability metrics: Case study with an anthropomorphic Web assistant | Michele Zanda | IMT Institute for Advanced Studies Lucca |
|
IMT ‑ Institutions, Markets, Technologies
Institute for Advanced Studies Lucca |
Piazza S. Ponziano, 6
55100 Lucca |
Tel: +39 0583 4326561
Fax: +39 0583 4326565 |
imtlucca@postecert.it
CF. 92037570469 |
info@imtlucca.it
Site Map |
Follow us on Facebook |