Calls for participation: 2012-03

2012-03-30

[Caml-list] The Turing Centenary Conference in Manchester: 2nd Call for Papers and Call For Participation

THE TURING CENTENARY CONFERENCE
Manchester, UK, June 22-25, 2012
http://www.turing100.manchester.ac.uk/

Second announcement, call for submissions and call for participation.

Features:

(1) Ten Turing Award winners, a Templeton Award winner and
Garry Kasparov as invited speakers
(2) GBP 20,000 worth best paper award program, including
GBP 5,000 best paper award
(3) Two panels and two public lectures
(4) Turing Fellowship award ceremony
(5) Computer chess programme
(6) Competition of programs proving theorems
(7) and many more ...

For more details please check
http://www.turing100.manchester.ac.uk/.

Note that the registration is now open.

SPEAKERS

Confirmed invited speakers:

- Fred Brooks (University of North Carolina)
- Rodney Brooks (MIT)
- Vint Cerf (Google)
- Ed Clarke (Carnegie Mellon University)
- Jack Copeland (University of Canterbury, New Zealand)
- George Francis Rayner Ellis (University of Cape Town)
- David Ferrucci (IBM)
- Tony Hoare (Microsoft Research)
- Garry Kasparov (Kasparov Chess Foundation)
- Samuel Klein (Wikipedia)
- Don Knuth (Stanford University)
- Yuri Matiyasevich (Institute of Mathematics, St. Petersburg)
- Hans Meinhardt (Max-Planck Institute for Developmental Biology)
- Roger Penrose (University of Oxford)
- Adi Shamir (Weizmann Institute of Science)
- Michael Rabin (Harvard University)
- Leslie Valiant (Harvard University)
- Manuela M. Veloso (Carnegie Mellon University)
- Andrew Yao (Tsinghua University)

Confirmed panel speakers:

- Ron Brachman (Yahoo Labs)
- Steve Furber (The University of Manchester)
- Carole Goble (The University of Manchester)
- Pat Hayes (Institute for Human and Machine Cognition, Pensacola)
- Bertrand Meyer (Swiss Federal Institute of Technology)
- Moshe Vardi (Rice University)

SUBMISSIONS:

The Turing Centenary Conference will include invited talks and a
poster session. Submissions are sought in several areas of computer
science, mathematics and biology.

Submissions of two kinds are welcome:

- Regular papers
- Research reports

All submitted papers must be in the PDF format and between 3 and 15
pages long. All submissions will be evaluated by the programme
committee. Submission is through the EasyChair system,
https://www.easychair.org/conferences/?conf=turing100.

Regular papers must include original work not submitted before or
during the Turing-100 reviewing period to any other event with
published proceedings or a journal. All submitted regular papers will
be considered eligible for the best paper awards.

Research reports can contain work in progress and/or be based on
previously submitted work. They will not be eligible for the best
paper awards.

*** Areas ***

Submissions are welcome in all areas of computer science, mathematics
and biology listed below:

- computation theory
- logic in computation
- artificial intelligence
- social aspects of computation
- models of computation
- program analysis
- mathematics of evolution and emergence
- knowledge processing
- natural language processing
- cryptography
- machine learning
- cognitive science
- mathematical biology

*** Schedule and conference proceedings ***

The submission deadline is April 16. All submissions will be evaluated
by the programme committee. Authors will be notified by acceptance or
rejection on or before May 1st. At least one author of every accepted
paper must register for the conference, attend it and present the
paper at the poster session. All accepted papers will be published in
the conference proceedings and available at the conference. The
instructions on preparing final versions for the proceedings will
appear on the Turing-100 Web site.

*** Submissions and Best paper awards ***

A subset of accepted regular papers will be selected by the programme
committee for the second round of reviewing. The authors of the
selected papers will be invited to submit revised versions of their
papers by May 16. The programme committee will make decisions on best
paper awards by June 14. All papers receiving the award will be
published in a book dedicated to the conference and published after
the conference. This book will also contain some papers by invited and
panel speakers.

In the case of doubts about the relevance of your paper to the
conference and for all other queries please contact programme chair
Andrei Voronkov at andrei@voronkov.com.

See http://www.turing100.manchester.ac.uk/index.php/submission
for more details.

BEST PAPER AWARDS:

A subset of poster session submissions will be selected as
candidates for best paper awards:

