Newsletter 148
July  7, 2013

*******************************************************************
* Past issues of the newsletter are available at
 http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************

TABLE OF CONTENTS
* LICS-RELATED NEWS
  Report on LICS'13
  Kleene Award for Best Student Paper
  Test-of-Time Awards (LICS 1993)
* DEADLINES
  Forthcoming Deadlines
* CALLS
  LPAR-19 - Call for Papers and Workshop Proposals
  BLAST 2013 - Final Announcement
  CSL 2013 - Call for Participation
  QEST 2013 - Call for Participation
  DIFTS 2013 - Call for Papers
  CALCO 2013 - Call for Participation
  SOFSEM 2014 - Call for Papers
  MihalisFest 2013 - Call for Participation
  STACS 2014 - Call for Papers
  RAMiCS 2014 - Call for Papers
* OTHER ANNOUNCEMENTS
  Postdocs in Biomodelling at Turku
  New Book - Alan Turing: His Work and Impact


REPORT ON LICS'13
* LICS'13 took place 25-28 June in New Orleans, USA, on the campus of Tulane
  University. It was co-located with CSF and MFPS. 138 people, including 31
  students, registered for the conference. In addition to 57 accepted papers,
  LICS'13 featured two tutorials (Hubert Comon-Lundh, Jan Rutten), four invited
  talks (Rajeev Alur, Joseph Halpern, Nancy Lynch, Prakash Panangaden),
  a special session in honour of Dana Scott (Steve Awodey, Andrej Bauer,
  Robert Harper, Andrew Pitts and Dana Scott) and four affiliated workshops
  (HOPA, NLCS, FCS, LOLA). Many thanks to Orna Kupferman and her PC for their
  great effort and to Mike Mislove for organization! LICS'14 will be held
  in Vienna (July 14-18) jointly with CSL, as part of the Federated Logic
  Conference (FLoC) and the Vienna Summer of Logic 2014.



KLEENE AWARD FOR BEST STUDENT PAPER
* The 2013 Kleene Award for the Best Student Paper went to Ori Lahav (Tel Aviv
  University) for the paper "From Frame Properties to Hypersequent Rules in
  Modal Logics".



LICS TEST-OF-TIME AWARDS (LICS 93)
* The Awards Committee consisting of Prakash Panangaden (chair), Jean-Pierre
  Jouannaud, Martin Grohe and Tom Henzinger decided to honour the following
  three outstanding papers from LICS'93 (held in Montreal, Quebec, Canada):
  - Leo Bachmair, Harald Ganzinger and Uwe Waldmann
    Set constraints are the monadic class,
  - Andre Joyal, Mogens Nielsen and Glynn Winskel
    Bisimulation via open maps,
  - Benjamin C. Pierce and Davide Sangiorgi
    Typing and subtyping for mobile processes.



DEADLINES
* LPAR-19
  Workshop proposal deadline: July 15, 2013
  Abstract submission: July 22, 2013
  http://www.LPAR-19.info
* BLAST 2013
  Submission deadline: July 15, 2013
  http://www.chapman.edu/events/blast-2013
* CSL 2013
  Standard registration deadline: July 18, 2013
  Late registration: August 25th 2013
  http://csl13.di.unito.it/
* QEST 2013
  Early registration deadline: July 20, 2013
  http://www.qest.org/qest2013/
* DIFTS 2013
  Paper submission: July 24, 2013
  http://www.cmpe.boun.edu.tr/difts13/
* CALCO 2013
  Early registration: until August 5th, 2013
  Late registration: until August 26th, 2013
  http://coalg.org/calco13/
* SOFSEM 2014
  August 25, 2013: Submission Deadline
  http://www.sofsem.sk
* STACS 2014
  Paper submission: September 20, 2013
  http://stacs2014.sciencesconf.org/
* RAMiCS 2014
  Title and abstract submission: October 25, 2013
  Submission of full papers: November 1, 2013
  http://mathcs.chapman.edu/ramics2014



