[FOM] [CiE] Newsletter No.29, March 2, 2010
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
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.
Complexity on real numbers
Domain theory and analysis
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
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)
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
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
* 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
* Ed Clarke
* Andrei Voronkov
* 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
Short papers are limited in length to 5 pages in
the EasyChair format. The class style may be
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.
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.
LOCATION AND SCHEDULE
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
* 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.
ORGANISATION AND FURTHER INFORMATION
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 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.
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:
- 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