User Tools

Site Tools


finalgeneral-meeting

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
finalgeneral-meeting [2016/02/01 09:14]
imt [Agenda]
finalgeneral-meeting [2016/02/01 09:18] (current)
imt [Agenda]
Line 91: Line 91:
 === Giovedì, 21 Genaio ===  === Giovedì, 21 Genaio === 
   * 8:30 - 10:​30  ​   * 8:30 - 10:​30  ​
-    * **An Operational Semantics of BPMN 2.0 Collaboration** (Andrea Polini) +    * **{{:​polini.pdf|An Operational Semantics of BPMN 2.0 Collaboration}}** (Andrea Polini) 
-    * **An Attributed-based Calculus** (Rocco De Nicola) +    * **{{:​denicola.pdf|An Attributed-based Calculus}}** (Rocco De Nicola) 
-    * **Specifying and verifying CAS with CARMA and its tools** (Michele Loreti) +    * **{{:​loreti.pdf|Specifying and verifying CAS with CARMA and its tools}}** (Michele Loreti) 
-    * **Formal methods for web session security** (Stefano Calzavara)+    * **{{:​calzavara.pdf|Formal methods for web session security}}** (Stefano Calzavara)
  
   * 10:30 - 11:00 //coffee break//   * 10:30 - 11:00 //coffee break//
  
   * 11:00 - 12:30   * 11:00 - 12:30
-    * **Nested Open Memory Transactions in Haskell** (Marino Miculan) +    * **{{:​miculan.pptx|Nested Open Memory Transactions in Haskell}}** (Marino Miculan) 
-    * **Twitlang(er):​ interactions Modeling Language (and  +    * **{{:​tiezzi.pdf|Twitlang(er):​ interactions Modeling Language (and Interpreter) for Twitter}}** (Francesco Tiezzi) 
-Interpreter) for Twitter** (Francesco Tiezzi) +    * **{{:​merelli.pdf|From Big Data to Interactive Computation}}** (Emanuela Merelli)
-    * **From Big Data to Interactive Computation** (Emanuela Merelli)+
  
   * 12:30 - 14:00 //pranzo presso il Ristorante "Da Enzo", Corso Dalmazia 213, Civitanova Marche//   * 12:30 - 14:00 //pranzo presso il Ristorante "Da Enzo", Corso Dalmazia 213, Civitanova Marche//
finalgeneral-meeting.txt · Last modified: 2016/02/01 09:18 by imt