From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB69FgeE021159 for ; Tue, 6 Dec 2011 10:15:42 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AssBACDc3U7dx9kLlGdsb2JhbABEhQWiW4J7IgEBAQEJCwkJFAUggXQiBkMCCiBEAoEOh3OVCY4CkgSKHDNjBJRmkjQ X-IronPort-AV: E=Sophos;i="4.71,304,1320620400"; d="scan'208,217";a="134115032" Received: from ajax.nicta.com.au ([221.199.217.11]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 06 Dec 2011 10:15:35 +0100 Received: from atp-mbx1.it.nicta.com.au ([221.199.216.123] helo=atp-mbx1.in.nicta.com.au) by ajax.nicta.com.au with esmtp (Exim 4.72) (envelope-from ) id 1RXr7c-0002KR-QL for caml-list@inria.fr; Tue, 06 Dec 2011 20:15:32 +1100 Received: from 0a0f1b26.ipt.nicta.com.au (221.199.216.124) by atp-mbx1.in.nicta.com.au (221.199.216.123) with Microsoft SMTP Server (TLS) id 8.3.192.1; Tue, 6 Dec 2011 20:15:10 +1100 From: =?iso-8859-1?Q?Peter_H=F6fner?= Content-Type: multipart/alternative; boundary="Apple-Mail=_E2D9F5B7-3748-4D5C-A248-8170ED83F32D" Date: Tue, 6 Dec 2011 20:15:10 +1100 Message-ID: To: caml-list@inria.fr MIME-Version: 1.0 (Apple Message framework v1251.1) X-Mailer: Apple Mail (2.1251.1) X-TM-AS-Product-Ver: SMEX-8.0.0.4125-6.500.1024-18562.005 X-TM-AS-Result: No--27.684400-0.000000-31 X-TM-AS-User-Approved-Sender: Yes X-TM-AS-User-Blocked-Sender: No X-SA-Exim-Connect-IP: 221.199.216.123 X-SA-Exim-Mail-From: Peter.Hoefner@nicta.com.au X-SA-Exim-Scanned: No (on ajax.nicta.com.au); SAEximRunCond expanded to false X-Validation-by: peter.hoefner@nicta.com.au Subject: [Caml-list] RAMiCS 13 Call for Papers: Relational and Algebraic Methods in Computer Science --Apple-Mail=_E2D9F5B7-3748-4D5C-A248-8170ED83F32D Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" CALL FOR PAPERS 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13) 17--21 September 2012, Cambridge University, UK http://www.cl.cam.ac.uk/conference/ramics13/ Scope ----- We invite submissions in the general area of Relational and Algebraic Metho= ds in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Particular topics of interest for the conference cover, but are not limited to: * Algebraic approaches to - specification, development, verification, and analysis of programs and algorithms - computational logic, in particular logics of programs, modal and dynamic logics, interval and temporal logics - semantics of programming languages * Applications in fields such as - relational formal methods such as B or Z, tabular methods - information systems - graph theory and combinatorial optimisation - games, automata and language theory - spatio-temporal reasoning, knowledge acquisition - preference and scaling methods, computational social choice, social software * Theoretical foundations and supporting tools, including - mechanised and automated reasoning, decision procedures - process algebras, fixed point calculi, idempotent semirings, quantales, allegories - dynamic algebras, cylindric algebras and their applications in computing History ------- Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA. The predecessors of this conference were held in Dagstuhl (January 1994), Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998), Qu=C3=83=C2=A9bec (January 2000), Dagstuhl (February 2001), Oisterwijk (Oct= ober 2001), Malente (April 2003), St. Catherines (January 2005), Manchester (September 2006), Frauenw=C3=B6rth (April 2008), Doha (November 2009), and Rotterdam (June 2011). Student Program --------------- The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website. Important Dates --------------- Title and abstract submission: April 23 2012 Submission of full papers: April 30 2012 Notification: June 15 2012 Final versions due (firm deadline): July 10 2012 Conference Sept. 17-21 2012 Programme Committee ------------------- Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Harrie de Swart (Rotterdam, Netherlands) Marc Frappier (Sherbroooke, Canada) Hitoshi Furusawa (Kagoshima, Japan) Timothy G. Griffin (Cambridge, UK; General Chair) Peter H=C3=B6fner (NICTA, Australia) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA) Wolfram Kahl (McMaster U., Canada; PC Chair) Larissa Meinicke (U. Queensland, Australia) Bernhard M=C3=B6ller (Augsburg, Germany) Peter O'Hearn (Queen Mary U., UK) Jos=C3=A9 Nuno Oliveira (U. Minho, Portugal) Ewa Or=C5=82owska (Warsaw, Poland) Damien Pous (INRIA Grenoble, France) Holger Schlingloff (Berlin, Germany) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Georg Struth (Sheffield, UK) George Theodorakopoulos (Derby, UK) Michael Winter (Brock U., Canada) Steering Committee ------------------ Rudolf Berghammer, Kiel, Germany Jules Desharnais, Laval U., Canada Harrie de Swart, Rotterdam, Netherlands Ali Jaoua, Doha, Qatar Bernhard M=C3=B6ller, Augsburg, Germany Ewa Orlowska, Warsaw, Poland Gunther Schmidt, Munich, Germany Renate Schmidt, Manchester, UK Michael Winter, Brock U., Canada Organising Committee -------------------- Timothy G. Griffin, Cambridge, UK: Conference Chair, Local Organiser Peter H=C3=B6fner, NICTA, Australia: Publicity Wolfram Kahl, McMaster U., Canada: PC Chair ________________________________ The information in this e-mail may be confidential and subject to legal pro= fessional privilege and/or copyright. National ICT Australia Limited accept= s no liability for any damage caused by this email or its attachments. --Apple-Mail=_E2D9F5B7-3748-4D5C-A248-8170ED83F32D Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="utf-8" 
             =
             CALL FOR PAPERS
                 13th International Conference on
   Relational and Algebraic Methods in Computer Science (RAMiCS 13)
          17--21 September 2012, Cambridge University, UK
            http:/=
/www.cl.cam.ac.uk/conference/ramics13/

Scope
-----

We invite submissions in the general area of Relational and Algebraic Metho=
ds
in Computer Science. Special focus will lie on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.

Particular topics of interest for the conference cover,
but are not limited to:

* Algebraic approaches to
  - specification, development, verification, and analysis of programs
    and algorithms
  - computational logic, in particular logics of programs, modal and
    dynamic logics, interval and temporal logics
  - semantics of programming languages

* Applications in fields such as
  - relational formal methods such as B or Z, tabular methods
  - information systems
  - graph theory and combinatorial optimisation
  - games, automata and language theory
  - spatio-temporal reasoning, knowledge acquisition
  - preference and scaling methods, computational social choice,
    social software

* Theoretical foundations and supporting tools, including
  - mechanised and automated reasoning, decision procedures
  - process algebras, fixed point calculi, idempotent semirings,
    quantales, allegories
  - dynamic algebras, cylindric algebras and their applications in computing


History
-------

Since 1994, the RelMiCS meetings on Relational Methods in Computer Science
have been a main forum for researchers who use the calculus of relations
and similar algebraic formalisms as methodological and conceptual tools.
The AKA workshop series on Applications of Kleene algebra started with a
Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference
until 2009. Since 2011, joint RAMiCS conferences continue to encompass
the scope of both RelMiCS and AKA.

The predecessors of this conference were held in Dagstuhl (January 1994),
Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998),
Qu=C3=83=C2=A9bec (January 2000), Dagstuhl (February 2001), Oisterwijk (Oct=
ober 2001),
Malente (April 2003), St. Catherines (January 2005), Manchester
(September 2006), Frauenw=C3=B6rth (April 2008), Doha (November 2009), and
Rotterdam (June 2011).