19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (LPAR-19)
  Call for Papers
  Stellenbosch, South Africa,
  14-19 December 2013
  http://www.LPAR-19.info
* SERIES
  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 19th LPAR
  will be held in Stellenbosch, South Africa.
* 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.
* PROGRAMME CHAIRS
  - Ken McMillan
  - Aart Middeldorp
  - Andrei Voronkov
* CONFERENCE CHAIRS
  - Bernd Fischer
  - Geoff Sutcliffe
* WORKSHOP CHAIR
  - Laura Kovacs
* SUBMISSION DETAILS
  Submissions of two kinds are welcome:
  - Regular papers that describe solid new research results. They can be
    up to 15 pages long in LNCS style, including figures and references,
    but excluding appendices (that reviewers are not required to read).
  - Experimental and tool papers that describe implementations of systems,
    report experiments with implemented systems, or compare implemented
    systems. They can be up to 8 pages long in the LNCS style.
  Both types of papers can be electronically submitted in PDF via EasyChair:
    http://www.easychair.org/conferences/?conf=lpar19.
  Prospective authors are required to register a title and an abstract a week
  before the paper submission deadline (see below).
* IMPORTANT DATES
  - Abstract submission: 22nd July
  - Paper submission: 2nd August
  - Notification of acceptance: 27th September
  - Camera-ready papers: 9th October
  - Conference: 14th-19th December
  - Workshop proposals: 15th July
  - Notification of workshops proposals: 29th July
* WORKSHOP PROPOSALS
  LPAR-19 workshops will be held on 14th December either as one-day or half-day
  events. If you would like to propose a workshop for LPAR-19, please contact
  the workshop chair via email (lkovacs@complang.tuwien.ac.at), by the proposal
  deadline.



FIFTH BLAST CONFERENCE (BLAST 2013)
  Call for Participation
  August 5 - 9, 2013
  Chapman University, Orange, California, USA.
  http://www.chapman.edu/events/blast-2013
* AIMS
  The BLAST conference series brings together researchers in
  B = Boolean algebra
  L = Lattice theory, algebraic and quantum Logic
  A = Universal Algebra
  S = Set theory
  T = Set theoretic and point-free Topology
* INVITED TALKS
  BLAST 2013 features invited talks by
  - Bernhard Banaschewski (McMaster University)
  - William DeMeo (University of South Carolina)
  - Francois Dorais (Dartmouth College)
  - Mai Gehrke (Université Paris 7 and CNRS)
  - Steven Givant (Mills College)
  - Steve Jackson (University of North Texas)
  - Michael Pinsker (Technische Universität Wien)
  - Dima Sinapova (University of Illinois at Chicago)
  - Sam van Gool (Radboud Universiteit Nijmegen)
  and invited tutorials by
  - Martin Escardo (University of Birmingham)
  - Heinz-Peter Gumm (Universität Marburg)
  - Hilary Priestley (University of Oxford)
  The conference is funded by NSF, Chapman University and the
  Center for Excellence in Computation, Algebra and Topology (CECAT).
  Abstract submission is through Atlas-conferences at
  http://atlas-conferences.com/cgi-bin/abstract/submit/cbgq-01.
  The deadline for abstracts to appear in the booklet of abstracts
  has been extended to July 5, 2013. Abstracts submitted by July 15
  will be considered but will not appear in the booklet of abstracts.
* REGISTRATION
  Registration will be $90 before July 1, 2013, and $110 after
  that. Electronic registration is available on the conference
  web page http://www.chapman.edu/events/blast-2013/.



22ND EACS ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2013)
  Call for Participation
  Torino, September 2-5 2013
  http://csl13.di.unito.it/
* AIM AND SCOPE
  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.
* LOCATION
  The 22nd EACSL Annual Conference on Computer Science Logic will be held at
  Museo di Scienze Naturali in Torino from Monday 2nd through Thursday 5th of
  September 2013.
* IMPORTANT DEADLINES FOR REGISTRATION
  Standard registration: July, 18th 2013 (extended)
  Late registration: August 25th 2013
  On-site registration: --
