CiE Newsletter No.31, March 29, 2010: Don't forget to look at the student funding opportunities for CiE 2010 in the Azores. See: http://www.cie2010.uac.pt/contents/student_opportunities.html In particular, the deadline for applications for ASL Student Travel Awards is TUESDAY 30 MARCH. Applications should be sent direct to the ASL at asl@vassar.edu . ___________________________________________________________________________ CONTENTS: 1. ICM 2010 Satellite: extended deadline and grants 2. CSL 2010 - 2nd Call for Papers 3. EmergeNET4 : 2nd call for registration =========================================================================== =========================================================================== 1. (from Benedikt Loewe) ICM 2010 Satellite: extended deadline and grants: -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- Conference on Mathematical Logic and Set Theory Chennai (India), 15-17 August 2010 Satellite Conference of the ICM 2010 in Hyderabad (India) http://www.illc.uva.nl/Chennai/ Call for Papers, Extension of Deadline, and Information about Grant Possibilities The Association for Logic in India announces a satellite conference on Mathematical Logic and Set Theory on the occasion of the International Congress of Mathematicians (ICM 2010), in Hyderabad, India. The satellite event will itself be held in Chennai, co-hosted by the Institute of Mathematical Sciences and the Chennai Mathematical Institute. The scope of the intended meeting is all of mathematical logic, including its areas of application (theoretical computer science, algebraic logic and others). Keynote Speakers: Joan Bagaria, ICREA & Universitat de Barcelona, Barcelona, Catalonia, Spain, Rob Goldblatt, Victoria University of Wellington Wellington, New Zealand, Menachem Magidor, Hebrew University of Jerusalem, Jerusalem, Israel, Justin T. Moore, Cornell University, Ithaca NY, USA, Andre Nies, University of Auckland, Auckland, New Zealand, Kobi Peterzil, University of Haifa, Haifa, Israel, Anand Pillay, University of Leeds, Leeds, UK, Theodore A. Slaman, University of California, Berkeley CA, USA, Sergei Starchenko, University of Notre Dame South Bend IN, USA, Wolfgang Thomas, RWTH Aachen, Germany, W. Hugh Woodin, University of California, Berkeley CA, USA. We invite all researchers in all areas of logic to attend the conference and submit an abstract for a contributed talk. Abstracts should be 1 to 5 pages in length, and should clarify the main contributions being presented. Presentations can be on any areas of set theory and logic, and their applications in computer science and other areas. Submissions should be made via the Easychair system, logging in as Author to http://www.easychair.org/conferences/?conf=icmselst2010 by 1 April 2010. Conference registration details will be available from April 1, 2010 from the conference page. We are offering a small number of partial subsidies for junior researchers, and it is likely that the conference will be an ASL-sponsored conference, making all student members of the ASL eligible for "ASL student travel grants". More information on this can be found at our subsidy page http://www.illc.uva.nl/Chennai/subsidy.html Important Dates: * Submission Deadline: 1 April 2010 * Notification: 15 April 2010 * Conference: 15-17 August 2010 Program Committee: Mohua Banerjee (Kanpur, India), Elizabeth Bouscaren (Paris, France), Sam Buss (San Diego CA, USA), S. Barry Cooper (Leeds, UK), Sy David Friedman (Vienna, Austria), Mai Gehrke (Nijmegen, The Netherlands), Valentin Goranko (Lyngby, Denmark), Kamal Lodaya (Chennai, India), Benedikt Löwe (Amsterdam, The Netherlands) (Co-Chair), R. Ramanujam (Chennai, India) (Co-Chair), Jouko Väänänen (Amsterdam, The Netherlands & Helsinki, Finland). Sponsors. (*) International Congress of Mathematicians 2010 (*) Institute for Mathematical Sciences, Chennai (*) INFTY: New frontiers of infinity: mathematical, philosophical, and computational prospects; funded by the European Science Foundation (ESF) (*) Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) =========================================================================== =========================================================================== 2. (from Geoff Sutcliffe) CSL 2010 - 2nd Call for Papers: Second Call for Papers CSL 2010 Annual Conference of the European Association for Computer Science Logic August 23-27, 2010, Brno, Czech Republic http://mfcsl2010.fi.muni.cz/csl Submission (title & abstract): March 26, 2010 Submission (full paper): April 2, 2010 Notification: May 17, 2010 Final papers: June 6, 2010 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. The 19th EACSL Annual Conference on Computer Science Logic (CSL 2010) and the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) are federated and organized in parallel at the same place. The federated MFCS & CSL 2010 conference has common plenary sessions and social events for all participants. The technical program and proceedings of MFCS 2010 and CSL 2010 are prepared independently. The MFCS & CSL 2010 conference is accompanied by satellite workshops on more specialized topics. Suggested topics of interest include (but are not limited to) 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, decision procedures, 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, nonmonotonic reasoning. Proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of the LNCS series. Each paper accepted by the Programme Committee must be presented at the conference by one of the authors, and a final copy must be prepared according to Springer's guidelines. Submitted papers must be in Springer's LNCS style and of no more than 15 pages, presenting work not previously published. They must not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or journal by March 19, 2010. Papers authored or coauthored by members of the Programme Committee are not allowed. Papers will be submitted through the conference website. Submitted papers must be in English and provide sufficient detail to allow the Programme Committee to assess the merits of the papers. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the program committee. The Ackermann Award for 2010 will be presented to the recipients at CSL'10. There will be a Special Issue of the Journal LMCS (Logical Methods in Computer Science) based on selected papers of CSL 2010. *** Programme Committee Armin Biere (Linz) Lars Birkedal (ITU, Denmark) Nikolaj Bjorner (Redmond) Manuel Bodirsky (Paris) Mikolaj Bojanczyk (Warsaw) Iliano Cervesato (Doha) Krishnendu Chatterjee (Klosterneuburg) Agata Ciabattoni (Vienna) Anuj Dawar (Cambridge, co-chair) Azadeh Farzan (Toronto) Georg Gottlob (Oxford) Martin Hofmann (Munich) Orna Kupferman (Jerusalem) Christof Loeding (Aachen) Joao Marques-Silva (Dublin) Tobias Nipkow (Munich) Prakash Panangaden (Montreal) R. Ramanujam (Chennai) Simona Ronchi della Rocca (Torino) Alex Simpson (Edinburgh) Pascal Tesson (Quebec) Helmut Veith (Vienna, co-chair) Yde Venema (Amsterdam) *** CSL/MFCS Plenary Speakers David Basin (Zurich) Herbert Edelsbrunner (Klosterneuburg) Erich Gr?adel (Aachen) Joseph Sifakis (Gieres) *** CSL Invited Speakers Peter O?Hearn (London) Jan Krajicek (Prague) Andrei Krokhin (Durham) Andrey Rybalchenko (Munich) Viktor Kuncak (Lausanne) *** Organizing Committee Jan Bouda (Brno, chair) *** Conference address MFCSL 2010 Faculty of Informatics Masaryk University, Botanicka 68a, 60200 Brno Czech Republic mfcsl2010@fi.muni.cz =========================================================================== =========================================================================== 3. (from Susan Stepney) EmergeNET4 : 2nd call for registration: EmergeNET4: Engineering Emergence 2nd Call for registration St William's College, York, UK Mon 19 - Tues 20 April 2010 http://www.cs.york.ac.uk/nature/emergeNET4/ The EmergeNET network promotes interest in complex systems and emergence by bringing together established researchers, those new to the area, and the public. EmergeNET4 is the fourth workshop in the network series. This two-day workshop at York will be a combination of two keynote speakers, 12 oral presentations, and discussion sessions to explore in depth the ideas of Engineering Emergence. EmergeNET4: Engineering Emergence, aims to provide a forum for discussing all aspects of the engineering of emergence in complex systems. Complex systems are characterised by low-level components that communicate and interact with and within an environment, resulting in the emergence of high-level system behaviours. Complex systems are often designed to help understand emergence or to exploit emergent behaviours to help solve problems in the real world. Emergent behaviours are by definition a function of the system rather than any individual component, which makes the engineering of these behaviours a non-trivial activity. Engineering of emergence covers, amongst other aspects, abstract modelling (in diagrams or mathematics), simulation in hardware or software, verification and validation, and engineering tools, techniques and workflows. KEYNOTE SPEAKERS: Rene Doursat, Director of the Complex Systems Institute, Paris (ISC-PIF) and researcher at the Centre National de la Recherche Scientifique (CNRS) "Embryomorphic Engineering: From biological development to self-organized computational architectures" Russell J. Abbott, Department of Computer Science, California State University, Los Angeles. "From energy to information and back" REGISTRATION Registration is now open. Please see the "online store" at: https://store.york.ac.uk/catalogue/products.asp?compid=1&deptid=114&catID=13 3&hasClicked=0 Registration covers attendance of both days of the workshop, including lunches and refreshments. ACCOMMODATION York has many hotels and guest houses with a wide range of prices: http://www.visityork.org/. Please note that the meeting is being held in central York (next to the Minster), NOT on the campus. The Monkbar Hotel www.monkbarhotel.co.uk is a convenient and reasonably priced option. STUDENT TRAVEL BURSARIES We are offering a small number of travel bursaries of £100, for registered students (when you register, you will be asked if you wish to apply for a bursary). To apply, you should send the organisers (emergenet-4@cs.york.ac.uk) a short note explaining how attending the workshop will benefit your studies, accompanied by a letter from your supervisor recommending you for a bursary. DEADLINE 10 April 2010, but note that bursary allocations will be decide on a "first come first served" basis. SPECIAL ISSUE OF NACO There will later be an open call to submit a technical paper, that will be peer reviewed, for a postproceedings special issue on "Engineering Emergence" of the journal Natural Computing. Find out more about EmergeNET4 at http://www.cs.york.ac.uk/nature/emergeNET4/ Find out more about EmergeNET in general at www.emergenet.org =========================================================================== =========================================================================== Items for the next CiE Newsletter should be sent in plain text to s.b.cooper@leeds.ac.uk to arrive by April 18th, 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/ ___________________________________________________________________________