- The best paper award of GBP 5,000
- The best young researcher best paper award of GBP 3,000
- The second best paper award of GBP 2,500
- The second best young researcher best paper award of GBP 1,500
- Sixteen (16) awards of GBP 500 each

See http://www.turing100.manchester.ac.uk/index.php/submission/bestpaper
for more details.

REGISTRATION:

The number of participants is limited. Register early to avoid
disappointment! To register, access
https://www.easychair.org/conferences/?conf=turing100 and click on
"Registration".

*** Registration fees ***

All fees are in Pound Sterling.

early (on or before May 3) late (May 4 or later)
Student 280 330
Regular 380 450

To qualify for a student registration you must be a full-time student
on June 23, 2012.

The registration fees include

- Attendance of sessions
- Conference reception
- Conference dinner
- Coffee breaks and lunches
- Poster session proceedings

There will be a travel support programme for students and attendees
from countries where getting funding for travel is hardly possible.

For more details about registration check
http://www.turing100.manchester.ac.uk/index.php/registration.

DATES:

April 16: Poster session submission deadline
May 1: Poster session notification and selection of
candidates for awards
May 15: Final versions of poster session papers
May 16: Submission of full versions of papers selected for awards
June 14: Best paper award decisions
June 22-25: Conference
July 15: Final versions of papers selected for awards

CHAIRS:

Honorary Chairs:
Rodney Brooks (MIT)
Roger Penrose (Oxford)
Conference Chairs:
Matthias Baaz (Vienna University of Technology)
Andrei Voronkov (The University of Manchester)
Turing Fellowships Chair:
Barry Cooper (University of Leeds)
Theorem Proving Competition Chair:
Geoff Sutcliffe (University of Miami)
Programme Chair
Andrei Voronkov (The University of Manchester)

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

2012-03-29

[Caml-list] CALL FOR PARTICIPATION: FLOPS 2012

CALL FOR PARTICIPATION: FLOPS 2012
==================================

Eleventh International Symposium on Functional and Logic Programming
May 23-25, 2012
Takikawa Memorial Hall, Kobe University,
Kobe, Japan
http://www.org.kobe-u.ac.jp/flops2012/
*Early Registration: April 25 (Wed)*

FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms.

The 23rd International Conference on Rewriting Techniques and
Applications (RTA 2012) and satellite workshops including WFLP 2012
will be held in the week after FLOPS at Nagoya, Japan.

Invited Speakers @ FLOPS
================
- Tachio Terauchi (Graduate School of Information Science, Nagoya
University).
Automated Verification of Higher-order Functional Programs
- Michael Codish (Department of Computer Science, Ben-Gurion
University of the Negev).
Programming with Boolean Satisfaction
- Stephanie Weirich (School of Engineering and Applied Science,
University of Pennsylvania).
Dependently-typed programming in GHC

See the full program at http://www.org.kobe-u.ac.jp/flops2012/program.html

CONFERENCE ORGANIZERS

GENERAL CHAIR
=============
- Naoyuki Tamura (Kobe University, Japan)

PROGRAM CO-CHAIRS
=================
- Tom Schrijvers (Ghent University, Belgium)
- Peter Thiemann (University of Freiburg, Germany)

CONFERENCE SPONSORS
===================
- Japan Society for Software Science and Technology (JSSST) SIGPPL
- Information Science and Technology Center, Kobe University

IN COOPERATION WITH
===================
- ACM SIGPLAN
- Asian Association for Foundation of Software (AAFS)
- Association for Logic Programming (ALP)

2012-03-16

[Caml-list] WING 2012: Second Call for Papers -- 3 weeks to go

[Please post - apologies for multiple copies.]

----------------------------------------------------
WING 2012 - 4th International Workshop on INvariant Generation
http://cs.nyu.edu/acsys/wing2012/
June 30, 2012
Manchester, UK (a satellite Workshop of IJCAR 2012)
----------------------------------------------------
--- Second Call for Papers : 3 weeks to go ---

General
-------

The ability to automatically extract and synthesize auxiliary
properties of programs has had a profound effect on program analysis,
testing, and verification over the last several decades. A key
impediment for program verification is the overhead associated with
providing, debugging, and verifying auxiliary invariant
annotations. Releasing the software developer from this burden is
crucial for ensuring the practical relevance of program verification.
In the context of testing, suitable invariants have the potential of
enabling high-coverage test-case generation. Thus, invariant
generation is a key ingredient in a broad spectrum of tools that help
to improve program reliability and understanding. As the design and
implementation of reliable software remains an important issue, any
progress in this area will have a significant impact.