* SATELLITE EVENTS
  The 9th  International Workshop on Fixed Points in Computer Science (FICS'13) will
  be held on 1st of September 2013 as a satellite event of CSL'13.
  The 14th International Workshop on Logic and Computational Complexity (LCC'13) will
  be held on 6th of September 2013 as a satellite event of CSL'13.
  An international summer school on "Linear logic and related topics" will be held
  from 28th through 31st of August 2013 as a satellite event of CSL'13.
  Details are in the web site of CSL'13.
* PROGRAMME CHAIR
  Simona Ronchi Della Rocca (Universita di Torino)



10TH INTERNATIONAL CONFERENCE ON QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2013)
  Call for Participation
  http://www.qest.org/qest2013/
  August 26th-30th, 2013 - Buenos Aires, Argentina
* KEYNOTE SPEAKERS
  - Lorenzo Alvisi, University of Texas Austin, USA
  - Gilles Barthe, IMDEA Software, Spain
  - Edmundo de Souza e Silva, Federal University of Rio de Janeiro, Brazil
* CONFERENCE PROGRAMME
  A preliminary conference programme, including details of accepted
  papers is available at http://www.qest.org/qest2013/accepted.php
* TUTORIALS DAY (26 August 2013)
  - Diego Garbervetsky, Universidad de Buenos Aires, AR, "Quantitative analysis
  of heap memory requirements Java/.Net like programs"
  - Marco Vieira, University of Coimbra, PT, "Benchmarking the Dependability of
  Computer Systems"
* CO-LOCATED EVENTS
  - 24th International Conference on Concurrency Theory (CONCUR 2013)
  - 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2013)
  - 8th Intl. Symposium on Trustworthy Global Computing (TGC 2013)
  and six affiliated workshops.
* REGISTRATION
  Registration is now available at
  http://www.concur-conferences.org/concur2013/registration.php
  Early registration deadline: July 20, 2013
  Registration includes attendance at the all main conferences, coffee breaks,
  lunches, and electronic proceedings (in a USB Stick). CONCUR+QEST+FORMATS+TGC
  registration also includes the welcome reception on Tuesday, plus social event
  on Wednesday. Registration to QEST tutorials and co-located workshops is separate
  from the main conferences. However, a discount of 50% per workshop registration
  applies for participants of CONCUR+QEST+FORMATS+TGC.
* GENERAL CHAIR
  Pedro R. D'Argenio (AR)
* PC-CHAIRS:
  Kaustubh Joshi (US)
  Markus Siegle (DE)
  Marielle Stoelinga (NL)
* LOCAL ORGANIZATION CHAIR:
  Hernan Melgratti (AR)
* TOOLS CHAIR:
  Kai Lampka (SE)
* TUTORIAL CHAIR:
  Lijun Zhang (DK)
* PROCEEDINGS CHAIR:
  Nicolas Wolovick (AR)
* PUBLICITY CHAIR:
  Damian Barsotti (AR)



