[FOM] [CiE] Newsletter No.18, August 18, 2009

CiE cie at maths.leeds.ac.uk
Tue Aug 18 11:58:06 EDT 2009

CiE Newsletter No.18, August 18, 2009


1. Logical Approaches to Barriers in Computing 
and Complexity, Greifswald, 17-20 February 2010 - 2nd call for papers

2. Workshop and AMS Special Session on 
Constructive Mathmematics - Call for participation and applications for support

3. BRITISH LOGIC COLLOQUIUM 2009 - Call for Participation

4. North American Summer School in Logic, 
Language and Information (NASSLLI 2010) - Call for course proposals

Deadline extension for workshop proposals

6. Special issue of International Journal of Unconventional Computing

(LATA 2010) - 1st Call for Papers

8. PETRI NETS 2010 - Preliminary Call for Papers

9. Photographs from CiE 2009 in Heidelberg

1. (from Arnold Beckmann) Logical Approaches to 
Barriers in Computing and Complexity, Greifswald, 
17-20 February 2010 - 2nd call for papers:


The "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagen
der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo Logiki i
Filozofii Nauki" (PTLiFN), the "Association Computability in Europe"
(ACiE) and the "European Association for Computer Science Logic"
(EACSL) jointly organize a workshop on

      Logical Approaches to Barriers in Computing and Complexity

                    Greifswald, 17-20 February 2010

The workshop is sponsored by the Stiftung Alfried Krupp Kolleg
Greifswald and the Deutsche Forschungsgemeinschaft (DFG), and takes
place at the Alfried Krupp Wissenschaftskolleg in Greifswald, Germany:



Submission of extended abstracts: 15 October 2009
Notification of authors: 1 December 2009
Deadline for final revisions: 5 Januar 2010
Workshop: 17-20 February 2010


We have funds to offer financial support to authors of accepted
papers.  In individual cases refunds can range up to full
reimbursement of travel and accommodation costs.  Further detail will
be announced on the webpage.


Computability theory and complexity theory have their origins in
logic. Famous names such as Goedel, Turing, Cook, and Kolmogorov
connect these areas of computer science to foundations of
mathematics. The fundamental goal of this area is to understand the
limits of computability (that is analysing which problems can be
solved on nowadays and future computers in principle) and efficient
computability (that is understanding the class of problems which can
be solved quickly and with restricted resources) where the most famous
open problem is the P=NP-problem. Logic provides a multifarious
toolbox of techniques to analyse questions like this, some of which
promise to provide a deep insight in the structure of limit of

In our workshop, we shall focus on the following aspects: logical
descriptions of complexity (e.g., descriptive complexity, bounded
arithmetic), complexity classes of abstract, algebraic and infinite
structures, barriers in proving complexity results, and Kolmogorov
complexity and randomness.

