09:25-09:40 Opening Remarks
09:40-10:30 (Q) and (Max) SAT (Chair: )
10:30-11:00 Coffee Break
11:00-12:30 Answer Set Programming (Chair: )
12:30-14:30 Lunch Break
14:30-16:00 Planning (Chair: )
16:00-16:30 Coffee Break
16:30-18:00 Applications (Chair: )
- Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Roeblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli and Fabian Ille: Patient-Specific Models from Inter-Patient Biological Models and Clinical Records
- Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti and Enrico Tronci: SyLVaaS: System Level Formal Verification as a Service
- Toni Mancini: Now or Never: negotiating efficiently with unknown counterparts
- Stefano Bistarelli, Fabio Rossi and Francesco Santini: Testing Credulous and Sceptical Acceptance in Small-World Networks
18:00- Closing + Assemblea RCRA
|
 Updating... Ċ Marco Maratea, Sep 10, 2015, 12:50 PM
|
