Programme
June 23, 2015- 09:00 - 12:30 USE 2015 Workshop
- 12:30 - 14:00 Lunch
- 14:00 - 14:30 S. Merz, H. Vanzetto. Encoding TLA+ set theory into many-sorted first-order logic (PDF)
- 14:30 - 15:00 A. Casagrande, C. Piazza, A. Policriti. Is hyper-extensionality preservable under deletions of graph elements? (PDF)
- 15:00 - 15:30 M. Cristià, G. Rossi. Adding Partial Functions to Constraint Logic Programming with Sets (PDF)
- 15:30 - 16:00 Coffee Break
- 16:00 - 16:30 M. Utting, F. Boulaire. Specification and Validation of the MODAM Module Manager (PDF)
- 16:30 - 17:00 M. Cristià, G. Rossi, C. Frydman. First Steps in Integrating {log} into Z/EVES (PDF)
- 17:00-17:15 Closing session