Student Program
---------------

The conference will be accompanied by a PhD training program. Details will
be published in due time in a special call and on the conference website.


Important Dates
---------------

    Title and abstract submission:         April    23  2012
    Submission of full papers:             April    30  2012
    Notification:                          June     15  2012
    Final versions due (firm deadline):    July     10  2012
    Conference                             Sept. 17-21  2012


Programme Committee
-------------------

    Rudolf Berghammer        (Kiel, Germany)
    Jules Desharnais         (Laval U., Canada)
    Harrie de Swart          (Rotterdam, Netherlands)
    Marc Frappier            (Sherbroooke, Canada)
    Hitoshi Furusawa         (Kagoshima, Japan)
    Timothy G. Griffin       (Cambridge, UK; General Chair)
    Peter H=C3=B6fner             (NICTA, Australia)
    Ali Jaoua                (Doha, Qatar)
    Peter Jipsen             (Chapman U., USA)
    Wolfram Kahl             (McMaster U., Canada; PC Chair)
    Larissa Meinicke         (U. Queensland, Australia)
    Bernhard M=C3=B6ller          (Augsburg, Germany)
    Peter O'Hearn            (Queen Mary U., UK)
    Jos=C3=A9 Nuno Oliveira       (U. Minho, Portugal)
    Ewa Or=C5=82owska             (Warsaw, Poland)
    Damien Pous              (INRIA Grenoble, France)
    Holger Schlingloff       (Berlin, Germany)
    Gunther Schmidt          (Munich, Germany)
    Renate Schmidt           (Manchester, UK)
    Georg Struth             (Sheffield, UK)
    George Theodorakopoulos  (Derby, UK)
    Michael Winter           (Brock U., Canada)

Steering Committee
------------------

    Rudolf Berghammer, Kiel, Germany
    Jules Desharnais, Laval U., Canada
    Harrie de Swart, Rotterdam, Netherlands
    Ali Jaoua, Doha, Qatar
    Bernhard M=C3=B6ller, Augsburg, Germany
    Ewa Orlowska, Warsaw, Poland
    Gunther Schmidt, Munich, Germany
    Renate Schmidt, Manchester, UK
    Michael Winter, Brock U., Canada

Organising Committee
--------------------

    Timothy G. Griffin, Cambridge, UK: Conference Chair, Local Organiser
    Peter H=C3=B6fner, NICTA, Australia: Publicity
    Wolfram Kahl, McMaster U., Canada: PC Chair


The information in this e-ma= il may be confidential and subject to legal professional privilege and/or c= opyright. National ICT Australia Limited accepts no liability for any damag= e caused by this email or its attachments.
 --Apple-Mail=_E2D9F5B7-3748-4D5C-A248-8170ED83F32D--