The increasing power of automated theorem proving and computer algebra
has opened new perspectives for computer-aided program verification;
in particular for the automatic generation of inductive assertions in
order to reason about loops and recursion. Especially promising
breakthroughs are invariant generation techniques by Groebner bases,
quantifier elimination, and algorithmic combinatorics, which can be
used in conjunction with model checking, theorem proving, static
analysis, and abstract interpretation. The aim of this workshop is to
bring together researchers from these diverse fields.

Scope
-----

We encourage submissions presenting work in progress, tools under
development, as well as work by PhD students, such that the
workshop can become a forum for active dialogue between the groups
involved in this new research area.

Relevant topics include (but are not limited to) the following:

* Program analysis and verification
* Inductive Assertion Generation
* Inductive Proofs for Reasoning about Loops
* Applications to Assertion Generation using the following tools:
- Abstract Interpretation,
- Static Analysis,
- Model Checking,
- Theorem Proving,
- Theory Formation,
- Algebraic Techniques
* Tools for inductive assertion generation and verification
* Alternative techniques for reasoning about loops

Invited speaker
-----------------

* Aditya Nori (Microsoft Research)

Committee
-----------------

Program Chairs:

* Gudmund Grov (University of Edinburgh, UK)
* Thomas Wies (New York University, USA)

Program Committee:

* Clark Barrett (New York University, USA)
* Nikolaj Bjorner (Microsoft Research, USA)
* Gudmund Grov (University of Edinburgh, UK)
* Ashutosh Gupta (IST Austria)
* Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
* Moa Johansson (Chalmers University of Technology, Sweden)
* Laura Kovacs (Vienna University of Technology, Austria)
* David Monniaux (VERIMAG, France)
* Enric Rodriguez Carbonell (Technical University of Catalonia, Spain)
* Helmut Veith (Vienna University of Technology, Austria)
* Thomas Wies (New York University, USA)

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

Submission deadline: April 06, 2012
Notification of acceptance: May 04, 2012
Final version due: June 08, 2012
Workshop: June 30, 2012

Submission
----------

WING 2012 encourages submissions in the following two categories:

* Original papers: contain original research (simultaneous submissions
are not allowed) and sufficient detail to assess the merits and
relevance of the submission. Given the informal style of the
workshop, papers describing work in progress, with sufficient detail
to assess the contribution, are also welcome. Original papers should
not exceed 15 pages.

* Extended abstracts: contain preliminary reports of work in progress,
case studies, or tool descriptions. These will be judged based on
the expected level of interest for the WING community. They will be
included in the CEUR-WS proceedings. Extended abstracts should not
exceed 5 pages.

All submissions should conform to Springer's LNCS format. Formatting style
files can be found at

http://www.springer.de/comp/lncs/authors.html

Technical details may be included in an appendix to be read at the reviewers'
discretion and to be omitted in the final version.

Please prepare your submission in accordance with the rules described above and
submit a pdf file via

https://www.easychair.org/?conf=wing2012

Publication
-----------

All submissions will be peer-reviewed by the program committee.
Accepted contributions will be published in archived electronic notes,
as a volume of CEUR Workshop Proceedings.

A special issue of the Journal of Science of Computer Programming with
extended versions of selected papers will be published after the workshop.

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

2012-03-08

[Caml-list] SFM-12:MDE in Bertinoro -- last call for participation

***********************************************************
* *
* SFM-12:MDE *
* *
* 12th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Model-Driven Engineering *
* *
* Bertinoro (Italy), 18-23 June 2012 *
* *
* http://www.sti.uniurb.it/events/sfm12mde/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2012) *
***********************************************************

GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.

The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.

This year SFM is devoted to model-driven engineering and covers
topics such as modeling languages, model transformations, functional
and performance modeling and analysis, and model evolution.

COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^

The school features the following lectures and lab sessions:

"MDE Basics with a UML Focus"
Bran Selic (Malina Software Corporation, CA)

"MDE Basics with a DSL Focus"
Mark van den Brand (Tech. Univ. Eindhoven, NL)

"The Object Constraint Language"
Jordi Cabot (Ecole de Mines de Nantes, FR)

