Newsletter 148 July 7, 2013 ******************************************************************* * Past issues of the newsletter are available at http://lics.siglog.org/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://lics.siglog.org/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 (firstname.lastname@example.org), 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 email@example.com. 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.