CiE Newsletter No.16, July 14, 2009 ___________________________________________________________________________ CONTENTS: 1. Call for participation and informal presentations, Computer Science Logic (CSL), Coimbra, Portugal, September 7 - 11, 2009 2. 5th Conference on Logic, Computability and Randomness 3. New journal - Scientific Annals of Computer Science 4. Late registration for Unconventional Computation (UC'09), Ponta Delgada, Azores, Portugal, September 7-11, 2009 5. Two PhD studentships in the research group of Wolfgang Maass and Robert Legenstein at the Graz University of Technology in Austria: 6. PhD Position in Computer Science at LIFO (Laboratoire d'Informatique Fondamentale d'Orleans): 7. Call for participation in 3rd Workshop on Reachability Problems, September 23-25, 2009, Ecole Polytechnique, France 8. Final call for papers, Workshop and AMS Special Session on Constructive Mathematics ========================================================================== 1. (from Reinhard Kahle) Call for participation and informal presentations, Computer Science Logic (CSL), Coimbra, Portugal, September 7 - 11, 2009: ******************************************************************** * CSL'09 * * Annual Conference of the European Association for * * Computer Science Logic * * September 7 - 11, 2009, Coimbra, Portugal * * http://www.mat.uc.pt/CSL09 * * CALL FOR PARTICIPATION * ******************************************************************** Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Registration is open: http://www.mat.uc.pt/~csl/ Early registration deadline: 31 July, 2009. List of accepted papers: http://www.mat.uc.pt/~csl/ap.html ******************************************************************** * CALL FOR INFORMAL PRESENTATIONS * ******************************************************************** This year, CSL is opening a special session for Informal Presentations. There are four categories for these presentations: 1) PhD students. Students which are about to finish their PhD are invited to report on their results. It is expected that submissions have the support of the supervisor. 2) Recent PhDs. Researchers which recently finished their PhD are invited to report on their theses. 3) Work in progress. Researches who would like to discuss work in progress which is not yet in the stage for publications. 4) Other conference papers. Researchers who have a paper of interest for the CSL community that has already been presented at another conference. Informal presentations must be in English. Please send an abstract of 1 to 3 pages in Springer's LNCS style by 20 July 2009 to the CSL submission server: http://www.easychair.org/conferences/?conf=csl2009 Please provide, in the Abstract field of the Easychair form, the following information: For category 1: Name and e-mail of your supervisor. For category 2: Date and University of your PhD defense. For category 4: Conference where the paper is accepted. The submissions are evaluated by the programme committee chairs, taking into account the appropriateness for CSL and possible timetable restrictions. Suggested topics of interest include: automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logic, model checking, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, and nonmonotonic reasoning. Young researchers are especially encouraged to send submissions for informal presentations. The submission deadline for informal presentations is 20 July, 2009. ========================================================================== 2. (from Peter Cholak) 5th Conference on Logic, Computability 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. The meeting will end by 1pm on the 28th. The meeting URL is http://math.nd.edu/conferences/AlgoRandomness/ Please save the dates. More info about the meeting will be available by late fall in 2009. Travel support will be available. This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness. ========================================================================== 3. (from Gabriel Ciobanu) New journal - Scientific Annals of Computer Science: Scientific Annals of Computer Science - http://www.info.uaic.ro/Annals - is a theoretical computer science journal, a forum for the dissemination of formal solutions of problems appearing in all areas of computer science. It is indexed by DBLP, Zbl, Math. Review, DOAJ, etc. Submissions of the CiE community are welcome! We welcome contributions which have not been previously published in any other journal, nor submitted simultaneously for publication elsewhere. Extended versions of papers which have previously appeared in conference proceedings are also considered; the authors should indicate this at the time of submission. High quality papers will be really appreciated. Please submit your manuscript electronically (as an attached pdf file) to gabriel@info.uaic.ro with Cc: annals@info.uaic.ro. Scientific Annals of Computer Science (SACS) is now in the process of evaluation for inclusion in the Science Citation Index (expanded). Recommendations from various scientific communities are welcome. You can kindly recommend it by using the form available at http://science.thomsonreuters.com/info/journalrec just filling in the following information: Journal Title: Scientific Annals of Computer Science (SACS) Publisher Name: A.I.Cuza University of Iasi Unique features distinguishing this journal: SACS is devoted to papers in computer science with results which are formally stated and proved. Journal URL: http://www.info.uaic.ro/Annals Journal Scope: theoretical computer science + Your Contact Details... Gratefully yours, Gabriel Ciobanu -- http://www.info.uaic.ro/~gabriel ========================================================================== 4. (from Felix Costa) Late registration for Unconventional Computation (UC'09), Ponta Delgada, Azores, Portugal, September 7-11, 2009: UC 2009 8th International Conference on UNCONVENTIONAL COMPUTATION, Ponta Delgada, Azores Islands, PORTUGAL, September 7-11, 2009 ==================================================================== LATE REGISTRATION: JULY 11TH - 24TH 2009 ==================================================================== We are happy to invite you to the next edition of the International Conference on UNCONVENTIONAL COMPUTATION (UC). Registrations between July 11th and July 24th fall into the late registration period. Please register at the conference website http://www.uc09.uac.pt/registration.php . ========================== HOTEL / FLIGHT RESERVATION ========================== Rooms will be available at the special conference hotel rate. Please consult the conference website http://www.uc09.uac.pt/accommodation.php for information on reserving your flight and / or your hotel room at the special conference rate. ============ PhD STUDENTS ============ There are special prices for accommodation of PhD students at University Student Residence, please consult the conference website http://www.uc09.uac.pt/PhDAccommodation.php . The conference will take place in Azores (Portugal). Azores is an archipelago comprised of nine islands located in the middle of the Atlantic Ocean, between Europe and North America. The islands are full of natural reserves, protected landscape areas, parks and protected forests. The magic of the Azores is not only found in its stunning landscapes, but also in its history and culture. Its palaces, churches and fortresses are all reminders of when the island provided a stopover port for ships loaded with treasures from the Americas and the Orient. Ponta Delgada is the biggest city of the Azores which is located on the southern coast of the Sao Miguel island. It has many magnificent buildings of tremendous architectural value portraying the urban architecture of the 16th to the 19th centuries. The majority of these are presently used to accommodate the various political, administrative, religious and cultural offices of the Azores, including the University of Azores, where UC'09 will be hosted. -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. WE ARE LOOKING FORWARD TO SEE YOU AT UNCONVENTIONAL COMPUTATION 2009 IN AZORES! -.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-. CONTACT ADDRESS: Elisabete FREIRE Phone: (+351) 296 650 506 / (+351) 296 650 000 e-mail: freire@uac.pt ========================================================================= 5. (from Wolfgang Maass) Two PhD studentships in the research group of Wolfgang Maass and Robert Legenstein at the Graz University of Technology in Austria: In the research group of Wolfgang Maass and Robert Legenstein at the Graz University of Technology in Austria (http://www.igi.tugraz.at/maass/) there are positions for two PhD students for research on computation and learning in networks of spiking neurons, models for complex autonomously learning neural systems (including neuronal implementations of reinforcement learning), and models for self-organization and self-calibration of biologically realistic models for cortical microcircuits and areas. A keen interest in understanding brain function as well as knowledge in machine learning, computational theory, and programming skills are expected. These two PhD Students will be funded for 3 years by the Marie Curie Initial Training Network Facets-ITN of the EU. They will receive a strongly interdisciplinary training including extended stays in several partner laboratories from the FACETS-project of the EU http://facets.kip.uni-heidelberg.de/. These are pure research positions, without teaching duties. Applicants for these positions in Graz should send their CV, statement of interest, and pdf's of relevant papers (e.g. master thesis) as soon as possible to Angelika Zehetner angelika@igi.tugraz.at (The rules of the Marie Curie Network demand that applicants for the positions in Austria must be of non-Austrian nationality and have spent less than 12 months during the last 3 years in Austria.) -- Prof. Dr. Wolfgang Maass Institut fuer Grundlagen der Informationsverarbeitung Technische Universitaet Graz Inffeldgasse 16b , A-8010 Graz, Austria Tel.: ++43/316/873-5811 Fax ++43/316/873-5805 http://www.igi.tugraz.at/maass/Welcome.html ========================================================================= 6. (from Jerome Durand-Lose) PhD Position in Computer Science at LIFO (Laboratoire d'Informatique Fondamentale d'Orleans): Open PhD position in Computer Science at the LIFO (Laboratoire d'Informatique Fondamentale d'Orleans), Universite d'Orleans, FRANCE. Geometrical model of computation: fractals and complexity barriers The PhD deals with breaking complexity barriers (like NP) in a geometrical context. A description of the subject can be found at http://www.univ-orleans.fr/lifo/Members/Jerome.Durand-Lose/Recherche/2009_Al location_Flechee-en.pdf The candidate is expected to start on September 1st, 2009. PREREQUISITES - Good Master's degrees in Computer Science or closely related disciplines, - Good knowledge in theoretical computer science, and - Good knowledge of English (French is a plus). APPLICATIONS Interested candidates should send **by email only**, preferably by July, 15, 2009 : - an application letter, indicating research area of interest, - a detailed CV, including a list of courses completed and marks received, and - an electronic copy of any relevant material. Pr. J. Durand-lose ========================================================================= 7. (from Olivier Bournez) Call for participation in 3rd Workshop on Reachability Problems, September 23-25, 2009, Ecole Polytechnique, France: ++++++++++ Registration FREE ++++++++++ +++++++ Before July 27 +++++++++++++ http://www.lix.polytechnique.fr/rp09 LIX Colloquium: 3rd WORKSHOP ON REACHABILITY PROBLEMS, RP'2009 (September 23-25, 2009, Ecole Polytechnique, France) --------------------------------------------------- ==== CALL FOR PARTICIPATION ==== ==== REGISTRATION FREE IF DONE BEFORE JULY 27 ==== --------------------------------------------------- http://www.lix.polytechnique.fr/rp09 The annual fall colloquium organized by the Computer Science Laboratory of Ecole Polytechnique (LIX) will host Reachability Problems RP'2009. RP'2009 will take place at Ecole Polytechnique (on-site at Palaiseau, a suburb district of Paris, FRANCE). The Reachability Problems Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in - Algebraic structures - Computational models - Hybrid systems - Verification Invited Speakers: ================ - Ahmed Bouajjani ( University of Paris 7 ) - Thomas A. Henzinger ( EPFL in Lausanne ) - Oded Maler ( VERIMAG ) - Alexander Shen ( CNRS Marseille ) - Moshe Y. Vardi ( Rice University ) Sponsors include: ================ - Ecole Polytechnique - Laboratory LIX - CNRS & GdR Informatique MathÈmatique Contact: ================ 3rd Workshop on Reachability Problems 2009 - RP'09 Olivier Bournez: bournez@lix.polytechnique.fr Igor Potapov: potapov@liverpool.ac.uk http://www.lix.polytechnique.fr/rp09 ========================================================================= 8. (from Robert Lubarsky) Final call for papers, Workshop and AMS Special Session on Constructive Mathmematics: FINAL CALL FOR PAPERS Workshop and AMS Special Session on Constructive Mathmematics Florida Atlantic University Boca Raton, FL 33431 USA Oct 28 - Nov 1 2009 The deadline for submission of abstracts of talks for the special session is next TUESDAY, JULY 14. Completed papers are not necessary. Abstracts can be submitted through http://www.ams.org/amsmtgs/2161_program.html or http://www.ams.org/cgi-bin/abstracts/abstract.pl . NSF funding of the workshop is anticipated. Once this is confirmed, we will issue a call for applications for support. The workshop sessions will meet Oct 28 & Oct 29. Its goal will be actual progress in the field. The sessions and their leaders will be algebra (Fred Richman), analysis (Doug Bridges), topology (Bas Spitters), and set theory (Michael Rathjen). It will conclude the morning of Oct 30 with a talk by Vladimir Lifschitz on constructive mathematics and computer science aimed at a general mathematics audience. The special session will be part of the AMS sectional meeting at FAU, Oct 30 - Sun Nov 1. The organizing committee is Robert Lubarsky and Fred Richman. For further information, visit http://math.fau.edu/Richman/Worshop/, or contact Robert.Lubarsky@comcast.net. For further information on the AMS sectional meeting contact either Matthew Miller, the relevant AMS secretary, at miller@math.sc.edu, or Mario Milman, the local organizer, at extrapol@bellsouth.net. ========================================================================= Items for the next CiE Newsletter should be sent to cie@leeds.ac.uk to arrive by July 27, 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 __________________________________________________________________________