2ND INTERNATIONAL WORKSHOP ON DESIGN AND IMPLEMENTATION OF FORMAL TOOLS AND SYSTEMS (DIFTS'13)
  Call for Papers
  Portland, OR, USA
  October 19, 2013
  (co-located with FMCAD and MEMOCODE 2013)
  http://www.cmpe.boun.edu.tr/difts13/
* IMPORTANT DATES
  Paper submission:           July 24, 2013
  Author notification:        August 24, 2014
* WORKSHOP SCOPE
  DIFTS (Design and Implementation of Formal Tools and Systems) workshop
  emphasizes insightful experiences in formal tools and systems design.
  The first DIFTS workshop was held in 2011.  It provides a forum for sharing
  challenges and solutions that are original with ground breaking results.
  Often the design and implementation of tools for formal analysis require
  non-trivial engineering decisions. Many challenges are faced, which
  often can only be met with ingenious implementation techniques. These
  techniques actually play a crucial role in making the idea work in practice.
  The workshop provides an opportunity for discussing engineering aspects and
  various design decisions required to put such formal tools and systems into
  practical use.
* TOPICS OF INTEREST
  DIFTS takes a broad view of the formal tools/systems area, and solicits
  contributions from domains including, but not restricted to, decision
  procedures, verification, testing, validation, diagnosis, debugging, and
  synthesis.
  This workshop encourages and appreciates system development activities,
  and facilitates transparency in the experimentation.  It will also serve as
  a platform to discuss open problems and future challenges in practicing
  formal methods.
* SUBMISSION
  The workshop specifically solicits contributions with substantial
  engineering details that often do not get published but has significant
  practical impact. Papers in the following two categories are solicited:
  (a) system category (10 pages, double column, 11pt), and
  (b) tool category (8 pages, double column, 11pt).
  In the system category, we invite papers that have original ideas
  accompanied with novel integration techniques, adequate design/implementation
  details, important design choices made and explored, and good experimental
  results.
  In the tool category, we invite papers that focus primarily on the
  engineering aspects of some known/popular algorithm, with significant
  emphasis on the design/implementation details, and various design choices
  made to advance current state-of-the-art approaches.
  The page limit for submissions in the system category is 10 pages in
  double column format and for submissions in the tool category is 8 pages
  in double column format.
  Submission of papers should be made electronically in PDF format via
  EasyChair. More details will be provided on the DIFTS web site.
* EVALUATION
  To keep maintain uniformity and fairness in the reviewing process, the
  program committee will evaluate the technical contribution of each submission
  based on the following guidelines: the paper should provide enough details for
  others to reproduce the results; and should solve a clearly-stated problem
  that is significant and has wide interest; and the paper should provide enough
  motivation for the design choices made. Overall, the paper should also
  clearly identify what the main contributions of the work are.
* PUBLICATION
  All accepted contributions will be included in informal proceedings.
  High quality submissions will be considered for a special issue
  of journals such as  FMSD (Formal Methods in System Design) or
  IEEE TC (Transactions on Computers).
* PROGRAM CHAIRS
  Malay K. Ganai, NEC Labs America, USA
  Alper Sen, Bogazici University, Turkey



5TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2013)
  Call for Participation
  September 3 - 6, 2013
  Warsaw, Poland
  http://coalg.org/calco13/
* IMPORTANT DATES
  - Early registration: until August 5th, 2013
  - Late registration: until August 26th, 2013
* SCOPE
  CALCO aims to bring together researchers and practitioners with
  interests in foundational aspects, and both traditional and emerging
  uses of algebra and coalgebra in computer science.
* INVITED SPEAKERS --
  - Andrej Bauer (University of Ljubljana, SI)
  - Mikolaj Bojanczyk (University of Warsaw, PL)
  - Neil Ghani (University of Strathclyde, UK)
  - Damien Pous (CNRS, ENS-Lyon, F)
* ACCEPTED PAPERS --
  Please see http://coalg.org/calco13/accepted-papers
  for a complete list.
* LOCATION
  Warsaw, the capital of Poland, is a lively city with many historic
  monuments and sights, but also with a thriving business district. It
  is easily accessible via two airports: the main Chopin Airport, used by
  most international carriers, and the recently open Warsaw Modlin
  Airport (30 minutes away by rail), used by budget airlines.
* SATELLITE WORKSHOPS
  CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired
  by Monika Seisenberger (Swansea University). The workshop is dedicated
  to presentation of work in progress and original research
  proposals. PhD students and young researchers are particularly
  encouraged to contribute.
  A workshop dedicated to tools based on algebraic and/or coalgebraic
  principles, CALCO Tools, will be held alongside the main conference,
  chaired by Lutz Schroeder (Friedrich Alexander Universitaet
  Erlangen-Nuernberg). Papers of this workshop will be included in the
  CALCO proceedings.
* PROGRAMME CHAIRS
  Reiko Heckel - University of Leicester, UK (cochair)
  Stefan Milius - Friedrich-Alexander Universitaet Erlangen-Nuernberg, D (cochair)