"Model Transformations"
Alfonso Pierantonio (Univ. L'Aquila, IT)

"Graph Transformations"
Holger Giese (Univ. Potsdam, DE)

"Abstractions for Behavior Validation"
Sebastian Uchitel (Imperial College London, UK)

"Software Performance Modeling"
Dorina Petriu (Carleton Univ. Ottawa, CA)

"Model Transformations in Non-Functional Analysis"
Steffen Becker (Univ. Paderborn, DE)

"Performance Antipatterns: Modeling and Analysis"
Vittorio Cortellessa (Univ. L'Aquila, IT)

"Model Versioning"
Gerti Kappel (Tech. Univ. Wien, AT)

"Model Evolution Management"
Krzysztof Czarnecki (Univ. Waterloo, CA)

"Formal Specification and Testing of Model Transformations"
Antonio Vallecillo (Univ. Malaga, ES)

All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.

LOCATION
^^^^^^^^

SFM-12:MDE will be held in the medieval hilltop town of Bertinoro.

This town is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
The closest airport is the "L. Ridolfi" airport of Forli`, which is
13 km away.

Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.

Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Rimini, Ravenna, Ferrara, Venezia,
Padova, Verona, Firenze, Pisa, and Siena.

Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted by the University of Bologna into
a modern conference center with computing facilities and Internet
access. From the fortress, it is possible to enjoy a beautiful vista
stretching from the Apennines to the Adriatic coast and the Alps
over the Po Valley.

ORGANIZATION
^^^^^^^^^^^^

Scientific directors:
* Marco Bernardo (University of Urbino, IT)
* Vittorio Cortellessa (University of L'Aquila, IT)
* Alfonso Pierantonio (University of L'Aquila, IT)

Secretary:
* Monica Michelacci (CRU Bertinoro, IT)

APPLICATION
^^^^^^^^^^^

Prospective participants should send by 21 March 2012
the application form, available on the school web site,
to the two e-mail addresses below:

Marco Bernardo
bernardo AT sti.uniurb.it

Monica Michelacci
mmichelacci AT ceub.it

The registration fee is 600 euros and includes the school material.

The accommodation fee is 350 euros and covers the period June 17-24
(7 nights) in double room (to share with another participant),
half board (breakfast and lunch, dinner of June 17 included,
lunch of June 24 excluded).

The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 18-23
(6 lunches).

A very limited number of grants is available to cover part
of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).

Notification of accepted/rejected applications and grant requests
will be communicated by March 31.

Registration to the school is due by April 20.

No refund is possible for cancellation after May 15.

[Caml-list] CfPart HATS International School on Formal Models for Objects and Components

CALL FOR PARTICIPATION

HATS International School on Formal Models for Objects and Components
(HATS-FMOC 2012)

Bertinoro, Italy
September 24-28, 2012

http://www.cs.unibo.it/hats-fmoc/

General Information:
--------------------
Modern software systems are complex, and often structured as
composition of a high number of components or objects. The school
focuses on formal models and programming languages for such system,
including methods and tools for specifying and designing them, and for
ensuring behavioural and security guatantees. A special emphasis will
be given to methods for ensuring the adaptability and evolvability of
the systems, with which the systems can cope with changes in the
environment as well as with modified and new requirements.

The School is organised by the project HATS (Highly Adaptable and
Trustworthy Software using Formal Models), a EU Integrated Project
within the FET "FOREVER YOURS" programme, in agreement with the
EternalS Coordination Action (CA) that coordinates the research among
the four projects of the "Forever Yours" initiative: LivingKnowledge,
HATS, Connect, and SecureChange.

The School will feature lectures by world-renowned experts within the
area of formal models for objects and components. Involved working
areas are, e.g., type theory, programming languages, formal methods,
concurrency and software engineering.

Lecturers:
---------
Einar Broch Johnsen, University of Oslo, Norway
Dave Clarke, Katholieke Universiteit Leuven, Belgium
Roberto Di Cosmo, University Paris Diderot, France
Fausto Giunchiglia, University of Trento, Italy
Reiner Hähnle, Technical University of Darmstadt, Germany
Valérie Issarny, INRIA Paris - Rocquencourt, France
Fabio Massacci, University of Trento, Italy
Arnd Poetzsch-Heffter, Technical University of Kaiserslautern, Germany
Germán Puebla, Universidad Politecnica de Madrid, Spain

Details:
--------
Please see the website for registration fees and instructions, detailed
information regarding speakers and topics, and travel details:

http://www.cs.unibo.it/hats-fmoc/

Since attendance is limited to 40 students, slots will be allocated on a
"first come, first served" basis.

The application deadline is June 15, 2012.

Venue:
------
The setting for the School is the Centro Residenziale Universitario of
the University of Bologna, located in Bertinoro, a small medieval
hilltop town of Bertinoro that is an excellent base for various Italian
destinations.

Bertinoro is about 70 km south-east of Bologna, at an elevation of
about 230 m. It can be reached in a couple of hours from the
international airport "G. Marconi" of Bologna by shuttle (from the
airport to the railway station) + train (from Bologna to Forlì) +
bus/taxi (from the railway station to Bertinoro). The closest airport
is the "L. Ridolfi" airport of Forlì, which is 13 km away.

Steering Committee:
-------------------
Einar Broch Johnsen (University of Oslo, Norway)
Reiner Hähnle (Technical University of Darmstadt, Germany)
Arnd Poetzsch-Heffter (Technical University of Kaiserslautern, Germany)
German Puebla (Universidad Politecnica de Madrid, Spain)
Davide Sangiorgi (University of Bologna, Italy)

Local Organization:
-------------------
Mario Bravetti
Elena Giachino
Davide Sangiorgi

[Caml-list] Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China

**************************************************************************
CALL FOR PARTICIPATION: TAMC 2012

9th Annual Conference on Theory and Applications of Models of Computation

Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China

May 16-21, 2012

http://turing2012.iscas.ac.cn/tamc2012.html

**************************************************************************

VENUE:

Institute of Software, Chinese Academy of Sciences. All
lectures and talks will be arranged in Building No. 5, Software Park,
Chinese Academy of Sciences.

CONTACT: Prof. Angsheng Li at angsheng@ios.ac.cn

TURING LECTURES 2012:

* S. Barry Cooper ( Leeds )
* John Hopcroft( Cornell)
* Richard Karp (Berkeley)
* Jon Kleinberg (Cornell)
* Butler Lampson (Microsoft)
* Wei Li (BUAA)
* Andrew Chi-Chih Yao (Tsinghua, Beijing)

TAMC 2012 INVITED SPECIAL SESSIONS:

1. Algorithms and Information in Networks (Organising Chairs: Zhiyong Liu )
2. Complexity and Cryptography (Organising Chair: Xiaotie Deng)
3. Models of Computing and Networking (Organising Chairs: Anthony Bonato )
4. Programming and Verification (Organising Chair: Wenhui Zhang)

POST CONFERENCE PUBLICATIONS:

Special issues of the journals Theoretical Computer Science and
Mathematical Structures in Computer Science devoted to a
selected set of accepted papers of the conference are planned.

PROGRAMME COMMITTEE:

* Manindra Agrawal (Co-chair, Indian Institute of Technology Kanpur)
* Marat Arslanov (Kazan)
* Giorgio Ausiello (Rome, Italy)
* George Barmpalias (ISCAS)
* Anthony Bonato (Ryerson University, Can.)
* Cristian S. Calude (University of Auckland )
* Alessandra Carbone (Paris)
* Jianer Chen (Texas A&M University)
* Wei Chen (Microsoft Research Asia)
* Francis Chin (University of Hong Kong)
* S. Barry Cooper (Co-chair, University of Leeds, UK)
* Gilles Dowek (Paris)
* Zhenhua Duan (Xidian University)
* Mike Fellows (Charles Darwin University, Australia)
* Kazuo Iwama (Kyoto University)
* Andrew Lewis (University of Leeds)
* Angsheng Li (Co-chair, Chinese Academy of Sciences)
* Zhiyong Liu (Chinese Academy of Sciences)
* Weiyi Liu (Yunnan University)
* Giuseppe Longo (Paris, France)
* Mitsunori Ogihara (Miami)
* Luke Ong (Oxford)
* Xiaoming Sun (Tsinghua University)
* Mingji Xia (ISCAS)
* Peng Zhang (Shandong University)
* Naijun Zhan (ISCAS)
* Yongji Wang (ISCAS)
* Hanpin Wang (Beijing University)
* Osamu Watanabe (Tokyo Institute of Technology)
* Ting Zhang (Iowa State University)

LOCAL ORGANIZING COMMITTEE:

* George Barmpalias (ISCAS)
* Yunfu Cao (ISCAS)
* Haiming Chen (ISCAS)
* Zhiming Ding (ISCAS)
* Angsheng Li (ISCAS, co-chair)
* Yucheng Li (ISCAS, co-chair)
* Dongdai Lin (ISCAS)
* Kelong Liu (ISCAS)
* Hongan Wang (ISCAS)
* Mingji Xia (ISCAS)
* Ye Yang (ISCAS)
* Yongji Wang (ISCAS)
* Naijun Zhan (ISCAS)

AIMS AND SCOPE:

TAMC aims at bringing together a wide range of researchers with
interests in computational theory and applications.
The main themes of the conference TAMC 2012 will be Computability,
Complexity, and Algorithms with extensions to information and networks.

Typical but not exclusive topics of interest include:

* Algorithmic algebra,
* Algorithmic graph theory and combinatorics
* Algorithms and data structures
* Approximation algorithms
* Automata and neural networks
* Computational biology, and bio-informatics
* Computational complexity
* Computational game theory, network game theory
* Computational geometry
* Computable mathematics
* Continuous and real computation
* Cryptography and complexity
* Decidability and undecidability
* Derandomization
* Error correcting code and locally testable codes
* Generalized and higher type computation
* Internet mathematics
* Learning theory, and intelligent computing
* Local test of mathematical properties
* Models of computing and networking
* Natural computation
* Network algorithms
* Networking
* Networks in nature and society - new laws and principles
* Number theory and coding theory
* On-line algorithms and parallel algorithms
* Physical computability
* Programm checking
* Programming and verication
* Proofs and computation
* Quantum computing
* Randomized algorithms
* Randomness in complexity classes and in nature
* Relative computability and degree structures
* Robustness and security of networks
* Theory of networks and emergence
* Turing definability

==========================================================

2012-03-04

[Caml-list] WGP call for papers

With two Jacques who reasonably frequently post onto caml-list on the
PC, this has to be extra-relevant, right?

Jacques C.

======================================================================
CALL FOR PAPERS

WGP 2012

8th ACM SIGPLAN Workshop on Generic Programming
Copenhagen, Denmark
Sunday, September 9th, 2012

http://www.wgp-sigplan.org/2012

Co-located with the
International Conference on Functional Programming (ICFP 2012)
======================================================================

Goals of the workshop
---------------------

Generic programming is about making programs more adaptable by making
them more general. Generic programs often embody non-traditional kinds
of polymorphism; ordinary programs are obtained from them by suitably
instantiating their parameters. In contrast with normal programs, the
parameters of a generic program are often quite rich in structure; for
example they may be other programs, types or type constructors, class
hierarchies, or even programming paradigms.

Generic programming techniques have always been of interest, both to
practitioners and to theoreticians, and, for at least 20 years,
generic programming techniques have been a specific focus of research
in the functional and object-oriented programming communities. Generic
programming has gradually spread to more and more mainstream
languages, and today is widely used in industry. This workshop brings
together leading researchers and practitioners in generic programming
from around the world, and features papers capturing the state of the
art in this important area.

We welcome contributions on all aspects, theoretical as well as
practical, of

* generic programming,
* programming with (C++) concepts,
* meta-programming,
* programming with type classes,
* programming with modules,
* programming with dependent types,
* type systems for generic programming,
* polytypic programming,
* adaptive object-oriented programming,
* component-based programming,
* strategic programming,
* aspect-oriented programming,
* family polymorphism,
* object-oriented generic programming,
* implementation of generic programming languages,
* static and dynamic analyses of generic programs,
* and so on.

Program Committee
-----------------

Anya Helene Bagge, University of Bergen
Jacques Carette, McMaster University
Manuel Chakravarty, University of New South Wales
Ronald Garcia (co-chair), University of British Columbia
Jacques Garrigue, Nagoya University
Andy Gill, University of Kansas
Douglas Gregor, Apple
Andrew Kennedy, Microsoft Research Cambridge
Neelakantan Krishnaswami, Max Planck Institute for Software Systems
Andres Löh (co-chair), Well-Typed LLP
Zoltan Porkolab, Eötvös Loránd University
Chung-chieh Shan, University of Tsukuba

Proceedings and Copyright
-------------------------

We plan to have formal proceedings, published by the ACM. Authors must
transfer copyright to ACM upon acceptance (for government work, to the
extent transferable), but retain various rights
(http://www.acm.org/publications/policies/copyright_policy). Authors are
encouraged to publish auxiliary material with their paper (source code,
test data, etc.); they retain copyright of auxiliary material.

Submission details
------------------

Deadline for submission: Friday 2012-06-01
Notification of acceptance: Wednesday 2012-06-27
Final submission due: Tuesday 2012-07-10
Workshop: Sunday 2012-09-09

Papers should be submitted via EasyChair at

https://www.easychair.org/conferences/?conf=wgp2012

Submitted papers should be in portable document format (PDF), formatted
using the ACM SIGPLAN style guidelines (two-column, 9pt). The length is
restricted to 12 pages.

Travel Support
--------------

Student attendees with accepted papers can apply for a SIGPLAN PAC grant
to help cover travel expenses. PAC also offers other support, such as
for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for
travel from locations outside of North America and Europe. For details
on the PAC program, see its web page (http://www.sigplan.org/PAC.htm).

History of the Workshop on Generic Programming
----------------------------------------------

Earlier Workshops on Generic Programming have been held in

* Tokyo, Japan 2011 (affiliated with ICFP11),
* Baltimore, Maryland, US 2010 (affiliated with ICFP10),
* Edinburgh, UK 2009 (affiliated with ICFP09),
* Victoria, BC, Canada 2008 (affiliated with ICFP),
* Portland 2006 (affiliated with ICFP),
* Ponte de Lima 2000 (affiliated with MPC),
* Marstrand 1998 (affiliated with MPC).

Furthermore, there were a few informal workshops

* Utrecht 2005 (informal workshop),
* Dagstuhl 2002 (IFIP WG2.1 Working Conference),
* Nottingham 2001 (informal workshop).

There were also (closely related) DGP workshops in Oxford (June
3-4 2004), and a Spring School on DGP in Nottingham (April 24-27
2006, which had a half-day workshop attached).

WGP Steering Committee
----------------------

Patrik Jansson (chair)
Sibylle Schupp
Bruno Oliveira
Marcin Zalewski
Jaako Järvi
Shin-Cheng Mu
Jeremy Gibbons
Magne Haveraaen
Tim Sheard

2012-03-02

[Caml-list] WS-FM 2012 - First Call for Papers

-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.17 (Darwin)

iQEcBAEBAgAGBQJPUJTEAAoJELO11vu/4tKp428H/2pOd7gVaD1IIZB2uWBJ929W
fV7d6LtOovFLMb2u8YuM9UaOPWYwfTEM0EmQ6zq2qWHa6yv34gZzDV1osoV7B0Cy
nqqeC/ok2tJa2BpTbL8vrULfW8w20iOPQ9QQDvvmeu0GJ2Rl51a5QLo2Ygd7ZmEG
GD4ttwO76Q1RjW/vY5EzwNB59RWdECq4z7iZ5ThLIc4Oy/ERMFpHEzuQr/9vP3Ze
8ob8M0oYXWGZNjLew7NlgGf9Y+ajmJUG3d6X/pcFAhdb6FEwgvzyBczK8+UI9LJg
1BPBkKxPnuRVmqzdKa0sY516antlZQMyY2fYLdu/IvUS3olzugfTBlgofF0GeRU=
=dWMs
-----END PGP SIGNATURE-----
[ We apologise for multiple copies of this message! ]

===================================================================

C A L L F O R P A P E R S

9th International Workshop on
Web Services and Formal Methods (WS-FM'12)

Tallinn, Estonia
6-7 September 2012

http://www.informatik.uni-rostock.de/ws-fm2012/

===================================================================

AIMS and SCOPE

The aim of the WS-FM workshop series is to bring together researchers
working on Web Services and Formal Methods in order to catalyze fruitful
collaboration.

Web services are fundamental to cloud computing and other computing
paradigms based on service-oriented architectures and applications.
They make functional and autonomous building blocks available over
the Internet, independent of platforms and programming languages, and
both within and across organizational boundaries. These can then be
described, located, orchestrated, and invoked. Virtualization technology
has moreover led to the Software as a Service, Platform as a Service,
and Infrastructure as a Service notions.

Formal methods can play a fundamental role in research on these
concepts. They can help define unambiguous semantics for the languages
and protocols that underpin web service infrastructures, and provide a
basis for checking the conformance and compliance of bundled services.
They can also empower dynamic discovery and binding with compatibility
checks against behavioral properties, quality of service requirements,
and service-level agreements. The resulting possibility of formal
verification and analysis of (security) properties and performance
(dependability and trustworthiness) is essential to cloud computing and
to application areas like e-commerce, e-government, e-health, workflow,
business process management, etc. Moreover, the challenges raised by
research on these concepts can extend the state of the art in formal
methods.

The scope of the WS-FM workshop series is not limited to technological
aspects. In fact, there is a strong tradition of attracting submissions
on formal approaches to enterprise systems modeling in general, and
business process modeling in particular. Potentially, this might have a
significant and lasting impact on the ongoing standardization efforts in
cloud computing technologies.

TOPICS OF INTEREST

- Mathematical foundations of service-oriented and cloud computing
- Security, trust, and privacy in service-oriented and cloud computing
- Performance and dependability of services/clouds
- Multi-tenancy, adaptability and evolvability in the cloud
- Model-driven development of services/clouds
- Quality of service and service-level agreements
- Web service coordination and transactions
- Web service ontologies and semantic descriptions
- Goal-driven discovery and composition of web services
- Semi-structured data management and XML technology
- Types and logics for web services/clouds
- Verification, analysis, and testing of services/clouds
- Web services for business process management
- Process management in the cloud
- Enterprise modeling and business process modeling
- Contractual issues between service providers and consumers
- Innovative application scenarios for web services/clouds
- Data services and data-centric process modeling
- Standards and technologies for service-oriented and cloud computing
- Case studies on formal methods in service-oriented and cloud applications
- Case studies on formal methods in business process management

SUBMISSIONS

Submissions must be original and should neither be already published
somewhere else nor be under consideration for publication while being
evaluated for this workshop.

Papers are to be prepared in Springer LNCS format and must not exceed 15
pages. If necessary, the paper may be supplemented with a clearly marked
appendix, which will be reviewed at the discretion of the program
committee. Post-proceedings of WS-FM will be published by Springer in
their Lecture Notes in Computer Science series.

All papers must be submitted following the instructions at the WS-FM'12
submission site, handled by EasyChair:
https://www.easychair.org/conferences/?conf=wsfm2012

IMPORTANT DATES

Abstract submission: June 2, 2012
Paper submission: June 9, 2012
Author notification: July 21, 2012
Camera-ready copy: August 4, 2012
Workshop dates: September 6-7, 2012

PROGRAM COMMITTEE

- Farhad Arbab, CWI, Amsterdam, The Netherlands
- Maurice H. ter Beek (co-chair), ISTI-CNR, Pisa, Italy
- Laura Bocchi, University of Leicester, UK
- Mario Bravetti, University of Bologna, Italy
- Roberto Bruni, University of Pisa, Italy
- Marco Carbone, IT University of Copenhagen, Denmark
- Schahram Dustdar, Vienna University of Technology, Austria
- José L. Fiadeiro, University of Leicester, UK
- Stefania Gnesi, ISTI-CNR, Pisa, Italy
- Lars Grunske, University of Kaiserslautern, Germany
- Sylvain Hallé, Université du Québec à Chicoutimi, Canada
- Ivan Lanese, University of Bologna, Italy
- Niels Lohmann (co-chair), Universität Rostock, Germany
- Manuel Mazzara, Newcastle University, UK
- Arjan J. Mooij, Embedded Systems Institute, The Netherlands
- Jean-Marc Petit, University of Lyon/CNRS, France
- Artem Polyvyanyy, HPI Potsdam, Germany
- Rosario Pugliese, University of Florence, Italy
- Christian Stahl, Eindhoven University of Technology, The Netherlands
- Erik de Vink, Eindhoven University of Technology, The Netherlands
- Hagen Voelzer, IBM Research, Switzerland
- Matthias Weidlich, Technion, Israel
- Martin Wirsing, Ludwig-Maximilians-Universität München, Germany
- Karsten Wolf, University of Rostock, Germany

--
Niels Lohmann Institut für Informatik Universität Rostock
mail: 18051 Rostock phone: +49 381 498-7674 fax: +49 381 498-7642
office: Albert-Einstein-Straße 22, room 257 skype/twitter: nlohmann
email: niels.lohmann@uni-rostock.de web: http://about.me/nlohmann

Calls for participation