* WS-FM/BEAT and FOCLASA join Call for Participation
[not found] ` <55C5251B.9080208-8EkGPiKgOzUVhHzd4jOs4w@public.gmane.org>
@ 2015-08-14 18:27 ` Antonio Ravara
0 siblings, 0 replies; only message in thread
From: Antonio Ravara @ 2015-08-14 18:27 UTC (permalink / raw)
To: asci-Offpp+6g+8udIhEUFHOBvg, ast-FV+mU1CFjts,
calendar-bdq14YP6qtRg9hUCZPvPmw, categories-59hdLBrVOVU,
ccal-LvoWTPk+F92Joy8PIJZ9VA, clp-re5r+meJ/dN84TsAtUCrkA,
comlab-wzN9gXeOksgSiZgQ0OGTRA, complog-qcTL/1vZYtiVc3sceRu5cw,
compulognet-parimp-PX+PAT/L++x42KWnfCVJqw,
dbworld-hcNo3dDEHLuVc3sceRu5cw, dmanet-G033eQCYXkkRtNtAH2Wc8g,
focs-wzN9gXeOksgSiZgQ0OGTRA, ifip113-Jwo7OjyBeCI,
ifip-QLCQ8j/aE7izZXS1Dc/lvw, ifmsig-aVqd/T0vMsmzQB+pC5nmwQ,
infi-00EQNANN731o1qOY/usvUg, ipa-ZS/VO/AiPhU,
ipa-ek1Qb6IBo2Pz+pZb47iToQ, kbcsl-IUH8PdohV+QGVwEePk/RpQ,
lics-7WuBAv+fczB6pNU0rN5m7D1eg9KuzsSG,
linear-UfE5FQABeHN2Qaki92YDXw, logic-list-pxSi+dnQzZMxHbG02/KK1g,
logic-UfE5FQABeHN2Qaki92YDXw, mailing-2rwx6yHEWL1lwAJJmLIKuQ,
puml-list-request-l9TVMAoMiWs2EctHIo1CcQ, softtech-CnXeQJCHohM,
spin_list-7WuBAv+fczB6pNU0rN5m7D1eg9KuzsSG,
system-safety-JX7+OpRa80SP/wAdlnoHchvRvTJiVFUC,
theorem-provers-iSp611qFfoI3uPMLIKxrzw,
cphc-conf-BJlGqfXgjbjQzY9nttDBhA, asr-forum-Ht8RKSkSH80,
fmics-xhhIRkXa/2pvynnTyRI/EA, nvti-list-rh8NL+sEX9E,
papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW, theory-logic-ETDLCGt7PQU
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: massimo.tivoli@univaq.it,
url: http://www.di.univaq.it/tivoli
On Fri, Aug 7, 2015 at 11:37 PM, Antonio Ravara <aravara@fct.unl.pt> 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
>
^ permalink raw reply [flat|nested] only message in thread