* ORGANISING COMMITTEE
  Bartek Klin      (University of Warsaw, PL)
  Andrzej Tarlecki (University of Warsaw, PL)
  Joanna Ochremiak (University of Warsaw, PL)



40TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2014)
  Call for Papers
  Hotel Atrium, Novy Smokovec, High Tatras, Slovakia
  January 25 - 30, 2014
  www.sofsem.sk
* AIMS
  40th International Conference on Current Trends in Theory and Practice
  of Computer Science SOFSEM (SOFtware SEMinar) 2014 will take place in
  Hotel Atrium, Novy Smokovec, High Tatras, Slovakia, on January 25-30,
  2014. SOFSEM 2014 is jointly organized by the Institute of Computer
  Science of P.J.Safarik University, Kosice, Slovakia and by the Slovak
  Society for Computer Science. The conference is supported by the Czech
  Society for Cybernetics and Informatics. The aim of the conference is
  to get together professionals from academia and industry working in
  various areas of Computer Science.
* PROGRAM COMMITTEE CHAIR
  Branislav Rovan, Bratislava, Slovakia
* CONFERENCE TRACKS
  Foundations of Computer Science
   track chair: Viliam Geffert, Kosice, Slovakia
  Software & Web Engineering
   track chair: A Min Tjoa, Wien, Austria
  Data, Information, and Knowledge Engineering
   track chair: Julius Stuller, Praha, Czech Republic
  Cryptography, Security, and Verification
   track chair: Bart Preneel, Leuven, Belgium
  Student Research Forum
   track chair: Roman Spanek, Praha, Czech Republic
* IMPORTANT DATES
  August 25, 2013: Submission Deadline
  October 11, 2013: Notification about Acceptance
  October 25, 2013: Deadline for Final Proceedings Versions
  January 25-30, 2014: Conference
   (January 25: arrival, January 30: departure)
* SUBMISSIONS
  https://www.easychair.org/conferences/?conf=sofsem2014



HORIZONS IN TCS: A CELEBRATION OF MIHALIS YANNAKAKIS's 60TH BIRTHDAY
  Call for Participation
  Workshop at Center for Computational Intractability (CCI)
  Princeton University, NJ, USA
  August 27-29, 2013.
  http://intractability.princeton.edu/blog/2013/01/mihalisfest-2013/
* See the workshop's webpage for further information,
  including list of speakers.



31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014)
  Call for Papers
  March 5 - March 8, 2014, Lyon, France
  Submission Deadline: Sep 20, 2013 (23:59:59 GMT/UTC)
  http://stacs2014.sciencesconf.org/
* SUBMISSIONS
  Authors are invited to submit papers presenting original and
  unpublished research on theoretical aspects of computer
  science. Typical areas include (but are not limited to):
  - algorithms and data structures, including: parallel, distributed,
    approximation, and randomized algorithms, computational geometry,
    cryptography, algorithmic learning theory, analysis of algorithms;
  - automata and formal languages, games;
  - computational complexity, parameterized complexity, randomness in computation;
  - logic in computer science, including: semantics, specification and
    verification, rewriting and deduction;
  - current challenges, for example: natural computing, quantum
    computing, mobile and net computing.
* INVITED SPEAKERS
  - Javier Esparza, TUM - Technische Universitaet Muenchen
  - Peter Bro Miltersen, Aarhus University
  - Luc Segoufin, INRIA, Ecole Normale Superieure de Cachan
* TUTORIAL
  Neeraj Kayal, Microsoft Research India: Arithmetic Circuit Complexity



14TH INTERNATIONAL CONFERENCE ON RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2014)
  Call for Papers
  27 April - 1 May 2014
  Marienstatt im Westerwald, Germany
  http://mathcs.chapman.edu/ramics2014
* SCOPE
  We invite submissions in the general area of Relational and Algebraic Methods
  in Computer Science. Special focus will lie on formal methods for software
  engineering, logics of programs and links with neighbouring disciplines.
