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: http://www.cie2010.uac.pt/contents/student_opportunities.html http://www.cie2010.uac.pt/contents/agenda.html 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. ___________________________________________________________________________ CONTENTS: 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 https://fenix.ist.utl.pt/cursos/deaseginf?locale=en_EN more concretely at https://fenix.ist.utl.pt/cursos/deaseginf/admission-requirements?locale=en_E N and at https://fenix.ist.utl.pt/cursos/deaseginf/financial-support?locale=en_EN 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. Topics: 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 Submissions: Authors are invited to submit a PDF version of an extended abstract (typically 10-12 pages) on the following web page: http://www.easychair.org/conferences/?conf=cca2010 These extended abstracts need to be prepared with EPTCS style file http://style.eptcs.org/ Proceedings: 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. Dates: 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 ===================== LPAR-16 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning April 25 - May 1, 2010 Dakar, Senegal http://www.lpar.net/lpar-16/ 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. Topics ------ 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 ... http://www.easychair.org/conferences/?conf=lpar16short The short paper proceedings will be available as an EasyChair collection volume. Participation ------------- 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 http://www.bctcs.ac.uk/BCTCS2010/ SCOPE 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 Friday. INVITED SPEAKERS 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) CONTRIBUTED TALKS 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. STUDENT GRANTS 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. REGISTRATION 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: http://www.bctcs.ac.uk/BCTCS2010/ 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) http://icalp10.inria.fr/ 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@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@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/ ___________________________________________________________________________