From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.d.james.366409@swansea.ac.uk>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 795197EF5E
	for <caml-list@sympa.inria.fr>; Fri, 15 Jul 2016 14:56:53 +0200 (CEST)
IronPort-PHdr: 9a23:FnsVqRPWMix0cMjakW4l6mtUPXoX/o7sNwtQ0KIMzox0KPv6rarrMEGX3/hxlliBBdydsKMczbaK+P27EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU05j8irv60qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9YwuxhX7rgq/stEFKH7ZLgQTLpCDT1gPXp/rJngvBzHCA+O/Wc0U2MMkxMODRKTvz/gWZKk+AnTk8dGkBHcdY2tE+5oAWXjpe8/UFnkziUOMjMitjqJ1JAo3YpAvxunvBF2hYffJpyWYqktNpjBdM8XEDISFv1aUDZMV9ux
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=p.d.james.366409@swansea.ac.uk; spf=Pass smtp.mailfrom=p.d.james.366409@swansea.ac.uk; spf=None smtp.helo=postmaster@laurel.swan.ac.uk
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  p.d.james.366409@swansea.ac.uk) identity=pra;
  client-ip=137.44.100.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="p.d.james.366409@swansea.ac.uk";
  x-sender="p.d.james.366409@swansea.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  p.d.james.366409@swansea.ac.uk designates 137.44.100.6 as
  permitted sender) identity=mailfrom; client-ip=137.44.100.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="p.d.james.366409@swansea.ac.uk";
  x-sender="p.d.james.366409@swansea.ac.uk";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@laurel.swan.ac.uk) identity=helo;
  client-ip=137.44.100.6;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="p.d.james.366409@swansea.ac.uk";
  x-sender="postmaster@laurel.swan.ac.uk";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DTAAAz3YhXhgZkLIlcgnAhgQN8BrZdgg+Bex6CRYM3AoEsOhIBAQEBAQEBAREBAQEKCQsJISQLgjIVghwdbgEqQxMmAQQTCIgoAaFpmiAYg18BCgEBAQEiikaBaoJZCgQDAR6CRwtYgi8FjkGFH4U3CAEBARiFeoJ7hVeJRoVliDqHYSUCgkmBV26FDwINFwcYAX4BAQE
X-IPAS-Result: A0DTAAAz3YhXhgZkLIlcgnAhgQN8BrZdgg+Bex6CRYM3AoEsOhIBAQEBAQEBAREBAQEKCQsJISQLgjIVghwdbgEqQxMmAQQTCIgoAaFpmiAYg18BCgEBAQEiikaBaoJZCgQDAR6CRwtYgi8FjkGFH4U3CAEBARiFeoJ7hVeJRoVliDqHYSUCgkmBV26FDwINFwcYAX4BAQE
X-IronPort-AV: E=Sophos;i="5.28,368,1464645600"; 
   d="scan'208,217";a="226805111"
Received: from laurel.swan.ac.uk ([137.44.100.6])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jul 2016 14:56:43 +0200
Received: from [137.44.44.30] (helo=hub.tawe.swan.ac.uk)
	by laurel.swan.ac.uk with esmtp (Exim 4.87)
	(envelope-from <p.d.james.366409@swansea.ac.uk>)
	id 1bO2fV-0004L1-Nt
	for caml-list@inria.fr; Fri, 15 Jul 2016 13:56:38 +0100
Received: from ISS-MBX03.tawe.swan.ac.uk ([fe80::bdf1:cc1b:b2dd:55a6]) by
 ISS-HUB1.tawe.swan.ac.uk ([fe80::e1f7:9e59:9f77:e0e3%10]) with mapi id
 14.03.0266.001; Fri, 15 Jul 2016 13:56:32 +0100
From: "JAMES P. (366409)" <p.d.james.366409@swansea.ac.uk>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Thread-Topic: Call For Participation: WADT 2016 
Thread-Index: AdHemE8bL4tGD/ZJR7meL/XN5LJieQ==
Date: Fri, 15 Jul 2016 12:56:31 +0000
Message-ID: <E2F65E100A663B4090BB64CBFBB78F90F641AC9C@ISS-MBX03.tawe.swan.ac.uk>
Accept-Language: en-US, en-GB
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-originating-ip: [137.44.60.2]
Content-Type: multipart/alternative;
	boundary="_000_E2F65E100A663B4090BB64CBFBB78F90F641AC9CISSMBX03taweswa_"
MIME-Version: 1.0
Subject: [Caml-list] Call For Participation: WADT 2016

--_000_E2F65E100A663B4090BB64CBFBB78F90F641AC9CISSMBX03taweswa_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Registration for WADT 2016 is now open.

Early registration ends on:

     Monday, July 18, 2016.

Note that we can offer a number of reduced rate places for
students / young researchers to attend WADT'16, who are not registered
as an author for a paper. These places are limited to early
registration.

Link: http://cs.swan.ac.uk/wadt16/

