[FOM] [CiE] Newsletter No.29, March 2, 2010

CiE cie at maths.leeds.ac.uk
Tue Mar 2 21:53:55 EST 2010

CiE Newsletter No.29, March 2, 2010:

Dear All - Please note that the deadline for 
applications for ASL Student Travel Awards for 
CiE 2010 is fast approaching (30th March, 2010) - see:


Of course, students presenting papers tend to be 
favoured in the awarding of grants. There will be 
a detailed Call for Informal Presentations after March 18th.


1. PhD Program in Information Security at IST Lisbon Portugal

2. 5th Conference on Logic, Computation and Randomness

3. CCA 2010 Proceedings - Last Call for Papers

4. Logic for Programming, Artificial Intelligence 
and Reasoning - Call for Short Papers

5. BCTCS 2010: Final Call for Participation

6. ICALP 2010 Second Call for Workshop Proposals

1. (from Felix Costa) PhD Program in Information 
Security at IST Lisbon Portugal:


The PhD Program in Information Security at IST Lisbon Portugal
welcomes applications. Detailed information available at


more concretely at


and at


for specific information on how to apply to the program and for
financial support, respectively.

Please note the short deadline March 31 for starting this September.


2. (from Logan Axon) 5th Conference on Logic, Computation and Randomness:

The 5th Conference on Logic, Computability and Randomness will be
held at Notre Dame May 24-28, 2010.  The arrival day is May 23 and
the meeting will end by 1pm on the 28th. The meeting web page is
http://math.nd.edu/conferences/AlgoRandomness/. This web page has new
information about speakers, lodging, and the conference dinner.

This meeting is supported by the National Science Foundation via
NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness.

3. (from Ning Zhong) CCA 2010 Proceedings - Last Call for Papers:

                  Last Call for Papers

                CCA 2010 Proceedings

