From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 3B5857EE88 for ; Mon, 9 May 2016 12:26:34 +0200 (CEST) IronPort-PHdr: 9a23:kRau+hYeCkFKFM5WCS5VY43/LSx+4OfEezUN459isYplN5qZpcu9bnLW6fgltlLVR4KTs6sC0LqH9fm6EjZZqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0oseYOVwArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Ku4zRLlcSTAnKHwd5cvxtBCFQxHFri8XW2AS1x5JGBTt7RfgX563vDGs5cRn3yzPd+/faJ0PEQzkp+cwFkG00HZGfXZt6CfbzM55ia9A5kn/+UAnkqbPf4iTL/d3OKrWO84ZEzkSFv1NXjBMV9vvJ7AECPAMaL5V 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.1.237; 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.1.237 as permitted sender) identity=mailfrom; client-ip=137.44.1.237; 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.1.237; 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: A0DOAQCiZDBXkO0BLIlegmwhgQB9BqY7kDSEExcBBoJAgzICgSc8EAEBAQEBAQEBEQEBAQEJCwkJIRsJC4ItghuBCwEqHSYTFBIBBBMIiCMBnlacDRiDeQEKAQEBARuMJYJYDgMBHoJGC0AYgi4FjhaFFoRtCAEBFoVmgneFMok1hVYCh2yHTw8ogkGBVW6HSgcXBxgBfgEBAQ X-IPAS-Result: A0DOAQCiZDBXkO0BLIlegmwhgQB9BqY7kDSEExcBBoJAgzICgSc8EAEBAQEBAQEBEQEBAQEJCwkJIRsJC4ItghuBCwEqHSYTFBIBBBMIiCMBnlacDRiDeQEKAQEBARuMJYJYDgMBHoJGC0AYgi4FjhaFFoRtCAEBFoVmgneFMok1hVYCh2yHTw8ogkGBVW6HSgcXBxgBfgEBAQ X-IronPort-AV: E=Sophos;i="5.24,600,1454972400"; d="scan'208,217";a="217385195" Received: from laurel.swan.ac.uk ([137.44.1.237]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 May 2016 12:26:33 +0200 Received: from [137.44.44.31] (helo=hub.tawe.swan.ac.uk) by laurel.swan.ac.uk with esmtp (Exim 4.86_2) (envelope-from ) id 1aziOW-0008KZ-Vb for caml-list@inria.fr; Mon, 09 May 2016 11:26:33 +0100 Received: from ISS-MBX02.tawe.swan.ac.uk ([fe80::38e1:d18e:36dd:4c9a]) by ISS-HUB2.tawe.swan.ac.uk ([fe80::24de:fa53:330d:7424%10]) with mapi id 14.03.0266.001; Mon, 9 May 2016 11:26:32 +0100 From: "JAMES P. (366409)" To: "caml-list@inria.fr" Thread-Topic: WADT 2016 Thread-Index: AdGp3UGZjH23OKY7RZ22iGY0iu81gg== Date: Mon, 9 May 2016 10:26:32 +0000 Message-ID: Accept-Language: en-US, en-GB Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [137.44.60.1] Content-Type: multipart/alternative; boundary="_000_E2F65E100A663B4090BB64CBFBB78F90F6408E7CISSMBX02taweswa_" MIME-Version: 1.0 Subject: [Caml-list] CFP: WADT 2016 --_000_E2F65E100A663B4090BB64CBFBB78F90F6408E7CISSMBX02taweswa_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable CFP: WADT 2016 - 23rd International Workshop on Algebraic Development Techn= iques Link: http://cs.swan.ac.uk/wadt16/ When Sep 21, 2016 - Sep 24, 2016 Where Gregynog, UK Submission Deadline June 3, 2016 Notification June 17, 2016 Final Version Due July 1, 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 3, 2016 Notification of acceptance: June 17, 2016 Early registration: June 17, 2016 Final abstract due: July 1, 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_E2F65E100A663B4090BB64CBFBB78F90F6408E7CISSMBX02taweswa_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

CFP: WADT 2016 - 23rd International Workshop on Alge= braic Development Techniques

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

 

When        =           Sep 21, 2016 - Sep 2= 4, 2016

Where        = ;         Gregynog, UK

Submission Deadline   June  3, 2016

Notification      &nbs= p;   June 17, 2016

Final Version Due     July = 1, 2016

 

AIMS AND SCOPE

 

The algebraic approach to system specification encom= passes many

aspects of the formal design of software systems. Or= iginally born as

formal method for reasoning about abstract data type= s, it now covers

new specification frameworks and programming paradig= ms (such as

object-oriented, aspect-oriented, agent-oriented, lo= gic and

higher-order functional programming) as well as a wi= de range of

application areas (including information systems, co= ncurrent,

distributed and mobile systems). The workshop will p= rovide an

opportunity to present recent and ongoing work, to m= eet colleagues,

and to discuss new ideas and future trends.

 

TOPICS OF INTEREST

 

Typical, but not exclusive topics of interest are: <= o:p>

- Foundations of algebraic specification =

- Other approaches to formal specification, includin= g process

  calculi and models of concurrent, distri= buted and mobile computing

- Specification languages, methods, and environments=

- Semantics of conceptual modelling methods and tech= niques

- Model-driven development

- Graph transformations, term rewriting and proof sy= stems

- 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, Wednesd= ay 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 submi= tted abstracts.

 

IMPORTANT DATES

 

Submission deadline for abstracts: June 3, 2016

Notification of acceptance: June 17, 2016

Early registration: June 17, 2016

Final abstract due: July 1, 2016

Workshop in Gregynog: September 21-24, 2016

 

SUBMISSIONS

 

The scientific programme of the workshop will includ= e presentations of

recent results and ongoing research. The presentatio= ns will be

selected by the Steering Committee on the basis of s= ubmitted abstracts

according to originality, significance and general i= nterest. The

abstracts must be up to two pages long including ref= erences. 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 vi= a the EasyChair

system.

 

PROCEEDINGS

 

After the workshop, authors will be invited to submi= t full papers for

the refereed proceedings. All submissions will be re= viewed; selection

will be based on originality, soundness and signific= ance of the

presented ideas and results. The proceedings will be= published as a

volume of Lecture Notes in Computer Science (Springe= r).

 

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: h= ttp://cs.swan.ac.uk/wadt16/

 

 

 

--_000_E2F65E100A663B4090BB64CBFBB78F90F6408E7CISSMBX02taweswa_--