* HISTORY
  Since 1994, the RelMiCS meetings on Relational Methods in Computer Science
  have been a main forum for researchers who use the calculus of relations
  and similar algebraic formalisms as methodological and conceptual tools.
  The AKA workshop series on Applications of Kleene algebra started with a
  Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference
  until 2009. Since 2011, joint RAMiCS conferences continue to encompass
  the scope of both RelMiCS and AKA.
* STUDENT PROGRAM
  The conference will be accompanied by a PhD training program. Details will
  be published in due time in a special call and on the conference website.
* PROCEEDINGS AND SUBMISSION
  All papers will be formally reviewed. We plan to publish the
  proceedings in the series Lecture Notes in Computer Science ready at
  the conference. Submissions must be in English, in Postscript or PDF
  format, and provide sufficient information to judge their merits.
  They must be unpublished and not submitted for publication elsewhere.
  Submission is via EasyChair at the following address:
  https://www.easychair.org/conferences/?conf=ramics2014
* IMPORTANT DATES
  Title and abstract submission:       October 25, 2013
  Submission of full papers:           November 1, 2013
  Notification:                        December 13, 2014
  Final versions due (firm deadline):  January 17, 2014
  Conference                           April 27 - May 1, 2014



POSTDOCS IN BIOMODELLING AT TURKU
  http://combio.abo.fi/
* Two postdoc openings are available at the Computational Biomodeling
  Laboratory, Turku Centre for Computer Science and Abo Akademi University,
  Turku, Finland. The positions are funded by Academy of Finland. The deadline
  for applications is August 11. The positions can be filled in to start
  September 1 or soon after. Eligible applicants have a PhD in Computer Science,
  Mathematics, Computational Biology, or a closely related field, obtained not
  earlier than 2008. We are looking for candidates with a strong background
  in theoretical computer science and/or mathematics, with experience on
  modelling biological systems, demonstrated by a good publication record.
  Applicants should send an up to 3-page CV, their full list of publications,
  a letter of interest, and two recommendation letters to Prof. Ion Petre
  ipetre@abo.fi. The contract is for one year, with the possibility of
  extending it for another year. The salary is in accordance with the pay
  scale at Finnish universities, in the bracket 2820-3616 eur/month before
  taxes, depending on the candidates’ skills and experience.
* POSITION 1: QUANTITATIVE MODEL REFINEMENT
  Quote in the subject of your email "Application for postdoc: quantitative
  model refinement".
  We focus in this project on computational techniques allowing mathematical
  models in biology to be presented and used at different levels of detail.
  We aim to construct and investigate a computational framework for
  quantitative model refinement where details may be added to (or removed from)
  a model in a systematic way, while preserving its overall numerical behaviour.
* POSITION 2: NETWORK CONTROLLABILITY
  Quote in the subject of your email "Application for postdoc: network
  controllability".
  The overall objective of the project is to better understand the fundamental
  principles of controllability of complex, biological networks, and how these
  control principles could be exploited to intervene in the network under
  analysis to change its dynamic behavior.



ALAN TURING: HIS WORK AND IMPACT
  edited by S. Barry Cooper and Jan van Leeuwen
  http://store.elsevier.com/product.jsp?isbn=9780123869807
* SUMMARY
  "The fact remains that everyone who taps at a keyboard, opening a
  spreadsheet or a word-processing program, is working on an incarnation of
  a Turing machine." -TIME Magazine
  In one accessible volume, this book presents the most significant original
  works from the 4-volume set of A.M Turing's collected works, along with
  key commentary from over 70 great scholarly leaders in the field,
  providing interested readers with unique insight into the context and
  significance of Turing's impact on mathematics, computing, computer
  science, informatics, morphogenesis, philosophy and the wider scientific
  world.
  This remarkable volume is an essential addition to any library, private or
  institutional.
* See below for an engrossing article from Elsevier Connect on the book
  and its genesis:
  - New book spotlights Alan Turing, Nazi code-breaker and 'father of
  computer science'
  - Turing's work has influenced scholars in many fields; Editor Barry
  Cooper talks about compiling their commentary along with Turing's writing
  http://bit.ly/11qVF66



Back to the LICS web page.