Seventh International Conference on Computability 
and Complexity in Analysis (CCA 2010) will take 
place in Zhenjiang, China, June 21 ~V 25, 2010. (http://cca-net.de/cca2010)

The CCA 2010 Program Committee cordially invites 
researchers in the area of computability and 
complexity theory to submit papers for presentation at the conference.


	Computable analysis
	Complexity on real numbers
	Constructive analysis
	Domain theory and analysis
	Interval computations
	Theory of representations
	Computable numbers, subsets and functions
	Randomness and computable measure theory
	Models of computability on real numbers
	Realizability theory and analysis
	Real number algorithms
	Implementation of exact real number arithmetic


Authors are invited to submit a PDF version of an
extended abstract (typically 10-12 pages) on the
following web page:


These extended abstracts need to be prepared with
EPTCS style file



Accepted papers will be published as CCA 2010 
proceedings in Electronic Proceedings in Theoretical Computer Science (EPTCS).

It is planned to publish a special issue in 
Logical Methods of Computer Science (LMCS) 
dedicated to CCA 2010 after the conference.


Submission deadline: March 8, 2010
Notification of authors: April 12, 2010
Final version: May 10, 2010

Invited Speakers:

Klaus Ambos-Spies (Heidelberg, Germany)
Ding-Zhu Du (Dallas, USA) Stefano Galatolo (Pisa, Italy)
Hajime Ishihara (Ishikawa, Japan)
Ker-I Ko (Beijing, China and Stony Brook, USA)
Robert Rettinger (Hagen, Germany)
Klaus Weihrauch (Hagen, Germany)

Program Committee:

Andrej Bauer (Ljubljana, Slovenia)
Douglas Bridges (Canterbury, New Zealand) Vasco 
Brattka (Cape Town, South Africa) Douglas Cenzer (Gainesville, USA)
Martín Escardó (Birmingham, UK) Peter Gacs (Boston, USA)
Daniel Graca (Faro, Portugal) Vladik Kreinovich (El Paso, USA)
Angsheng Li (Beijing, China)
Elvira Mayordomo (Zaragoza, Spain)
Mathias Schröder (Munich, Germany) Dieter Spreen 
(Siegen, Germany) Kaile Su (Beijing, China) 
Hideki Tsuiki (Kyoto, Japan) Xizhong Zheng, co-chair (Glenside, USA)
Ning Zhong, co-chair (Cincinnati, USA)
Martin Ziegler (Darmstadt, Germany)

4. (from Geoff Sutcliffe) Logic for Programming, 
Artificial Intelligence and Reasoning - Call for Short Papers:

                            CALL FOR SHORT PAPERS


                  16th International Conference on Logic for
              Programming, Artificial Intelligence and Reasoning

                            April 25 - May 1, 2010
                                Dakar, Senegal

The series of International Conferences on Logic 
for Programming, Artificial Intelligence and 
Reasoning (LPAR) is a forum where, year after 
year, some of the most renowned researchers in 
the areas of logic, automated reasoning, 
computational logic, programming languages and 
their applications come to present cutting-edge 
results, to discuss advances in these fields, and 
to exchange ideas in a scientifically emerging 
part of the world. The 16th edition will be held in Dakar, Senegal.

   In keeping with the tradition of LPAR, researchers and practioners are
   encouraged submit short papers reporting on interesting work in progress or
   providing system descriptions. They need not be original. Extended versions
   of the short papers may be submitted concurrently with or after LPAR-16 to
   another conference or a journal.

Logic is a fundamental organizing principle in 
nearly all areas in Computer Science. It runs a 
multifaceted gamut from the foundational to the 
applied. At one extreme, it underlies 
computability and complexity theory and the 
formal semantics of programming languages. At the 
other, it drives billions of gates every day in 
the digital circuits of processors of all kinds. 
Logic is in itself a powerful programming 
paradigm but it is also the quintessential 
specification language for anything ranging from 
real-time critical systems to networked 
infrastructures. Logical techniques link 
implementation and specification through formal 
methods such as automated theorem proving and 
model checking. Logic is also the stuff of 
knowledge representation and artificial 
intelligence. Because of its ubiquity, logic has 
acquired a central role in Computer Science education.

New results in the fields of computational logic 
and applications are welcome. Also welcome are 
more exploratory presentations, which may examine 
open questions and raise fundamental concerns 
about existing theories and practices.

Topics of interest include, but are not limited to:
    * Automated reasoning
    * Verification
    * Interactive theorem proving and proof assistants
    * Model checking
    * Implementations of logic
    * Satisfiability modulo theories
    * Rewriting and unification
    * Logic programming
    * Satisfiability checking
    * Constraint programming
    * Decision procedures
    * Logic and the Web
    * Ontologies and large knowledge bases
    * Logic and databases
    * Modal and temporal logics
    * Program analysis
    * Foundations of security
    * Description logics
    * Non-monotonic reasoning
    * Specification using logics
    * Logic in artificial intelligence
    * Logic and types
    * Logical foundations of programming
    * Logical aspects of concurrency
    * Logic and computational complexity
    * Knowledge representation and reasoning
    * Logic of distributed systems

Programme Chairs
    * Ed Clarke
    * Andrei Voronkov

Programme Committee
    * Rajeev Alur
    * Matthias Baaz
    * Peter Baumgartner
    * Armin Biere
    * Nikolaj Bjorner
    * Iliano Cervesato
    * Agata Ciabattoni
    * Hubert Comon-Lundh
    * Nachum Dershowitz
    * Juergen Giesl
    * Guillem Godoy
    * Georg Gottlob
    * Jean Goubault-Larrecq
    * Reiner Haehnle
    * Claude Kirchner
    * Michael Kohlhase
    * Konstantin Korovin
    * Laura Kovacs
    * Orna Kupferman
    * Leonid Libkin
    * Aart Middeldorp
    * Luke Ong
    * Frank Pfenning
    * Andreas Podelski
    * Andrey Rybalchenko
    * Helmut Seidl
    * Geoff Sutcliffe
    * Ashish Tiwari
    * Toby Walsh
    * Christoph Weidenbach

Submission Details
Short papers are limited in length to 5 pages in 
the EasyChair format. The class style may be 
downloaded from 
http://www.easychair.org/easychair.zip. Short 
papers must be submitted through the EasyChair system using the web page ...

The short paper proceedings will be available as 
an EasyChair collection volume.

Authors of accepted papers are required to ensure 
that at least one of them will be present at the 
conference. Papers that do not adhere to this 
policy will be removed from the proceedings.

Important Dates
Paper submission deadline:  17 March 2010
Notification of acceptance: 25 March 2010
Final version:               1 April 2010
LPAR-16:                    25 April - 1 May 2010

5. (from BCTCS) BCTCS 2010: Final Call for Participation:

Today 2 March is the last day for registration.
After today, please check the website for availability, if any, of late
registration. Surcharges may apply.

     26th British Colloquium for Theoretical Computer Science (BCTCS)

                      6th to 9th April 2010
                      University of Edinburgh


The purpose of the BCTCS is to provide a forum in which researchers in
theoretical computer science can meet, present research findings, and
discuss developments in the field. It also aims to provide an
environment in which PhD students can gain experience in presenting
their work, and benefit from contact with established researchers. The
conference will consist of invited keynote presentations by
distinguished researchers and a number of contributed talks.


BCTCS 2010 will be held at the University of Edinburgh, in the centre
of Edinburgh. Talks will be at the Informatics Forum, and
accommodation will be in the Pollock Halls of Residence nearby.
Edinburgh is easily accessible by train from most of the U.K., and has
air connections to most UK and many European airports.

The event will start on Tuesday afternoon and will end with a lunch on


BCTCS 2010 will include invited lectures by the following
distinguished speakers:

     * Erik Demaine (MIT)
     * Johan Håstad (KTH Stockholm)
     * Gil Kalai (HU Jerusalem - LMS Keynote Speaker)
     * Kim Guldstrand Larsen (Aalborg)
     * Catuscia Palamidessi (INRIA / École Polytechnique)
     * Ulrike Sattler (Manchester)


Participants at the colloquium are encouraged to present a contributed
talk. If you wish to present a contributed talk, please give the title
when you register for the Colloquium. You will be asked to provide an
abstract, using a provided LaTeX template, at a later stage.
The abstracts of accepted contributed talks will be published in the
Bulletin of the European Association for Theoretical Computer Science.


The BCTCS steering committee has obtained ongoing funding to support
the participation of up to 45 graduate students at BCTCS. The
grants cover registration including accomodation and meals, but
not travel. Those enrolled as Ph.D. students may apply for these grants
on the registration form.


The registration fee is £275, which includes all accommodation and
meals. Registration is via the Colloquium website.

Registration closes on 2 MARCH 2010, or when numbers reach capacity.


The conference is being organised by Julian Bradfield and Mary Cryan
of the Laboratory for Foundations of Computer Science,
School of Informatics, University of Edinburgh.

More information about the meeting including updates are available
from the conference webpages at:


We hope to see you there!

6. (from Ralf Klasing) ICALP 2010 Second Call for Workshop Proposals:

ICALP 2010 Second Call for Workshop Proposals

ICALP 2010 37th International Colloquium on Automata, Languages and Programming

5-11 July 2010, Bordeaux, France
Supported by the European Association for Theoretical Computer Science (EATCS)


The 37th International Colloquium on Automata, 
Languages and Programming, the main conference 
and annual meeting of the European Association 
for Theoretical Computer Science (EATCS), will 
take place from 5-11 July 2010 in Bordeaux, 
France. The main conference will be preceded and 
followed by a series of Workshops. The workshops 
will take place on Monday 5 July 2010, and on 
Sunday 11 July 2010 (i.e., one day before and one day after ICALP).

Workshop proposals are invited for workshops

***** !!! TO BE HELD ON SUNDAY 11 JULY 2010 ONLY !!! ******

on topics related to all aspects of theoretical 
computer science. (A workshop may relate to any 
of the three tracks of ICALP, but also workshop 
proposals related to other aspects of theoretical 
computer science will be considered.) Typically, 
ICALP workshops feature a number of invited 
speakers and a number of contributed 
presentations. ICALP workshops do not necessarily 
produce formal proceedings. However, in the past 
there have been e.g. LNCS proceedings or special 
issues of journals based in part on some ICALP 
workshops. Workshop proposals should include:

     * Title of the workshop
     * Person responsible for the workshop (name + email address)
     * A short scientific summary and 
justification of the proposed topic. This should
       include a discussion of the particular 
benefits of the topic to the ICALP community.
     * A discussion of the proposed format and agenda.
     * The proposed duration (e.g. half a day or one day). This is important!
       (Please, note again that this 2nd call for 
workshops only concerns workshops to be
       held on Sunday 11 July 2010.)
     * Procedures for selecting participants and papers.
     * Expected number of participants. This is important!
     * If the workshop has taken place before, 
please provide the following information:
       - How often has the workshop taken place so far?
       - Which conference(s) has the workshop been collocated with so far?
       - Please provide the web address of the last workshop, if available.
       - How many participants took part in the last workshop?
     * Potential invited speakers.
     * Plans for dissemination (for example, special issues of journals).

Proposals are due on 15 March 2010, and should be 
submitted electronically to the Workshops Chair:

Ralf Klasing
Ralf.Klasing at labri.fr

Workshops Chair, ICALP 2010

Notifications will be sent by 31 March 2010. The 
Workshops selection committee consists of the 
ICALP Conference Chairs and the ICALP Workshops Chair.

Further information:
In accordance with EATCS policies, any workshop 
collocated with ICALP is expected to be 
financially independent. However, the 
registration fee should be as low as possible.

We provide the following aspects of the workshop organisation:
- registration
- coffee breaks, wireless access, conference 
rooms, lunches, booklet, ... (as for ICALP)
- a link to the web page of the workshop

We do NOT provide:
- hotel reservation (as for ICALP)
- All scientific aspects of the program of the workshop
   (e.g. call for papers, notification, program, workshop webpage, ...)
   are managed by the responsible of the workshop.
- Call for Papers, neither Call for Participation
- publicity for the workshop

ICALP 2010 is organised by the INRIA Bordeaux - 
Sud-Ouest research center in collaboration with 
the LaBRI, computer science laboratory of CNRS and the University of Bordeaux.

Items for the next CiE Newsletter should be sent 
in plain text to s.b.cooper at leeds.ac.uk to arrive by March 15th, 2010

   ASSOCIATION COMPUTABILITY IN EUROPE       http://www.computability.org.uk
   CiE Conference Series                          http://www.illc.uva.nl/CiE
   CiE 2010                                       http://www.cie2010.uac.pt/
   CiE Membership Application Form             http://www.cs.swan.ac.uk/acie
   ALAN TURING YEAR                           http://www.turingcentenary.eu/

More information about the FOM mailing list