Some of these aspects are particularly timely: recently, research in
these areas became more intense. Part of this is the new conference
series CiE (run by the Association for Computability in Europe) whose
range of interests includes those of our workshop, creating an
important focus on the emerging topics of the field. This workshop is
intended as a research-oriented follow-up to the CiE conferences,
allowing researchers ample time for discussions and joint work.


  * Alessandra Carbone (Paris, France)
  * Lance Fortnow (Evanston, IL, U.S.A.)
  * Erich Graedel (Aachen, Germany)
  * Pascal Koiran (Lyon, France)
  * Leszek Kolodziejczyk (Warsaw, Poland)
  * Antonina Kolokolova (St.John's, NL, Canada)


There will be a special session on "Complexity in Arbitrary
Structures" organised by Christine Gassner (Greifswald, Germany) and
Martin Ziegler (Paderborn, Germany).  Details about the special
session will be published on our website in due course.

Contributed talks will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:

  * Zofia Adamowicz (Warsaw, Poland)
  * Franz Baader (Dresden, Germany)
  * Arnold Beckmann (chair; Swansea, Wales)
  * Sam Buss (La Jolla CA, U.S.A.)
  * Manfred Droste (Leipzig, Germany)
  * Christine Gassner (Greifswald, Germany)
  * Peter Koepke (Bonn, Germany)
  * Benedikt Loewe (Amsterdam, The Netherlands)
  * Johann Makowsky (Haifa, Israel)
  * Elvira Mayordomo (Zaragoza, Spain)
  * Damian Niwinski (Warsaw, Poland)
  * Wolfgang Thomas (Aachen, Germany)
  * Martin Ziegler (Paderborn, Germany)


The Programme Committee cordially invites all researchers in the area
of the workshop to submit their extended abstracts (in PDF-format, at
most 4 pages) for presentation at the workshop.  Further details about
submission can be found on our website
Accepted abstracts will be printed in an abstract booklet which will
be distributed to the participants of the workshop.  We emphatically
encourage submissions by female authors, as women are underrepresented
in mathematics and computer science.

Submission of abstracts of published and presented work is also
possible, since the abstract booklet is non-archival.  Quality and
quantity of submissions permitting, we plan to invite the authors of
unpublished papers to submit a full version to a post-proceedings
volume after the workshop.

2. (from Robert Lubarsky) Workshop and AMS 
Special Session on Constructive Mathmematics - 
Call for participation and applications for support:


Workshop and AMS Special Session on Constructive Mathmematics

Florida Atlantic University
Boca Raton, FL 33431 USA
Oct 28 - Nov 1 2009

The workshop sessions will meet W Oct 28 & R Oct 29. For further
information, please visit http://math.fau.edu/Richman/Worshop/, or
contact Robert.Lubarsky at comcast.net.

The special session will be part of the AMS sectional meeting at FAU,
F Oct 30 - Sun Nov 1. For further information on the AMS sectional
meeting, including the other special sessions and the plenary talks,
visit http://www.ams.org/amsmtgs/2161_program.html, or contact
Matthew Miller, the relevant AMS secretary, at miller at math.sc.edu.

NSF funding of the workshop is likely. If you would like to be
considered for partial support, please apply to Bob Lubarsky at
Robert.Lubarsky at comcast.net. Your application should include a brief
description of your background, including how it relates to
constructive mathematics, why you want to attend the meeting, what
you hope to contribute, and any other support you have or might have
for your attendance. We are especially interested in having some of
the funds go to students and young researchers, and members of
underrepresented minority groups as determined by the U.S.
government. For full consideration, please submit your application by
Sept. 15.

3. (from Ulrich Berger) BRITISH LOGIC COLLOQUIUM 2009 - Call for Participation:

                   BRITISH LOGIC COLLOQUIUM 2009
                     Call for Participation

The Annual Meeting of the British Logic Colloquium will be held
at the Department of Computer Science, Swansea University, from

             Thursday to Saturday, September 3-5, 2009.

Invited speakers:

  Peter Dybjer (Gothenburg)        Richard Kaye (Birmingham)
  Margarita Korovina (Manchester)  Julien Melleray (Lyon)
  Paulo Oliva (Queen Mary)         Mark Priestley (Westminster)
  Stephen Read (St Andrews)        Peter Schuster (Leeds)
  Alexander Summers (Imperial)     Neil Thapen (Prague)
  Stan Wainer (Leeds)              Andreas Weiermann (Gent)

Programme and abstracts are available on the conference web-site.

The meeting is supported by the London Mathematical Society and the
British Logic Colloquium.

To register, please visit the conference web-site.

Contact: Ulrich Berger u.berger at swansea.ac.uk

4. (from Larry Moss) North American Summer School 
in Logic, Language and Information (NASSLLI 2010) - Call for course proposals:

North American Summer School in Logic, Language and Information 2010
Bloomington IN, U.S.A.
21-25 June 2010

Call Deadline: 15-Sep-2009

Proposals are invited that present interdisciplinary work between the
areas of logic, linguistics, computer science, cognitive science,
philosophy and artificial intelligence, though work in just one area
is within the scope of the summer school if it can be applied in other
fields. Examples of possible topics (adapting from previous NASSLLI
courses) would include e.g. logics for communication, computational
semantics, game theory (for logic, language and/or computation),
dynamic semantics, modal logics, linear logic, machine learning
techniques, statistical language models, and automated theorem
proving. We encourage potential course or workshop contributors to
check out previous programs at:


Courses and workshops should aim to be accessible to an
interdisciplinary, graduate level audience. Courses may certainly
focus on a single area, but lecturers should then include introductory
background, try to avoid specialized notation that cannot be applied
more widely, and spend time on the question of how the topic is
relevant to other fields. A workshop can be more accessible if its
program is bracketed by broader-audience talks that introduce and
summarize the week's presentations.

Associated Workshops/Conferences:

In addition to courses and workshops taking place during the main
NASSLLI five day session, Indiana University welcomes proposals for
1-3 day workshops or conferences hosted on campus immediately before
or after the summer school, thus on the weekends of June 18-20 and
June 27-29 2010. Previous such associated meetings have included a
Mathematics of Language conference and Theoretical Aspects of
Reasoning About Knowledge (TARK).

Submission Details:

Submissions should be by email, and should indicate:

-Person(s) and affiliation
-Type of event (one week course or workshop, 2 hours a day)
-An outline of the course up to 500 words
-An indication of whether special equipment is needed to teach that
course (beamer, computer, etc)
-A statement about the instructor's experience in teaching in
interdisciplinary settings
-Expected costs (whether you want to be paid hotel and/or travel, and
descriptions of funding in hand or for which you will apply)

Financial Details:

A course may be taught by one or two persons. Conference fees are
waived for all instructors. However, we are only able to pay for the
full travel and expenses of one instructor per course. If two persons
are lecturing, they may share a lump sum paid for both. We must also
stress that while proposals from all over the world are welcomed, the
Summer School can in general guarantee only toreimburse travel costs
for travel from destinations within North America to Bloomington,
although exceptions can be made depending on the financial situation.
Furthermore, we encourage all lecturers to fund their own travel if
this is feasible, since this will allow us to use our available
funding for student scholarships.

Workshops are more complicated financially than courses, and a
proposal for a workshop should include a plan to obtain some outside
funding for the speakers.

Notifications of Interest:

To give us an idea about the number of submissions, we would like you
to email us, ideally within two weeks, in case you are interested in
submitting a proposal. This will not commit you to actually submit one
(and not emailing in advance does not preclude you from submitting a
full proposal).


Jun 18, 2009: unofficial notifications of intention to submit;
Sep 15, 2009: deadline for submissions;
Nov 1, 2009: course/workshop proposers notified of p.c. decisions;
Nov 15, 2009: official announcement of program;
May 15, 2009: material for courses available for printing;
Jun 21, 2010: Start of NASSLLI 2010 courses.

Program Committee:

David Beaver (committee chair), UT Austin
Thony Gillies, Rutgers University
John Horty, University of Maryland
Sandra Kuebler, Indiana University
Eric Pacuit, Stanford University
Chris Potts, Stanford University
Dan Roth, University of Illinois, Urbana/Champaign
Chung-Chieh Shan, Rutgers University
Matthias Scheutz, Indiana University

Standing NASSLLI Steering Committee:

David Beaver, UT Austin
Larry Moss (committee chair), Indiana University
Phokion Kolaitis, UC Santa Cruz / IBM Almaden Research Center
Valeria de Paiva, Cuill Inc.
Stuart Shieber, Harvard University
Moshe Vardi, Rice University


News will be posted at: http://www.indiana.edu/~nasslli,


General inquiries regarding NASSLLI 2010, notifications of interest in
course or workshop proposal submission, and final submissions of
proposals should be directed to: nasslli at indiana.edu

Informal inquiries regarding potential courses or workshops may also
be directed to: David Beaver, dib at mail.utexas.edu (with ''NASSLLI'' in
the subject line).

Principal local organizers at Indiana University are Markus Dickinson,
Sandra Kuebler, and Larry Moss, and they can be contacted via the main
alias: nasslli at indiana.edu

5. (from Nicole Schweikardt) FEDERATED LOGIC 
CONFERENCE (FLoC 2010) - Deadline extension for workshop proposals:

Edinburgh, Scotland, U.K., July 9-21, 2010


Workshop proposals can now be submitted up to Sept. 1, 2009.

The original Call for Workshop Proposals is at

Organizers will be notified by October 15, 2009.

Proposals should be submitted electronically to EasyChair at the
following address: http://www.easychair.org/conferences/?conf=floc10cfw
(Clearly indicate at the top of the proposal the relevant conference.)

For further enquiries or information, please contact:

Philip Scott (FLoC Workshop Chair)
Department of Mathematics and Statistics
University of Ottawa
Ottawa, Ont. Canada  K1N 6N5
Email: phil at site.uottawa.ca

6. (from Jerome Durand-Lose) Special issue of 
International Journal of Unconventional Computing:

CALL    for      PAPERS

     International Journal of Unconventional Computing

Special issue on

     New Worlds of Computation


This special issue is a sequel to the
   Worskop New Worlds of Computation (NWC '09)
January 12, 2009, Orleans, FRANCE

Submission is open (i.e. NOT restricted to NWC participants)


The special issue aims at gathering papers from a wide off-Turing
community in order to bring forth the common problematics as well as
divergent results.

Models of computation that fall out of the Turing context:

     * Analog computation
     * Continuous computation
     * Hybrid systems
     * Computation on infinite structures (Ordinals, linear orders)
     * Hypercomputation
     * Infinite time computation
     * Non-Euclidean spaces
     * Non-standard approaches
     * Optical collision
     * Abstract geometrical computation
     * Cellular automata
     * Collision based, quantum, DNA, membrane...

The classical Turing computability has been THE paradigm for
computation for more than half a century. In less than two decades,
various paradigms have been proposed (invented, discovered or
reframed) and communities have emerged: computable analysis, algebraic
models, Quantum computing, DNA, Cellular automaton... All of them fall
outside the classical context because they manipulate objects that are
just out of the classical scope (infinite objects or uncountably many
values) or continuous or infinite time. Unfortunately, there is no
miraculous generalized Church-Turing thesis (nor specialized analog

The audience aimed at is roughly the same as:

     * Machines, Computations and Universality
     * Unconventional Computation
     * Computability in Europe
     * Hypercomputation Research Network


Submission      September 15th 2009
Notification    December 1sh 2009

Submission is handled with easychair:


Guest editor

Jerome Durand-Lose contact: jerome.durand-lose at univ-orleans.fr
LIFO (Laboratoire d'Informatique Fondamentale d'Orleans), projet Graphes
et Algorithmes
Universite d'Orleans - logo Universite d'Orleans, Departement
d'Informatique de l'UFR Sciences.

7. (from Carlos Martin) LANGUAGE AND AUTOMATA 
THEORY AND APPLICATIONS (LATA 2010) - 1st Call for Papers:


1st Call for Papers


Trier, Germany, May 24-28, 2010




LATA is a yearly conference in theoretical 
computer science and its applications. As linked 
to the International PhD School in Formal 
Languages and Applications that was developed at 
Rovira i Virgili University (the host of the 
previous three editions and co-organizer of this 
one) in the period 2002-2006, LATA 2010 will 
reserve significant room for young scholars at 
the beginning of their career. It will aim at 
attracting contributions from both classical 
theory fields and application areas 
(bioinformatics, systems biology, language 
technology, artificial intelligence, etc.).


Topics of either theoretical or applied interest 
include, but are not limited to:

- algebraic language theory
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computer linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual, multidimensional,
   unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and
   artificial life
- neural networks
- parallel and regulated rewriting
- parsing
- pattern matching and pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and
- symbolic dynamics
- term rewriting
- text algorithms
- text retrieval
- transducers
- trees, tree languages and tree machines
- weighted machines


LATA 2010 will consist of:

- 3 invited talks
- 2 invited tutorials
- refereed contributions
- open sessions for discussion in specific subfields, on open
   problems, or on professional issues (if requested by the participants)

Invited speakers to be announced.


Alberto Apostolico (Atlanta)
Thomas Baeck (Leiden)
Stefania Bandini (Milano)
Wolfgang Banzhaf (St. John's)
Henning Bordihn (Potsdam)
Kwang-Moo Choe (Daejeon)
Andrea Corradini (Pisa)
Christophe Costa Florencio (Leuven)
Maxime Crochemore (Marne-la-Vallée)
W. Bruce Croft (Amherst)
Erzsebet Csuhaj-Varju (Budapest)
Joergen Dassow (Magdeburg)
Volker Diekert (Stuttgart)
Rodney G. Downey (Wellington)
Frank Drewes (Umea)
Henning Fernau (Trier, co-chair)
Rusins Freivalds (Riga)
Rudolf Freund (Wien)
Paul Gastin (Cachan)
Edwin Hancock (York, UK)
Markus Holzer (Giessen)
Helmut Joergensen (London, Canada)
Juhani Karhumaki (Turku)
Efim Kinber (Fairfield)
Claude Kirchner (Bordeaux)
Carlos Martin-Vide (Brussels, co-chair)
Risto Miikkulainen (Austin)
Victor Mitrana (Bucharest)
Claudio Moraga (Mieres)
Sven Naumann (Trier)
Chrystopher Nehaniv (Hatfield)
Maurice Nivat (Paris)
Friedrich Otto (Kassel)
Daniel Reidenbach (Loughborough)
Klaus Reinhardt (Tübingen)
Antonio Restivo (Palermo)
Christophe Reutenauer (Montréal)
Kai Salomaa (Kingston, Canada)
Jeffrey Shallit (Waterloo)
Eljas Soisalon-Soininen (Helsinki)
Bernhard Steffen (Dortmund)
Frank Stephan (Singapore)
Wolfgang Thomas (Aachen)
Marc Tommasi (Lille)
Esko Ukkonen (Helsinki)
Todd Wareham (St. John's)
Osamu Watanabe (Tokyo)
Bruce Watson (Pretoria)
Thomas Wilke (Kiel)
Slawomir Zadrozny (Warsaw)
Binhai Zhu (Bozeman)


Adrian Horia Dediu (Tarragona)
Henning Fernau (Trier, co-chair) Maria Gindorf (Trier)
Stefan Gulan (Trier)
Anna Kasprzik (Trier)
Carlos Martin-Vide (Brussels, co-chair) Norbert Muller (Trier)
Bianca Truthe (Magdeburg)


Authors are invited to submit papers presenting 
original and unpublished research. Papers should 
not exceed 12 single-spaced pages and should be 
formatted according to the standard format for 
Springer Verlag's LNCS series (see 
Submissions have to be uploaded at:



A volume of proceedings published by Springer in 
the LNCS series will be available by the time of the conference.

At least one special issue of a major journal 
will be later published containing extended 
versions of the papers contributed to the conference.

Submissions to the post-conference publications will be only by invitation.


The period for registration will be open since 
September 1, 2009 until May 24, 2010. The 
registration form can be found at the website of 
the conference: http://grammars.grlmc.com/LATA2010/

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 530 Euro
Late registration fees (PhD students): 430 Euro
On-site registration fees: 550 Euro
On-site registration fees (PhD students): 450 Euro

At least one author per paper should register. 
Papers that do not have a registered author by 
February 15, 2010 will be excluded from the proceedings.

Fees comprise access to all sessions, one copy of 
the proceedings volume, coffee breaks, lunches, 
excursion, and conference dinner.


An award will be presented to the authors of the 
two best papers accepted to the conference. Only 
papers fully authored by PhD students are 
eligible. The award intends to cover their travel expenses.


Paper submission: December 3, 2009
Notification of paper acceptance or rejection: January 21, 2010
Final version of the paper for the LNCS proceedings: February 3, 2010
Early registration: February 15, 2010
Late registration: May 14, 2010
Starting of the conference: May 24, 2010
Submission to the post-conference publications: August 27, 2010


gindorf-ti at informatik.uni-trier.de


LATA 2010
Universitat Trier
Fachbereich IV ~V Informatik
Campus II, Behringstrasse
D-54286 Trier

Phone: +49-(0)651-201-2836
Fax: +49-(0)651-201-3954

8. (from Joao Paulo Barros) PETRI NETS 2010 - Preliminary Call for Papers:

================ Preliminary Call for Papers ====================
31st International Conference on Application and Theory of Petri Nets and
other Models of Concurrency

June 21-25, 2010
Braga, Portugal

Web: http://petrinets2010.di.uminho.pt/
Email : petrinets2010[@]di[.]uminho[.]pt

Collocated with ACSD 2010: 10th International Conference on Application of
Concurrency to System Design

Common page at 
This call for papers is available in pdf format at

Important Dates:

Submission of Papers:         January 5, 2010
Notification:                        March 1, 2010
Final Version Due:              April 1, 2010
Workshops & Tutorials:     June 21-22, 2010
Conference:                        June 23-25, 2010

The deadline for submission of papers is STRICT.
However, if you submit the title page by Jan. 5
it is sufficient to submit the full paper by Jan. 10.

Some of the best papers accepted for the conference will be invited as
submissions to a special issue of the Fundamenta Informaticae journal.

The 31st annual international Petri Net conference will be organised by the
Universidade do Minho, Portugal and the Instituto Politécnico de Beja,
Portugal. Papers presenting original contributions in any area of
application and theory of Petri nets are sought. The language of the
conference is English.


    * System design and verification using nets,
    * Analysis and synthesis, structure and behaviour of nets,
    * Relationships between net theory and other approaches,
    * Causality/partial order theory of concurrency,
    * Net-based semantical, logical and algebraic calculi,
    * Symbolic net representation (graphical or textual),
    * Computer tools for nets,
    * Experience with using nets, case studies,
    * Educational issues related to nets,
    * Higher-level net models,
    * Timed and stochastic nets,
    * Standardisation of nets,
    * Applications of nets to different kinds of systems and application
fields, e.g.:
          o flexible manufacturing systems,
          o real-time systems,
          o embedded systems,
          o defence systems,
          o biological systems,
          o health and medical systems,
          o environmental systems,
          o hardware structures,
          o telecommunications,
          o railway networks,
          o office automation,
          o workflows,
          o supervisory control,
          o protocols and networks,
          o Internet,
          o e-commerce and trading,
          o programming languages,
          o performance evaluation,
          o operations research.

The conference takes place under the auspices of EATCS and GI SIG "Petri
Nets and Related System Models".

Paper Submissions

Three kinds of papers can be submitted:

    * Theory papers (max 20 pages).
    * Application papers (max 20 pages). A typical application paper is a
paper that describes one or more projects in which Petri net models and
tools have been used in practice. An application paper may also describe a
methodology, or other developments that demonstrate the applicability of
Petri nets to industrial systems.
    * Tool papers (max 10 pages). A typical tool paper is a paper which has
its focus on the description of a computer tool for Petri Nets (not an
application of the tool or the theory behind the tool). For more information
on what a typical tool paper should contain, please see the document:
ToolFormat.pdf. The tool should be available for use by other groups and it
should be demonstrated in the Tool Exhibition.

Submissions for papers must:

    * Contain original contributions that have not been published or
submitted to other conferences/journals in parallel with this conference.
    * Clearly state the problem being addressed, the goal of the work, the
results achieved, and the relation to other work.
    * Be in the Springer LNCS-format:
    * Have a length that does not exceed 20 pages (10 pages for tool papers).
    * Be in English and in a form that can be immediately included in the
proceedings without major revision.
    * Be sent electronically (as a PostScript or PDF file) using the website
http://senldogo0039.springer-sbm.com/pn2010/servlet/Conference no later than
January 5, 2010.

The title page must:

    * Contain a short abstract and a classification of the topics covered,
preferably using the list of topics above.
    * Clearly indicate whether the paper is submitted as a theory paper, an
application paper, or a tool paper.

Submissions received too late and submissions sent by fax or ordinary mail
will be immediately rejected. The same will happen with papers which are not
in English or exceed the page limit. Authors will be notified of
acceptance/rejection by March 1, 2010.

The proceedings will be published by Springer-Verlag in Lecture Notes in
Computer Science. The final camera-ready version of accepted papers must be
received by the PC chairs no later than April 1, 2010. The page limit is 20
pages (10 pages for tool papers).

Some of the best papers will be invited for publication in the Fundamenta
Informaticae journal. They will be revised, reviewed and copy-edited as
ordinary journal papers.

Workshops and Tutorials

The conference takes place Wednesday to Friday. The days before the
conference also offer a large variety of Petri net activities.

The Petri Net Course takes place Sunday, Monday, and Tuesday. It offers a
thorough introduction to Petri Nets and consists of four parts: Basic Net
Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and
Applications of Petri Nets. If all four parts are followed, ECTS credits can
be given to PhD students.

The Workshops and Advanced Tutorials take place Monday and Tuesday and are
offered to those who already have some knowledge of Petri nets. They are
divided into several strands covering different subjects. A detailed
description of the tutorials and workshops will be available via the
conference web pages.

Finally, it is possible to arrange Meetings and Courses related to Petri
Nets. Submissions for such activities must contain a 2-5 page description.
They must be received by the PC-chairs no later than January 5, 2010.

We invite proposals for workshops and advanced tutorials:

    * The purpose of workshops is to provide a setting to discuss technical
issues and exchange research ideas in specific theoretical or application
areas. We encourage a diversity of workshops related to Petri nets. Selected
papers of the workshops will appear in a new journal subseries of LNCS
entitled "Transactions on Petri Nets and other models of Concurrency"
    * The purpose of tutorials is to introduce researchers to a new or
emerging area or to provide deeper insight into a particular topic within
Petri nets or related areas, ranging from theory to industrial applications.
Tutorial levels may be introductory, intermediate, or advanced.
    * Workshop proposals should be submitted before June 1 (one year before
the workshop) and Advanced Tutorial proposals before January 5 (half a year
before the tutorial), to the Workshop and Tutorial Chairs.

Tool Exhibition

An exhibition of Petri net tools takes place Tuesday or Wednesday evening.
It consists of informal demonstrations for small groups/individuals, and
there are no scheduled talks. Requests for participation in the tool
exhibition must be sent to the Tool Exhibition Chair before June 1, 2010.
They should include a link to the web pages for the tool (or a short
description of the tool). The demonstrators usually bring their own
machines, but the organisers may be requested to give access to the


Program Committee Co-Chairs Johan Lilius
Åbo Akademi University
Finland Wojciech Penczek
Institute of Computer Science
Polish Academy of Sciences

Workshop and Tutorial Co-Chairs Susanna Donatelli
Universita di Torino
Italy Jetty Kleijn
Leiden University
The Netherlands

Organising Committee Chair

Joao M. Fernandes
Universidade do Minho
Portugal ================================
Tools Exhibition Chair

Ricardo J. Machado
Universidade do Minho

Publicity Chair

Joao Paulo Barros
Instituto Politécnico de Beja


Program Committee

M. Bednarczyk, Poland
M. Bonsangue, The Netherlands
R. Bruni, Italy
D. Buchs, Switzerland
P. Chrzastowski-Wachtel, Poland
G. Ciardo, USA
J. Desel, Germany
R. Devillers, Belgium
J.M. Fernandes, Portugal
G. Franceschinis, Italy
Q.W. Ge, Japan
S. Haddad, France
M. Heiner, Germany
R. Janicki, Canada
G. Juhas, Slovak Republic
J. Julvez, Spain
E. Kindler, Denmark    M. Koutny, UK
L.M. Kristensen, Norway
C. Lakos, Australia
J. Lilius, Finland (co-chair)
C. Lin, China
T. Miyamoto, Japan
D. Moldt, Germany
M. Mukund, India
W. Penczek, Poland (co-chair)
L. Petrucci, France
L. Pomello, Italy
O-H. Roux, France
N. Sidorova, The Netherlands
V. Valero, Spain
A. Valmari, Finland
K. Wolf, Germany
A. Yakovlev, UK

Steering Committee

W. van der Aalst, The Netherlands
J. Billington, Australia
G. Ciardo, USA
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Hiraishi, Japan
K. Jensen, Denmark (chair)
J. Kleijn, The Netherlands
M. Koutny, UK    C. Lin, China
W. Penczek, Poland
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
A. Valmari, Finland
A. Yakovlev, UK

9. For photographs from CiE 2009 in Heidelberg - 
including the group photograph of participants - see:


Items for the next CiE Newsletter should be sent to s.b.cooper at leeds.ac.uk
to arrive by August 30, 2009

   ASSOCIATION COMPUTABILITY IN EUROPE       http://www.computability.org.uk
   CiE Conference Series                          http://www.illc.uva.nl/CiE
   CiE 2009                  http://www.math.uni-heidelberg.de/logic/cie2009
   CiE Membership Application Form             http://www.cs.swan.ac.uk/acie

__________ Information from ESET NOD32 Antivirus, 
version of virus signature database 4345 (20090818) __________

The message was checked by ESET NOD32 Antivirus.


More information about the FOM mailing list