WS-FM/BEAT and FOCLASA join Call for Participation September 4-5, Madrid Meet (http://mafalda.fdi.ucm.es/madrid2015/)
Detailed info at: WS-FM/BEAT (http://www.projects.science.uu.nl/WSFM-BEAT2015/index.php) FOCLASA (http://foclasa.lcc.uma.es/) *** WS-FM/BEAT programme on Friday *** 15:00 - 16:30 Session 1 15:00 - 15:15 Opening 15:15 - 16:30 Static Analysis of Unbounded Networks with Behavioural Types. Cosimo Laneve (invited talk). 16:30 - 17:00 Break 17:00 - 19:15 Session 2 17:00 - 17:45 Type Inference for Session Types in the Pi-Calculus. Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl. 17:45 - 18:30 Type checking purpose-based access control policies in the pi-calculus. Eleni Kokkinofta and Anna Philippou. 18:30 - 19:15 On honest interactions among untrusted services. Massimo Bartoletti and Roberto Zunino. *** WS-FM/BEAT and FOCLASA join programme on Saturday *** 08:50 - 10:30 Session 1 08:50 - 09:00 Opening 09:00 - 09:45 A Context-Oriented Extension of F#. Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta. 09:45 - 10:30 Specifying Finite-State Actors. Jonathan Schuster, Stephen Chang and Matthias Felleisen. 10:30 - 11:00 Break 11:00 - 13:00 Session 2 11:00 - 11:45 On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli. 11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario Bravetti (invited talk). 13:00 - 14:45 Lunch 14:45 - 16:00 Session 3 Title to be announced. Javier Esparza (invited talk) 16:00 - 16:30 Break 16:30 - 18:15 Session 4 16:30 - 17:15 A Constraint-based Approach for Generating Transformation Patterns. Asma Cherif and Abdessamad Imine. 17:15 - 18:00 Service Choreography, SBVR, and Time. Nurulhuda A. Manaf, Sotiris Moschoyiannis and Paul Krause. 18:00 - 18:15 Closing ------------------------------------------------ - Massimo Tivoli, Ph.D. Associate Professor Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM), Università di L'Aquila, email: [email protected], url: http://www.di.univaq.it/tivoli On Fri, Aug 7, 2015 at 11:37 PM, Antonio Ravara <[email protected]> wrote:
Dear David, Sorry for taking so long... Finally, we have a first version of the program. We may include one more talk on Saturday afternoon, finishing thus 45m later. Warm regards, António (also on behalf of Jan Martijn, José, and Massimo) PS: just noticed that the only CONCUR session on types is schedule in parallel with the first session of WS-FM/BEAT (being behavioural types one of the main topics...). Is it still possible to avoid this unfortunate overlap? *** WS-FM/BEAT programme on Friday *** 14:30 - 16:00 Session 1 14:30 - 14:45 Opening 14:45 - 16:00 Static Analysis of Unbounded Networks with Behavioural Types. Cosimo Laneve (invited talk). 16:00 - 16:30 Break 16:30 - 18:45 Session 2 16:30 - 17:15 Type Inference for Session Types in the Pi-Calculus. Eva Fajstrup Graversen, Jacob Buchreitz Harbo, Hans Hüttel, Mathias Ormstrup Bjerregaard, Niels Sonnich Poulsen and Sebastian Wahl. 17:15 - 18:00 Type checking purpose-based access control policies in the pi-calculus. Eleni Kokkinofta and Anna Philippou. 18:00 - 18:45 On honest interactions among untrusted services. Massimo Bartoletti and Roberto Zunino. *** WS-FM/BEAT and FOCLASA join programme on Saturday *** 08:50 - 10:30 Session 1 08:50 - 09:00 Opening 09:00 - 09:45 A Context-Oriented Extension of F#. Andrea Canciani, Pierpaolo Degano, Gianluigi Ferrari and Letterio Galletta. 09:45 - 10:30 Specifying Finite-State Actors. Jonathan Schuster, Stephen Chang and Matthias Felleisen. 10:30 - 11:00 Break 11:00 - 13:00 Session 2 11:00 - 11:45 On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems. Marco Autili, Amleto Di Salle, Alexander Perucci and Massimo Tivoli. 11:45 - 13:00 Towards Dynamic Updates in Service Composition. Mario Bravetti (invited talk). 13:00 - 14:45 Lunch 14:45 - 16:00 Session 3 Title to be announced. Javier Esparza (invited talk) 16:00 - 16:30 Break 16:30 - 17:30 Session 4 16:30 - 17:15 A Constraint-based Approach for Generating Transformation Patterns. Asma Cherif and Abdessamad Imine. 17:15 - 17:30 Closing
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
