CiE Newsletter No.34, June 1, 2010: There is still time to register for CiE 2010 in Ponta Delgada, until June 20th - register at: http://www.cie2010.uac.pt/contents/registration.html For an up-to-date CiE 2010 schedule, go to: http://www.cie2010.uac.pt/contents/timetable.html And a final reminder that the deadline for nominations to the Association CiE Board is Wednesday 2nd June, 2010. And the deadline for proposals for CiE Annual General Meeting is 10th June, 2010. ___________________________________________________________________________ CONTENTS: 1. July publication date for "Algorithmic Randomness and Complexity" by Rod Downey and Denis Hirschfeldt, in CiE/Springer book series 2. Pre-announcement of UC'2011 dates - Unconventional Computation 2011, in Turku, Finland, on June 6-10, 2011 3. International Workshop on Classical Logic and Computation (CL&C'10) 4. Kurt Goedel Research Prize Fellowships Announcement 5. SOFSEM 2011 Call for Papers 6. ICALP 2010, July 5-10, 2010 Bordeaux, France - Deadline for early registration: June 4th, 2010 7. 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17) - submission deadlines 8. IJCAR 2010 - 5th International Joint Conference on Automated Reasoning, Edinburgh, UK, July 16-19, 2010- 2nd Call for Participation =========================================================================== =========================================================================== 1. (from Barry Cooper) July publication date for "Algorithmic Randomness and Complexity" by Rod Downey and Denis Hirschfeldt: As most CiE members will know, the first book in the CiE/Springer book series "Theory and Applications of Computability" will be the eagerly awaited mammoth volume: "Algorithmic Randomness and Complexity" by Rod Downey and Denis Hirschfeldt. The book is now in press, and expected to appear in July this year (just after CiE 2010 in the Azores). The book is still available for pre-order from Springer at the bargain price of 45.96 euros: http://bit.ly/bIjZW7 and from Amazon.com at $51.91. =========================================================================== =========================================================================== 2. (from Jarkko Kari) Pre-announcement of UC'2011 dates: Please note the dates for Unconventional Computation 2011: It will take place in Turku, Finland, on June 6-10, 2011. (Reminder: CiE 2011: Models of Computation in Context, will be in Sofia, Bulgaria, 27 June - 2 July 2011.) =========================================================================== =========================================================================== 3. (from Uli Berger) International Workshop on Classical Logic and Computation (CL&C'10): 2nd Call forPapers International Workshop on Classical Logic and Computation (CL&C'10) http://www.doc.ic.ac.uk/~svb/CLaC10 21-22 August 2010 Brno, Czech Republic CL&C'10 is a joint workshop with PECP and a satellite of the federated conferences CSL and MFCS IMPORTANT DATES Deadline for abstract: June, 13, 2010 Deadline for submission: June, 27, 2010 Notification of acceptance: July, 17, 2008 Final version due: July, 27, 2010 Workshop date: August, 21-22, 2010 INTRODUCTION CL&C'10 is the third of a conference series on "Classical Logic and Computation". It intends to cover all work aiming to explore computational aspects of classical logic and mathematics. This year CL&C will be held as part of CSL and MFCS, jointly with PECP (Program Extraction and Constructive Proofs): http://www.cs.swansea.ac.uk/~csmona/pecp.html Through these two workshops we wish to honour Prof. Helmut Schwichtenberg's many important contributions to both fields. CL&C is focused on the interplay between program extraction from classical proofs and computer science, while PECP will focus on recent developments in Applied Proof Theory and Constructive Mathematics. The two fields have a substantial common interest, namely the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas. SCOPE OF CL&C This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to, - version of lambda calculi adapted to represent classical logic, - design of programming languages inspired by classical logic, - cut-elimination for classical systems, - proof representation and proof search for classical logic, - translations of classical to intuitionistic proofs, - constructive interpretation of non-constructive principles, - witness extraction from classical proofs, - constructive semantics for classical logic (e.g. game semantics), - case studies (for any of the previous points). SUBMISSION AND PUBLICATION, This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers. All submitted papers will be reviewed to normal standards. The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, and presentations of (short) papers about work in progress. The accepted papers will appear in EPTCS. Post-proceedings of CL&C'06 and CL&C'08 were published as special issues of APAL, for which an open call for papers was sent. A special issue of a journal, with the post-proceedings of CL&C'10, is being considered. In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at http://www.easychair.org/conferences/?conf=clac10 A participants' proceedings will be distributed at the workshop. INVITED KEYNOTE SPEAKERS (Jointly with PECP) * Helmut Schwichtenberg (Munich) * Michael Rathjen (Leeds) (further speakers to be announced) PROGRAMME COMMITTEE * Bernard Reus (Sussex) * Hugo Herbelin (Inria Paris) * Richard McKinley (Bern) * Stefano Berardi (Turin) - co-chair * Steffen van Bakel (Imperial College London) - co-chair * Stephane Lengrand (LIX Paris) * Ugo de'Liguoro (Turin) * Ulrich Berger (Swansea) - co-chair * Zhaohui Luo (Royal Holloway London) CONTACT u.berger@swansea.ac.uk =========================================================================== =========================================================================== 4. (from Matthias Baaz) Kurt Goedel Research Prize Fellowships Announcement: KURT GOEDEL RESEARCH PRIZE FELLOWSHIPS The Kurt Goedel Society is proud to announce the commencement of the second round of the Kurt Goedel Research Prize Fellowships Program. The research fellowship prize program is sponsored by the John Templeton Foundation and will offer: * two Ph.D. (pre-doctoral) fellowships of EUR 100,000 * two post-doctoral fellowships of EUR 100,000 and * one unrestricted fellowship of EUR 100,000 One International Board of Jurors will be in charge of evaluating the applications and determining up to twenty finalists whose papers will be published in a special issue of the Annals of Pure and Applied Logic, and another international Board of Jurors will be in charge of determining the winners. Both Boards will be chaired by Prof. Harvey Friedman, Ohio State University (USA). Board of Jurors for Determining the Finalists * Jeremy AVIGAD, Carnegie Mellon University, (USA) * Lenore BLUM, Carnegie Mellon University, (USA) * Harvey FRIEDMAN, Ohio State University (USA) CHAIR * John HARRISON, Intel Corporation, (USA) * Kenneth KUNEN, University of Wisconsin, (USA) * Angus MACINTYRE, Queen Mary, University of London and Royal Society,(UK) * Hiroakira ONO, JAIST Research Center for Integrated Science, (JAPAN) * Pavel PUDLAK, Czech Academy of Sciences, (Czech Republic) * Michael RATHJEN, University of Leeds, (UK) * Frank STEPHAN, National University of Singapore, (SINGAPORE) * William TAIT, University of Chicago, (USA) * Simon THOMAS, Rutgers University, (USA) * Albert VISSER, University of Utrecht (NL) * Andreas WEIERMANN, Ghent University, (BELGIUM) * Boris ZILBER, University of Oxford, (UK) Board of Jurors for Determining the Winners * Lev BEKLEMISHEV, Russian Academy of Sciences (RUS) * Harvey FRIEDMAN, Ohio State University (USA) CHAIR * Dov M. GABBAY, King's College London (UK) * Warren D. GOLDFARB, Harvard University (USA) * Howard Jerome KEISLER, University of Wisconsin (USA) Goal and Criteria of Merit The purpose of these fellowships is to support original research in, and areas surrounding, the foundations of mathematics. (See Scope below for more details.) These fellowships are intended to carry forward the legacy of Kurt Gödel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic, with profound impact on the philosophy and foundations of mathematics. In pursuit of similar insights and discoveries, we adopt the following criteria of merit for evaluating Fellowship applications: 1. Intellectual merit, scientific rigor and originality of the submitted paper and work plan. The paper and research plans should combine visionary thinking with academic and scientific excellence. 2. Potential for significant contribution to basic fundamental issues of wide interest, and the likelihood for opening new, seminal lines of inquiry that bear on such issues. 3. Impact of the Fellowship on the project and likelihood that the Fellowship will make the proposed new lines of research possible. 4. The expectation that the proposed research will be successful. 5. Qualifications of the applicants will be evaluated on the basis of all available information including CV, research paper, research plans, research accomplishments, and letters of recommendation (recommendation letters are not required for senior applications). Winners' Model Projects: http://fellowship.logic.at/2010/files/Bovykin_Project.pdf http://fellowship.logic.at/2010/files/Koellner_Project.pdf Model Questions http://fellowship.logic.at/index.php?questions Scope Original fellowship proposals in the areas of * set theory * recursion theory * proof theory/intuitionism * model theory * computer assisted reasoning * philosophy of mathematics All fellowship proposals, regardless of subject area, will be judged according to * the relevance and resemblance of the research (finished and proposed) to the great insights and originality of Kurt Gödel * its general interest and clarity of motivation * its rigorous scientific quality and depth. Submission Instructions The three categories of fellowships are specified as follows: *Ph.D.(pre-doctoral): being in the stage before finishing the thesis (or equivalent achievements) *Post-doctoral: being in the stage within 10 years after finishing the thesis (or equivalent achievements) *Unrestricted: also open to senior applicants The submission must consist of: - one document A in PDF format containing . the CV . the project description . the recommendation letters - one document B in PDF format containing the article - one text abstract relating to B Maximum allowed length of the abstract is 500 words. Document A containing the CV, the project description, and the recommendation letters must be prepared in the following way: - minimum font size: 10pt - paper size: A4 - maximum length of the CV: 3 pages The CV must contain the list of all/most important publications. The CV must clearly state to which category the application belongs. - maximum length of project description: 4 pages Project description should clearly state where and at which institution the applicant intends to carry out the project. - minimum 2(two)/maximum 3 (three) 1-page recommendation letters,in case of applications belonging to the categories Ph.D.(pre-doctoral) and post-doctoral fellowships. (The recommendation letters should be scanned and included into the PDF document) The submission must be in English. The Board and the Program Chair reserve the right: .to consider only submissions with reasonable format .to reassign a submission to another category as applied for. The applicant will be informed about the reasons for such a decision. The submission software will be available online by the end of June 2010. Timeline Timeline November 15, 2010. Submissions deadline February 28, 2011. Jury decision on the papers for publication (at most 20) March 1, 2011. Final versions due March 6, 2011. Jury decision on winners due April 28-30, 2011. Conference and the Award Ceremony June-October, 2011. Commencement of the Fellowships Web:http://fellowship.logic.at E-mail contact: goedel-fellowship@logic.at =========================================================================== =========================================================================== 5. (from Rastislav Kralovic) SOFSEM 2011 Call for Papers: ************************************************************************* =: SOFSEM 2011 := 37th Annual Conference on Current Trends in Theory and Practice of Informatics January 22 -- 28, 2011 Novy Smokovec, Slovakia http://www.sofsem.sk ************************************************************************* FIRST CALL FOR PAPERS SOFSEM (Software Seminar) is the annual international winter conference devoted to the theory and practice of computer science. Its aim is to present the latest developments in research to professionals from academia and industry, working in leading areas of computer science. The SOFSEM program consists of Invited Talks by prominent researchers, Contributed Talks selected by the Program Committee from submitted papers, and the Student Research Forum. SOFSEM is organized in plenary and parallel tracks, giving a unique opportunity to obtain an excellent overview of the selected research areas. All tracks are devoted to original research and leading developments. Original papers in the respective areas are solicited. Papers bridging the gap between theory and applications are highly encouraged. Proceedings containing the invited and contributed papers are published in the Lecture Notes in Computer Science series by Springer Verlag. Student papers of sufficient high quality but not accepted for the regular track, will be accepted to the SOFSEM 2011 Student Research Forum which will give the students the opportunity to present their paper to the main SOFSEM audience and also to get the paper published in the local SOFSEM proceedings. The general chair of SOFSEM 2011 is Juraj Hromkovic (ETH Zurich) The chairs of tracks of SOFSEM 2011 are: * PC chair Rastislav Kralovic (Comenius UNiversity, Bratislava) * Foundations of Computer Science chair Ivana Èerná (Masaryk University, Brno) * Software, Systems, and Services chair Tibor Gyimothy (University of Szeged) * Processing Large Datasets chair Keith Jeffery (STFC Rutherford Appleton Laboratory, Didcot) * Cryptography, Security, and Trust chairs Stefan Wolf (ETH Zurich), and Marko Vukolic (IBM Research) An integral part of SOFSEM 2011 is the Student Research Forum, organized with the aim to publish and discuss student research projects in the field of theory and practice of Computer Science. The forum offers students a unique opportunity to receive feedback on both the originality of their results and the work in progress. The papers will be reviewed and selected by the SOFSEM 2011 Program Committee as regular papers, so those accepted for the LNCS proceedings will be presented in regular sessions with possibility to have additional presentation in poster session of the Student Research Forum. Papers accepted for the local SRF proceedings will be provided with considerable space for presentation in the half day Student Research Forum session. The chair of Student research forum is Mária Bieliková (Slovak University of Technology, Bratislava) SOFSEM is a unique meeting place for academic and industrial research in informatics, and an ideal conference for discussions, for establishing personal contacts with new colleagues, and for exchanging ideas. At SOFSEM 2011 all participants and lectures will be accommodated in the Atrium Hotel, Nový Smokovec (Slovakia), an attractive winter resort. SOFSEM is well-known for its familiar and inspiring atmosphere, and especially suited for both young and experienced computer scientists. Important dates: Deadline for abstracts: September 5, 2010 Deadline for papers: September 10, 2010 Acceptance notification: October 25, 2010 Camera-ready version: November 1, 2010 Conference: January 22-28, 2011 Detailed description of the tracks: Foundations of Computer Science ------------------------------------------------------- The track is devoted to the recognized core areas forming the heart of computer science, and covering many different fields. Contributions are typically distinguished by an emphasis on mathematical background techniques, but quite often with significant impact on practical applications and systems. In other words, contributions that illustrate the value of fundamental research for applications are especially welcome. Such contributions have traditionally received a lot of attention at SOFSEM conferences, since its birth in 1974. The list of topics include (but is not limited to): * algorithms and data structures, including sequential, parallel, distributed, approximation, and number-theoretic algorithms * automata theory and languages * complexity theory, both computational and structural * concurrency theory * discrete mathematics related to computer science * grammars and formal models * program semantics, logic, and verification Software, Systems, and Services ------------------------------------------------------ The track is devoted to the application of novel and innovative technologies and principles to software construction including service-based approaches. Topics include (but are not limited to): * modelling, construction and management of hybrid service based systems * model driven architecture (MDA, MDD) * formal methods for system development * software specification, architecture, design * software evolution * progrm comprehension * SOA approaches in embedded systems * system migration * interoperability * software specification, architecture, design * software qulity models * open source developments * testing * methodologies and tools Processing Large Datasets ------------------------------------------- The increasing price-performance of data storage, computational power and networking speeds makes possible the collection, storage, management, analysis and display of large datasets. Research facilities such as the Large Hadron Collider at CERN produce petabytes of data per year. However, also in industry and commerce there are vast volumes of data. The data from supermarket check-outs, from control systems in manufacturing, from traffic control systems, from telecommunications companies and from banking transactions are just some examples. The size of these datasets demands new approaches including management of streamed datasets during collection and challenges fundamentals of database theory and practice. It is increasingly common to move the program code to the data rather than the data to the program, and to utilise parallel distributed processing architectures. The effort of data and systems administration is increased so that cost reduction requires automation of these functions. The move towards services using an e-infrastucture of GRIDs or CLOUDs demands new methods of software development and systems design. The list of topics includes (but is not limited to): * Novel database management techniques * New systems development techniques caused by large datasets * Data and Systems management of large datasets * Management of networks of sensors and detectors - their processing and their data * Virtualisation of services in GRIDs and CLOUDs * e-infrastructure architectures Cryptography, Security, and Trust -------------------------------------------------------- In this track, contributions are welcome on all aspects of cryptography, information security, and trust. Possible topics range from theoretical cryptography to applied security. Examples of topics include (but are not limited to): * Authentication and Identification * Cloud Computing Security * Distributed Systems and Storage Security * Identity Management * Information-Theoretic Security * Interactive Proofs * Intrusion and Malware Detection * Mobile and Wireless Security * Multi-Party Computation * Privacy and Anonymity * Private-Key Cryptography * Public-Key Cryptography * Quantum Protocols * Software and Network Security * Trust Management * Trusted Hardware and Virtualized Architectures For more information visit the SOFSEM 2011 web page http://www.sofsem.sk =========================================================================== =========================================================================== 6. (from Nicolas Bonichon) ICALP 2010, July 5-10, 2010 Bordeaux, France: ______________________________________________________________________ CALL FOR PARTICIPATION ______________________________________________________________________ ICALP 2010 37th International Colloquium on Automata, Languages and Programming July 5-10, 2010 Bordeaux, France http://icalp10.inria.fr/ Deadline for early registration: June 4th, 2010 Registration url:http://icalp2010.dakini.fr Supported by the European Association for Theoretical Computer Science (EATCS) and organized by the INRIA research center in Bordeaux (http://www.inria.fr/bordeaux) with the participation of LaBRI (http://www.labri.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 the 5th to the 10th of July 2010 in Bordeaux, France. The main conference will be preceded by a series of five workshops. *106 contributed papers will be presented in three tracks * 6 invited plenary talks will be given by Pierre Fraigniaud, Jean Goubault-Larrecq, Burkhard Monien, Joel Ouaknine, Roger Wattenhofer, Emo Welzl. * Three prestigious awards will be presented: the Gödel prize, the EATCS award and the Presburger award to young scientists. * Three best contributed papers will be awarded as well. The program is available here:http://icalp10.inria.fr/index.php?n=Main.Program-AllTracks _____________________________________________________________________ The city of Bordeaux is known worldwide for its architecture (listed on the UNESCO World Heritage), quality of life and of course its wines. All informations can be found here:http://www.bordeaux-tourisme.com The conference will be held at the Cité Mondiale (http://www.citemondiale.com/) at the hearth of the city, next to the river. The social program will include an excursion in the old Bordeaux city as well as the diner conference given in the remarkable Château Cazeneuve. If you plan to stay arround before or after the conference, you will enjoy an exceptional environment and variety of activities (http://www.francekeys.com/english/regions/aquitaine.shtml). Bordeaux is one hour from Paris by plane, two hours of Toulouse by train. There are direct connections to cities like Paris, London, Amsterdam and Bruxelles but also for FLOCâ~@~Y2010 attendees to Edinburgh (http://www.bordeaux.aeroport.fr/en) ______________________________________________________________________ Accomodations, look at http://icalp10.inria.fr/index.php?n=Main.Venue and find the hotel that best fits your needs. ______________________________________________________________________ Cancellation Policy: If a participant is unable to attend ICALP because of force majeure (e.g., volcanic ash causing flight cancellation) or because of visa denial, their registration fee and accommodation payments will be refunded in full, except for a Euro 50 administrative charge. =========================================================================== =========================================================================== 7. (from Geoff Sutcliffe) 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17): ============================================================ The 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ============================================================ Yogyakarta, Indonesia - October 10th-15th, 2010 http://www.computational-logic.org/lpar-17/Home.html --------------------------------------- Abstract submission deadline - 1st June Paper submission deadline - 8th June --------------------------------------- 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 17th LPAR will be held in Yogyakarta, Indonesia. Conference Chair: Steffen Hoelldobler Programme Chairs: Chris Fermueller, Andrei Voronkov Submissions of two kinds are welcome: * Regular papers that describe solid new research results. * Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. See the web site http://www.computational-logic.org/lpar-17/Home.html for all the details. =========================================================================== =========================================================================== 8. (from Viorica Sofronie-Stokkermans) IJCAR 2010 - 5th International Joint Conference on Automated Reasoning, Edinburgh, UK, July 16-19, 2010: --------------------------------------------------------------------------- IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning Edinburgh, UK, July 16-19, 2010 http://www.floc-conference.org/IJCAR-home.html as part of FLoC 2010 - Federated Logic Conference http://www.floc-conference.org/ Call for Participation --------------------------------------------------------------------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical programme will consist of presentations of high-quality original research papers, system descriptions, and invited talks. IJCAR 2010 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving), and TABLEAUX (Conference on Analytic Tableaux and Related Methods) Registration, accomodation, and travel/visa information for all FLoC conferences and workshops is on the FLoC 2010 web pages. Book your trip to Edinburgh today! DEADLINES: * early registration deadline: 17 MAY 2010. * standard registration: 18 MAY 2010 - 30 JUNE 2010. * late registration: after 30 JUNE 2010. --------------------------------------------------------------------------- Scientific Program ------------------ + Presentation of 2 invited IJCAR talks + Presentation of 2 plenary/keynote FLoC invited talks + Presentation of 28 regular research papers + Presentation of 12 system abstracts + Presentation of the Herbrand Award to David Plaisted + 13 workshops, 2 competitions. --------------------------------------------------------------------------- Invited Speakers ---------------- + Invited IJCAR Speakers ---------------------- + Leonardo de Moura, Microsoft Research Redmond + Johan van Benthem, Stanford University and University of Amsterdam + Plenary and Keynote Invited Talks at FLoC ----------------------------------------- + David Basin, ETH Zurich + Deepak Kapur, University of New Mexico --------------------------------------------------------------------------- Workshops, Competitions ----------------------- There will be thirteen workshops and two system competitions associated with IJCAR. See their individual WWW pages, linked from the FLoC WWW pages for more information. + Workshops - AUTOMATHEO 2010: Workshop on Automated Mathematical Theory Exploration (Workshop affilliated to FLoC) (with ITP) - CLoDeM2010: International Workshop on Comparing Logical Decision Methods (with LICS) - EMSQMS 2010: Workshop on Evaluation Metods for Solvers, and Quality Metrics for Solutions (with CAV) - LfSA 2010: Logics for Systems Analysis (with LICS) - MLPA-10: 2nd Workshop on Module Systems and Libraries for Proof Assistants (with ITP) - PAAR-2010: Workshop on Practical Aspects of Automated Reasoning - SVARM 2010: Synthesis, Verification and Analysis of Rich Models (with CAV) - UITP10: 9th International Workshop On User Interfaces for Theorem Provers (with ITP) - UniDL10: 1st Workshop on Uncertainty in Description Logics - UNIF 2010: 24th International Workshop on Unification (with RTA) - VERIFY-2010: 6th International Verification Workshop - WING 2010: Workshop on Invariant Generation - WST 2010: 11th International Workshop on Termination (with RTA) + Competitions - CASC-J5: 5th IJCAR ATP System Competition - Termination 2010: 7th International Termination Competition --------------------------------------------------------------------------- Social Events ------------- + Welcome reception at the Scottish National Galleries. + Conference banquet at the luxurious Prestonfield Hotel. + CASQ-J5 - the CADE Squash Competition --------------------------------------------------------------------------- Proceedings ----------- At registration the proceedings of all FLoC conferences and workshops will be provided, at no additional cost, on a USB stick. Hard copy IJCAR 2010 proceedings are optionally available, for an additional cost. Remember to tick the hardcopy proceedings box when you register. Please note that hard copies are offered at appr. 50% discount during registration and will not be on sale later on or during the conference. --------------------------------------------------------------------------- Registration ------------ For online registration for IJCAR, please follow the link on the FLoC website at http://floc-conference.org/registration.html Registration is now open. The deadline for early registration is 17 May. Standard rates will apply for those who register between 18 May and 30 June. For those who register after 30 June, late rates will apply. Note that it is possible to register early, and then add components (e.g., additional workshops, additional registration days, etc.) later on. --------------------------------------------------------------------------- Accomodation ------------ Very affordable accommodation has been booked at the University's Pollock Halls campus, about 15-minute walk from the conference site. Room types include single/double rooms with shared facilities/ensuite, and standard hotel rooms in a 3-star Victorian mansion. Alternatively, blocks of rooms have been booked at several hotels in the cite centre. For details, see http://floc-conference.org/accommodation.html =========================================================================== =========================================================================== Items for the next CiE Newsletter should be sent in plain text (avoiding accents) to s.b.cooper@leeds.ac.uk to arrive by June 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/ ___________________________________________________________________________