When                        Sep 21, 2016 - Sep 24, 2016
Where                       Gregynog, UK
Submission Deadline   June  17, 2016 (extended)
Notification                July 3, 2016 (extended)
Final Version Due       July  15, 2016


AIMS AND SCOPE

The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born as
formal method for reasoning about abstract data types, it now covers
new specification frameworks and programming paradigms (such as
object-oriented, aspect-oriented, agent-oriented, logic and
higher-order functional programming) as well as a wide range of
application areas (including information systems, concurrent,
distributed and mobile systems). The workshop will provide an
opportunity to present recent and ongoing work, to meet colleagues,
and to discuss new ideas and future trends.


TOPICS OF INTEREST

Typical, but not exclusive topics of interest are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process
  calculi and models of concurrent, distributed and mobile computing
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Model-driven development
- Graph transformations, term rewriting and proof systems
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification


INVITED SPEAKERS

- Alessio Lomuscio (London, UK)
- Till Mossakowski (Magdeburg, Germany)
- John Tucker (Swansea, UK)


WORKSHOP FORMAT AND LOCATION

The workshop will take place over four days, Wednesday to Saturday, at
Gregynog Hall in Wales, UK (http://www.gregynog.org). Participants
should arrive on Tuesday evening, the workshop will end on Saturday
with lunch.

Presentations will be selected on the basis of submitted abstracts.


IMPORTANT DATES

Submission deadline for abstracts: June 17, 2016 (extended)
Notification of acceptance: July 3, 2016 (extended)
Early registration: July 3, 2016 (delayed)
Final abstract due: July 15, 2016
Workshop in Gregynog: September 21-24, 2016


SUBMISSIONS

The scientific programme of the workshop will include presentations of
recent results and ongoing research. The presentations will be
selected by the Steering Committee on the basis of submitted abstracts
according to originality, significance and general interest. The
abstracts must be up to two pages long including references. If a
longer version of the contribution is available, it can be made
accessible on the web and referenced in the abstract.

The abstracts have to be submitted electronically via the EasyChair
system.


PROCEEDINGS

After the workshop, authors will be invited to submit full papers for
the refereed proceedings. All submissions will be reviewed; selection
will be based on originality, soundness and significance of the
presented ideas and results. The proceedings will be published as a
volume of Lecture Notes in Computer Science (Springer).


SPONSORSHIP

The workshop takes place under the auspices of IFIP WG 1.3.


WADT STEERING COMMITTEE

Andrea Corradini (Italy)
Jose Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-Jorg Kreowski (Germany)
Till Mossakowski (Germany)
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Markus Roggenbach (UK) [chair]
Grigore Rosu (United States)
Andrzej Tarlecki (Poland)


ORGANIZING COMMITTEE

Phillip James (UK)
Markus Roggenbach (UK)


CONTACT INFORMATION

Email: M.Roggenbach@Swansea.ac.uk
Homepage: http://cs.swan.ac.uk/wadt16/

--_000_E2F65E100A663B4090BB64CBFBB78F90F641AC9CISSMBX03taweswa_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<html dir=3D"ltr">
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" id=3D"owaParaStyle"></style>
</head>
<body fpstyle=3D"1" ocsi=3D"0">
<div style=3D"direction: ltr;font-family: Tahoma;color: #000000;font-size: =
10pt;">
<div><span style=3D"font-size: 10pt;">Registration for WADT 2016 is now ope=
n.&nbsp;</span></div>
<div><br>
</div>
<div>Early registration ends on:</div>
<div><br>
</div>
<div>&nbsp; &nbsp; &nbsp;Monday, July 18, 2016.&nbsp;</div>
<div><br>
</div>
<div>Note that we can offer a number of reduced rate places for</div>
<div>students / young researchers to attend WADT'16, who are not registered=
</div>
<div>as an author for a paper. These places are limited to early</div>
<div>registration.</div>
<div><br>
</div>
<div>Link: http://cs.swan.ac.uk/wadt16/</div>
<div><br>
</div>
<div>When &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &n=
bsp; &nbsp; &nbsp;Sep 21, 2016 - Sep 24, 2016</div>
<div>Where &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; Gregynog, UK</div>
<div>Submission Deadline &nbsp; June &nbsp;17, 2016 (extended)</div>
<div>Notification &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Ju=
ly 3, 2016 (extended)</div>
<div>Final Version Due &nbsp; &nbsp; &nbsp; July &nbsp;15, 2016</div>
<div><br>
</div>
<div><br>
</div>
<div>AIMS AND SCOPE</div>
<div><br>
</div>
<div>The algebraic approach to system specification encompasses many</div>
<div>aspects of the formal design of software systems. Originally born as</=
div>
<div>formal method for reasoning about abstract data types, it now covers</=
div>
<div>new specification frameworks and programming paradigms (such as</div>
<div>object-oriented, aspect-oriented, agent-oriented, logic and</div>
<div>higher-order functional programming) as well as a wide range of</div>
<div>application areas (including information systems, concurrent,</div>
<div>distributed and mobile systems). The workshop will provide an</div>
<div>opportunity to present recent and ongoing work, to meet colleagues,</d=
iv>
<div>and to discuss new ideas and future trends.</div>
<div><br>
</div>
<div><br>
</div>
<div>TOPICS OF INTEREST</div>
<div><br>
</div>
<div>Typical, but not exclusive topics of interest are:</div>
<div>- Foundations of algebraic specification</div>
<div>- Other approaches to formal specification, including process</div>
<div>&nbsp; calculi and models of concurrent, distributed and mobile comput=
ing</div>
<div>- Specification languages, methods, and environments</div>
<div>- Semantics of conceptual modelling methods and techniques</div>
<div>- Model-driven development</div>
<div>- Graph transformations, term rewriting and proof systems</div>
<div>- Integration of formal specification techniques</div>
<div>- Formal testing and quality assurance, validation, and verification</=
div>
<div><br>
</div>
<div><br>
</div>
<div>INVITED SPEAKERS</div>
<div><br>
</div>
<div>- Alessio Lomuscio (London, UK)</div>
<div>- Till Mossakowski (Magdeburg, Germany)</div>
<div>- John Tucker (Swansea, UK)</div>
<div><br>
</div>
<div><br>
</div>
<div>WORKSHOP FORMAT AND LOCATION</div>
<div><br>
</div>
<div>The workshop will take place over four days, Wednesday to Saturday, at=
</div>
<div>Gregynog Hall in Wales, UK (http://www.gregynog.org). Participants</di=
v>
<div>should arrive on Tuesday evening, the workshop will end on Saturday</d=
iv>
<div>with lunch.</div>
<div><br>
</div>
<div>Presentations will be selected on the basis of submitted abstracts.</d=
iv>
<div><br>
</div>
<div><br>
</div>
<div>IMPORTANT DATES</div>
<div><br>
</div>
<div>Submission deadline for abstracts: June 17, 2016 (extended)</div>
<div>Notification of acceptance: July 3, 2016 (extended)</div>
<div>Early registration: July 3, 2016 (delayed)</div>
<div>Final abstract due: July 15, 2016</div>
<div>Workshop in Gregynog: September 21-24, 2016</div>
<div><br>
</div>
<div><br>
</div>
<div>SUBMISSIONS</div>
<div><br>
</div>
<div>The scientific programme of the workshop will include presentations of=
</div>
<div>recent results and ongoing research. The presentations will be</div>
<div>selected by the Steering Committee on the basis of submitted abstracts=
</div>
<div>according to originality, significance and general interest. The</div>
<div>abstracts must be up to two pages long including references. If a</div>
<div>longer version of the contribution is available, it can be made</div>
<div>accessible on the web and referenced in the abstract.</div>
<div><br>
</div>
<div>The abstracts have to be submitted electronically via the EasyChair</d=
iv>
<div>system.</div>
<div><br>
</div>
<div><br>
</div>
<div>PROCEEDINGS</div>
<div><br>
</div>
<div>After the workshop, authors will be invited to submit full papers for<=
/div>
<div>the refereed proceedings. All submissions will be reviewed; selection<=
/div>
<div>will be based on originality, soundness and significance of the</div>
<div>presented ideas and results. The proceedings will be published as a</d=
iv>
<div>volume of Lecture Notes in Computer Science (Springer).</div>
<div><br>
</div>
<div><br>
</div>
<div>SPONSORSHIP</div>
<div><br>
</div>
<div>The workshop takes place under the auspices of IFIP WG 1.3.</div>
<div><br>
</div>
<div><br>
</div>
<div>WADT STEERING COMMITTEE</div>
<div><br>
</div>
<div>Andrea Corradini (Italy)</div>
<div>Jose Fiadeiro (UK)</div>
<div>Rolf Hennicker (Germany)</div>
<div>Hans-Jorg Kreowski (Germany)</div>
<div>Till Mossakowski (Germany)</div>
<div>Fernando Orejas (Spain)</div>
<div>Francesco Parisi-Presicce (Italy)</div>
<div>Markus Roggenbach (UK) [chair]</div>
<div>Grigore Rosu (United States)</div>
<div>Andrzej Tarlecki (Poland)</div>
<div><br>
</div>
<div><br>
</div>
<div>ORGANIZING COMMITTEE</div>
<div><br>
</div>
<div>Phillip James (UK)</div>
<div>Markus Roggenbach (UK)</div>
<div><br>
</div>
<div><br>
</div>
<div>CONTACT INFORMATION</div>
<div><br>
</div>
<div>Email: M.Roggenbach@Swansea.ac.uk</div>
<div>Homepage: http://cs.swan.ac.uk/wadt16/</div>
</div>
</body>
</html>

--_000_E2F65E100A663B4090BB64CBFBB78F90F641AC9CISSMBX03taweswa_--