categories - Category Theory list
 help / color / mirror / Atom feed
From: Antonio Ravara <aravara-8EkGPiKgOzUVhHzd4jOs4w@public.gmane.org>
To: asci-Offpp+6g+8udIhEUFHOBvg@public.gmane.org,
	ast-FV+mU1CFjts@public.gmane.org,
	calendar-bdq14YP6qtRg9hUCZPvPmw@public.gmane.org,
	categories-59hdLBrVOVU@public.gmane.org,
	ccal-LvoWTPk+F92Joy8PIJZ9VA@public.gmane.org,
	clp-re5r+meJ/dN84TsAtUCrkA@public.gmane.org,
	comlab-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org,
	complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org,
	compulognet-parimp-PX+PAT/L++x42KWnfCVJqw@public.gmane.org,
	dbworld-hcNo3dDEHLuVc3sceRu5cw@public.gmane.org,
	dmanet-G033eQCYXkkRtNtAH2Wc8g@public.gmane.org,
	focs-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org,
	ifip113-Jwo7OjyBeCI@public.gmane.org,
	ifip-QLCQ8j/aE7izZXS1Dc/lvw@public.gmane.org,
	ifmsig-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org,
	infi-00EQNANN731o1qOY/usvUg@public.gmane.org,
	ipa-ZS/VO/AiPhU@public.gmane.org,
	ipa-ek1Qb6IBo2Pz+pZb47iToQ@public.gmane.org,
	kbcsl-IUH8PdohV+QGVwEePk/RpQ@public.gmane.org,
	lics-7WuBAv+fczB6pNU0rN5m7D1eg9KuzsSG@public.gmane.org,
	linear-UfE5FQABeHN2Qaki92YDXw@public.gmane.org,
	logic-list-pxSi+dnQzZMxHbG02/KK1g@public.gmane.org,
	logic-UfE5FQABeHN2Qaki92YDXw@public.gmane.org,
	mailing-2rwx6yHEWL1lwAJJmLIKuQ@public.gmane.org,
	puml-list-request-l9TVMAoMiWs2EctHIo1CcQ@public.gmane.org,
	softtech-CnXeQJCHohM@public.gmane.org,
	spin_list-7WuBAv+fczB6pNU0rN5m7D1eg9KuzsSG@public.gmane.org,
	system-safety-JX7+OpRa80SP/wAdlnoHchvRvTJiVFUC@public.gmane.org,
	theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org,
	cphc-conf-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org,
	asr-forum-Ht8RKSkSH80@public.gmane.org,
	fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org,
	nvti-list-rh8NL+sEX9E@public.gmane.org,
	papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW@public.gmane.org,
	theory-logic-ETDLCGt7PQU@public.gmane.org
Subject: WS-FM/BEAT and FOCLASA join Call for Participation
Date: Fri, 14 Aug 2015 19:27:29 +0100	[thread overview]
Message-ID: <55CE3311.9040009@fct.unl.pt> (raw)
In-Reply-To: <55C5251B.9080208-8EkGPiKgOzUVhHzd4jOs4w@public.gmane.org>

[ 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
>


           reply	other threads:[~2015-08-14 18:27 UTC|newest]

Thread overview: expand[flat|nested]  mbox.gz  Atom feed
 [parent not found: <55C5251B.9080208-8EkGPiKgOzUVhHzd4jOs4w@public.gmane.org>]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=55CE3311.9040009@fct.unl.pt \
    --to=aravara-8ekgpikgozuvhhzd4jos4w@public.gmane.org \
    --cc=asci-Offpp+6g+8udIhEUFHOBvg@public.gmane.org \
    --cc=asr-forum-Ht8RKSkSH80@public.gmane.org \
    --cc=ast-FV+mU1CFjts@public.gmane.org \
    --cc=calendar-bdq14YP6qtRg9hUCZPvPmw@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=ccal-LvoWTPk+F92Joy8PIJZ9VA@public.gmane.org \
    --cc=clp-re5r+meJ/dN84TsAtUCrkA@public.gmane.org \
    --cc=comlab-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org \
    --cc=complog-qcTL/1vZYtiVc3sceRu5cw@public.gmane.org \
    --cc=compulognet-parimp-PX+PAT/L++x42KWnfCVJqw@public.gmane.org \
    --cc=cphc-conf-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org \
    --cc=dbworld-hcNo3dDEHLuVc3sceRu5cw@public.gmane.org \
    --cc=dmanet-G033eQCYXkkRtNtAH2Wc8g@public.gmane.org \
    --cc=fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org \
    --cc=focs-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org \
    --cc=ifip-QLCQ8j/aE7izZXS1Dc/lvw@public.gmane.org \
    --cc=ifip113-Jwo7OjyBeCI@public.gmane.org \
    --cc=ifmsig-aVqd/T0vMsmzQB+pC5nmwQ@public.gmane.org \
    --cc=infi-00EQNANN731o1qOY/usvUg@public.gmane.org \
    --cc=ipa-ZS/VO/AiPhU@public.gmane.org \
    --cc=ipa-ek1Qb6IBo2Pz+pZb47iToQ@public.gmane.org \
    --cc=kbcsl-IUH8PdohV+QGVwEePk/RpQ@public.gmane.org \
    --cc=lics-7WuBAv+fczB6pNU0rN5m7D1eg9KuzsSG@public.gmane.org \
    --cc=linear-UfE5FQABeHN2Qaki92YDXw@public.gmane.org \
    --cc=logic-UfE5FQABeHN2Qaki92YDXw@public.gmane.org \
    --cc=logic-list-pxSi+dnQzZMxHbG02/KK1g@public.gmane.org \
    --cc=mailing-2rwx6yHEWL1lwAJJmLIKuQ@public.gmane.org \
    --cc=nvti-list-rh8NL+sEX9E@public.gmane.org \
    --cc=papm-jNDFPZUTrfRp3KkYoAkZooXGvZO2VSpW@public.gmane.org \
    --cc=puml-list-request-l9TVMAoMiWs2EctHIo1CcQ@public.gmane.org \
    --cc=softtech-CnXeQJCHohM@public.gmane.org \
    --cc=spin_list-7WuBAv+fczB6pNU0rN5m7D1eg9KuzsSG@public.gmane.org \
    --cc=system-safety-JX7+OpRa80SP/wAdlnoHchvRvTJiVFUC@public.gmane.org \
    --cc=theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org \
    --cc=theory-logic-ETDLCGt7PQU@public.gmane.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).