categories - Category Theory list
 help / color / mirror / Atom feed
From: Eerke Boiten <e.a.boiten-eQnPN5D1UZ61Qrn1Bg8BZw@public.gmane.org>
To: Eerke Boiten <E.A.Boiten-eQnPN5D1UZ61Qrn1Bg8BZw@public.gmane.org>
Cc: eapls-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org,
	agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org,
	cemartin-EZBweehDyzg2EctHIo1CcQ@public.gmane.org,
	fmnet-request-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org,
	Concurrency mailing list
	<concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org>,
	concurrency-rh8NL+sEX9E@public.gmane.org,
	events-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org,
	IPA list
	<ipalist-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org>,
	categories-59hdLBrVOVU@public.gmane.org,
	oose-IUH8PdohV+QGVwEePk/RpQ@public.gmane.org,
	Precise UML <puml-list-l9TVMAoMiWs2EctHIo1CcQ@public.gmane.org>,
	lotos-world-iuUYeJ1cjgIL07fRTtiDAw@public.gmane.org,
	prog-lang-dAYI7NvHqcQ@public.gmane.org,
	relmics-l-x99YXV9q7EosA/PxXw9srA@public.gmane.org,
	appsem-LsC0HFERGYsdnm+yROfE0A@public.gmane.org,
	acl2-NZpS4cJIG2HvQtjrzfazuQ@public.gmane.org,
	SE world <seworld-8MTm7EM7wxev0IrbefU98A@public.gmane.org>,
	pvs-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org,
	members-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org,
	Industrial Critical Systems
	<fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org>,
	isabelle-users-kDbDZe0LBGWFxr2TtlUqVg@public.gmane.org,
	algprog-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org,
	procos-request-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org,
	alloy-3s7WtUTddSA@public.gmane.org,
	coq-club-YJlLV9CSrF6HKRXNmLAf3lAUjnlXr6A1@public.gmane.org,
	alp-request-b/ZIMhAAoiVwvVp3FHjP0g@public.gmane.org,
	Vereniging voor Theoretische Informatici
	<nvti-list-rh8NL+sEX9E@public.gmane.org>,
	caml-announce-MZpvjPyXg2s@public.gmane.org,
	theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org
Subject: CfP: Refinement Workshop: Turku (submissions 21 March)
Date: Wed, 30 Jan 2013 12:37:10 +0000	[thread overview]
Message-ID: <510913F6.7070105@kent.ac.uk> (raw)
In-Reply-To: <alpine.GSO.2.00.1012132251500.6106-qp4vbPF8L9XbhbQrDO8k4Q@public.gmane.org>

[-- Attachment #1: Type: text/plain, Size: 396 bytes --]

Dear all,

Please find attached the Call for Papers for the 2013 Refinement 
Workshop, co-located with IFM 2013, Turku, Finland, 11 June 2013.

Key info: submissions 21 March, EPTCS proceedings, Formal Aspects of 
Computing special issue afterwards;  website: 
http://www.refinenet.org.uk/ref13/

Apologies for duplicates of this email.

The organisers: Eerke Boiten, John Derrick, Steve Reeves


[-- Attachment #2: Refine2013CFP.html --]
[-- Type: text/html, Size: 5928 bytes --]

[-- Attachment #3: Type: text/plain, Size: 189 bytes --]

_______________________________________________
Concurrency mailing list
Concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org
http://listserver.tue.nl/mailman/listinfo/concurrency

  parent reply	other threads:[~2013-01-30 12:37 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-12-13 23:02 CfP: Refinement Workshop 2011 Limerick 20 Jun, submissions 21 Mar Eerke Boiten
     [not found] ` <alpine.GSO.2.00.1012132251500.6106-qp4vbPF8L9XbhbQrDO8k4Q@public.gmane.org>
2013-01-30 12:37   ` Eerke Boiten [this message]
     [not found]     ` <510913F6.7070105-eQnPN5D1UZ61Qrn1Bg8BZw@public.gmane.org>
2015-01-27  9:45       ` CfP: Refinement Workshop: Oslo at FM (submissions 21->28 March) Eerke Boiten

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=510913F6.7070105@kent.ac.uk \
    --to=e.a.boiten-eqnpn5d1uz61qrn1bg8bzw@public.gmane.org \
    --cc=acl2-NZpS4cJIG2HvQtjrzfazuQ@public.gmane.org \
    --cc=agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org \
    --cc=algprog-wzN9gXeOksgSiZgQ0OGTRA@public.gmane.org \
    --cc=alloy-3s7WtUTddSA@public.gmane.org \
    --cc=alp-request-b/ZIMhAAoiVwvVp3FHjP0g@public.gmane.org \
    --cc=appsem-LsC0HFERGYsdnm+yROfE0A@public.gmane.org \
    --cc=caml-announce-MZpvjPyXg2s@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=cemartin-EZBweehDyzg2EctHIo1CcQ@public.gmane.org \
    --cc=concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org \
    --cc=concurrency-rh8NL+sEX9E@public.gmane.org \
    --cc=coq-club-YJlLV9CSrF6HKRXNmLAf3lAUjnlXr6A1@public.gmane.org \
    --cc=eapls-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org \
    --cc=events-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org \
    --cc=fmics-xhhIRkXa/2pvynnTyRI/EA@public.gmane.org \
    --cc=fmnet-request-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org \
    --cc=ipalist-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org \
    --cc=isabelle-users-kDbDZe0LBGWFxr2TtlUqVg@public.gmane.org \
    --cc=lotos-world-iuUYeJ1cjgIL07fRTtiDAw@public.gmane.org \
    --cc=members-UYyDbajZw9Ng9hUCZPvPmw@public.gmane.org \
    --cc=nvti-list-rh8NL+sEX9E@public.gmane.org \
    --cc=oose-IUH8PdohV+QGVwEePk/RpQ@public.gmane.org \
    --cc=procos-request-BJlGqfXgjbjQzY9nttDBhA@public.gmane.org \
    --cc=prog-lang-dAYI7NvHqcQ@public.gmane.org \
    --cc=puml-list-l9TVMAoMiWs2EctHIo1CcQ@public.gmane.org \
    --cc=pvs-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org \
    --cc=relmics-l-x99YXV9q7EosA/PxXw9srA@public.gmane.org \
    --cc=seworld-8MTm7EM7wxev0IrbefU98A@public.gmane.org \
    --cc=theorem-provers-iSp611qFfoI3uPMLIKxrzw@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).