SIGLOG Monthly 196 October 10, 2017 ******************************************************************* * 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 * NEWS Winners of the 2017 Alonzo Church Award FLoC 2018 - Preliminary annoucement ACM SIGLOG Announcement EATCS Bulletin - Call for abstracts Obituary: Vladimir Voevodsky Obituary: Maurice Nivat Obituary: Mike Gordon Obituary: Lotfi A. Zadeh * DEADLINES Forthcoming Deadlines * CALLS ETAPS - Call for Papers PODS 2018 - Call for Papers CPP 2018 - Call for Papers RSSRail 2017 - Call for Participation CATEGORIES LOGIC AND PHYSICS SCOTLAND - Call for Participation FoIKS 2018 - Call for papers ITQES - Call for papers FSCD 2018 - First Call for Papers CCC2017 - Call for submissions (postproceedings) * JOB ANNOUNCEMENTS POST-DOC POSITION AT TU DORTMUND POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING LANGUAGES WINNERS OF THE 2017 CHURCH AWARD http://siglog.org/winners-of-the-2017-alonzo-church-award/ * The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno Nickau for providing a fully-abstract semantics for higher-order computation through the introduction of game models, thereby fundamentally revolutionising the field of programming language semantics, and for the applied impact of these models. * Their contributions appeared in three papers: - S. Abramsky, R. Jagadeesan, and P. Malacaria. Full Abstraction for PCF. Information and Computation, Vol. 163, No. 2, pp. 409 - 470, 2000. - J.M.E. Hyland and C.-H.L. Ong. On Full Abstraction for PCF: I, II, and III. Information and Computation, Vol. 163, No. 2, pp. 285 - 408, 2000. - H. Nickau. Hereditarily sequential functionals. Proc. Symp. Logical Foundations of Computer Science: Logic at St. Petersburg (eds. A. Nerode and Yu.V. Matiyasevich), Lecture Notes in Computer Science, Vol. 813, pp. 253 - 264. Springer-Verlag, 1994. A description of the contributions is available at http://siglog.org/winners-of-the-2017-alonzo-church-award/ * The 2017 award will be presented at the 26th Computer Science Logic (CSL) Conference, the annual meeting of the European Association for Computer Science Logic. This will be held August 20th - 24th, 2017, at Stockholm University, Sweden. THE 2018 FEDERATED LOGIC CONFERENCE (FLoC 2018) Preliminary annoucement 6-19 July 2018 Oxford, England UK http://www.floc2018.org/ * In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modelled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science. * We are pleased to announce the seventh Federated Logic Conference (FLoC'18) to be held in Oxford, UK, in July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. * FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science: International Conference on Computer Aided Verification (CAV) IEEE Computer Security Foundations Symposium (CSF) International Symposium on Formal Methods (FM) International Conference on Formal Structures for Computation and Deduction (FSCD) International Conference on Logic Programming (ICLP) International Joint Conference on Automated Reasoning (IJCAR) International Conference on Interactive Theorem Proving (ITP) Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) International Conference on Theory and Applications of Satisfiability Testing (SAT) Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June - 6 July). * We have already begun confirming exciting lineup of speakers, including keynotes by Shafi Goldwasser and Georges Gonthier; plenary lectures by Peter O'Hearn and Byron Cook; and a public lecture by Stuart Russell at the Sheldonian Theatre. We will also hold an Oxford Union-style debate on ethics for autonomous robots. There will be banquets, receptions and other social events in historic venues across the city: see www.floc2018.org/social-events/ for the latest updates. * PROGRAMME COMMITTEE General Chair: Moshe Y. Vardi Co-chairs: Daniel Kroening, Marta Kwiatkowska CAV: Hana Chockler CSF: Stephen Chong FM: Bill Roscoe FSCD: Helene Kirchner ICLP: Paul Tarau IJCAR: Roberto Sebastiani ITP: Assia Mahboubi LICS: Martin Hofmann SAT: Olaf Byersdorff ACM SIGLOG ANNOUNCEMENT http://siglog.acm.org * The ACM has recently chartered a Special Interest Group on Logic and Computation (ACM SIGLOG). * We are pleased to announce the 2016 ACM SIGLOG election results for the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash Panangaden and the other officers are Luke Ong (vice-Chair), Amy Felty (Treasurer) and Alexandra Silva (Secretary). * The ACM-IEEE Symposium on Logic in Computer Science is the flagship conference of SIGLOG. SIGLOG will also actively seek association agreements with other conferences in the field. A SIGLOG newsletter (SIGLOG News) is also published quarterly in an electronic format with community news, technical columns, members' feedback, conference reports, book reviews and other items of interest to the community. * One can join SIGLOG by visiting https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm It is possible to join SIGLOG without joining ACM (the SIGLOG membership fee is $25 and $15 for students). EATCS Bulletin - Call for abstracts * EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a section for "Technical contributions." To stimulate this section further, we will be considering for publication abstracts of works that have been accepted by journals and/or conferences or have appeared in major archives. The topics of interest include all areas of theoretical computer science (for instance, see topics of the three Tracks of ICALP, http://www.easyconferences.eu/icalp2016/cfp.html). * Abstracts should be rather detailed, 2-3 pages long in the format given at http://eatcs.org/index.php/eatcs-bulletin. Submissions should include the information on the full paper (the name of conferences, archives, etc) and sufficiently detailed explanation of its merits, e.g., importance, motivations, clear comparison with existing results and novelty and/or new ideas of proof techniques. * The Bulletin is published in Feb, Jun and Oct. The deadline for the abstract submission is 20th of the previous month, for instance, May 20 (Sat) 2017 for the June issue of this year. All materials including tex and pdf files should be sent electrically to email@example.com and firstname.lastname@example.org. Acceptance/rejection, decided based on its merit mentioned above, will be notified as soon as possible. The Bulletin will not require copy-right transfer for accepted abstracts. OBITUARY: VLADIMIR VOEVODSKY It is with great sadness that we announce the passing of Vladimir Voevodsky, Professor in the School of Mathematics at the Institute for Advanced Study in Princeton. Vladimir Voevodsky was awarded the Fields Medal for his outstanding advances in algebraic geometry. In recent years he was working on new foundations of mathematics based on homotopy-theoretic semantics of Martin-Lof type theories. https://www.ias.edu/news/2017/vladimir-voevodsky OBITUARY: MAURICE NIVAT It is with deep sadness that we announce the death of Maurice Nivat, professor of theoretical computer science at the University of Paris VII 'Denis Diderot'. His overwelming contributions in various fields of theoretical computer science are briefly recalled in the following obituary http://eatcs.org/index.php/component/content/article/1-news/2542-obituary-for-maurice-nivat- A short scientfic biography (mostly in French) appeared in TCS in 2002: "Une brève biographie scientifique de Maurice Nivat" https://doi.org/10.1016/S0304-3975(02)00004-X OBITUARY: MIKE GORDON It is with great sadness that we announce the death of Professor Mike Gordon FRS. Mike Gordon joined the Computer Laboratory at the University of Combridge in 1981 and he made magnificent contributions to the Department in many different ways. He will be sadly missed. https://www.cl.cam.ac.uk/misc/obituaries/gordon/ OBITUARY: LOFTI A. ZADEH We are sad to announce the passing of Lotfi A. Zadeh, professor emeritus at University of California, Berkeley. He passed away on Sept. 6, 2017, aged 97. An obituary, outlining his seminal contributions in logic, computer science and cognitive informatics can be found below: http://engineering.berkeley.edu/2017/09/remembering-lotfi-zadeh DATES * ETAPS 2018 Call for Papers April 14-21, 2108, Thessaloniki, Greece http://www.etaps.org/2018 * PODS 2018 Call for Papers June 11 - June 13, 2018, Houston, Texas, USA PODS has two rounds of submissions (see dates below). Paper submission (2nd cycle): Dec 19, 2017 * CPP 2018 Second Call for Papers January 8-9, 2018, Los Angeles, USA http://popl18.sigplan.org/track/CPP-2018 Full paper submission deadline: Wed 11 Oct 2017 * RELIABILITY, SAFETY AND SECURITY OF RAILWAY SYSTEMS (RSSRail 2017) Call for Participation November 14-16, 2017, Pistoia, Italy https://conferences.ncl.ac.uk/rssrail/ * CATEGORIES LOGIC AND PHYSICS SCOTLAND Call for Participation Monday 20 November 2017 School of Informatics, University of Edinburgh http://conferences.inf.ed.ac.uk/clapscotland/ * FoIKS 2018 Call for papers May 14-18, 2018, Alfred Renyi Institute of Mathematics, Budapest, Hungary http://2018.foiks.org/ Paper submission: December 01, 2017 * ITEQS 2018 Call for Papers Co-located with ICST 2018, Vasteras - Sweden http://www.mrtc.mdh.se/ITEQS/2018/ Submission deadline: January 12, 2018 * FSCD 2018 First Call for Papers Oxford, UK, July 9 - 12th, 2018. http://fscd-conference.org/editions/fscd-2018 Part of The Federated Logic Conference, FLoC 2018, Submission Deadline: January 22nd, 2018 * CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2017 Call for Submissions (Postproceedings) Deadline for submission 1 February 2018 21st EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2018) Call for Papers April 14-21, 2108, Thessaloniki, Greece http://www.etaps.org/2018 * NEW! The proceedings of ETAPS 2018 will appear in *gold open access*. * As an exception for this year only, the important dates of POST differ from the other member conferences! * ETAPS is a federation of 5 conferences, ESOP, FASE, FoSSaCS, POST and TACAS. * Important dates for all member conferences except POST: Abstracts: Oct 13, 2017 / Papers: Oct 20, 2017 Rebuttal (ESOP, FoSSaCS only): Dec 6-8, 2017 Notification: Dec 22, 2017 Camera-ready versions: Feb 23, 2018 * Important dates for *POST*: Abstracts: Nov 22, 2017 / Papers: Nov 24, 2017 Rebuttal: Jan 12-16, 2018 Notification: Jan 25, 2018 Camera-ready versions: Feb 23, 2018 * For further information, see the website. 37th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE SYSTEMS (PODS 2018) Call for Papers June 11 - June 13, 2018, Houston, Texas, USA PODS has two rounds of submissions (see dates below). * The PODS symposium series, held in conjunction with the SIGMOD conference series, provides a premier annual forum for the communication of new advances in the theoretical foundations of data management, traditional or non-traditional (see http://www.sigmod.org/the-pods-pages/the-pods-pages). * For the 37th edition, PODS continues to aim to broaden its scope, and calls for research papers providing original, substantial contributions along one or more of the following aspects: - deep theoretical exploration of topical areas central to data management; - new formal frameworks that aim at providing the basis for deeper theoretical investigation of important emerging issues in data management; - validation of established theoretical approaches from the lens of practical applicability in data management. Papers in this track should provide an experimental evaluation that gives new insight in established theories. Besides, they should provide a clear message to the database theory community as to which aspects need further (theoretical) investigation, based on the experimental findings. * Topics (that fit the interests of the symposium include, but are not limited to): - concurrency & recovery, distributed/parallel databases, cloud computing - data and knowledge integration and exchange, data provenance, views and data warehouses, metadata management - data-centric (business) process management, workflows, web services - data management and machine learning - data mining, information extraction, search - data models, data structures, algorithms for data management - data privacy and security, human-related data and ethics - data streams - design, semantics, query languages - domain-specific databases (multi-media, scientific, spatial, temporal, text) - graph databases and (semantic) Web data - incompleteness, inconsistency, uncertainty in data management - knowledge-enriched data management - model theory, logics, algebras, computational complexity * PROGRAM CHAIR: Marcelo Arenas * IMPORTANT DATES: First Submission Cycle: - Abstract submission: Jun 15, 2017 - Paper submission: Jun 22, 2017 - First notification: Aug 31, 2017 - Revision deadline: Sep 28, 2017 - Final notification: Nov 02, 2017 Second Submission Cycle: - Abstract submission: Dec 12, 2017 - Paper submission: Dec 19, 2017 - Final notification: Feb 27, 2018 All deadlines end at 11:59pm AoE. SEVENTH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP 2018) Call for Papers January 8-9, 2018, Los Angeles, USA http://popl18.sigplan.org/track/CPP-2018 * OVERVIEW Certified Programs and Proofs (CPP) is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates. * DATES - Abstract submission deadline: Fri 6 Oct 2017 - Full paper submission deadline: Wed 11 Oct 2017 - Notification: Tue 14 Nov 2017 * INVITED SPEAKERS - Brigitte Pientka (McGill University, Canada) - René Thiemann (University of Innsbruck, Austria) * PROGRAM CO-CHAIRS - June Andronick (Data61, CSIRO and UNSW, Australia) - Amy Felty (University of Ottawa, Canada) INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION RSSRail 2017 November 14-16, 2017, Pistoia, Italy https://conferences.ncl.ac.uk/rssrail/ * RESEARCH PROGRAM See details at: http://conferences.ncl.ac.uk/rssrail/programme/ KEYNOTE SPEAKERS Jens Braband, Siemens AG, Rail Automation and Honorary Professor of Technical University of Braunschweig, Germany: Michael Leuschel, Heinrich Heine Universitat, Dusseldorf, Germany: Aryldo Ar. Russo, CERTIFER, France: * TUTORIALS Four tutorials will be presented, see details at: http://conferences.ncl.ac.uk/rssrail/tutorials/ * CONFERENCE CHAIRS: Alessandro Fantechi, University of Florence, Italy Thierry Lecomte, ClearSy, France Alexander Romanovsky, Newcastle University, UK CATEGORIES LOGIC AND PHYSICS SCOTLAND Call for Participation Monday 20 November 2017 School of Informatics, University of Edinburgh http://conferences.inf.ed.ac.uk/clapscotland/ * Following three successful earlier meetings, we are pleased to announce the fourth workshop in the CLAP Scotland series, and invite you to participate. * CONFIRMED SPEAKERS include: Danel Ahman (INRIA Paris) Bob Coecke (University of Oxford) Ross Duncan (University of Strathclyde) Christian Korff (University of Glasgow) Tom Leinster (University of Edinburgh) Noam Zeilberger (University of Birmingham) * Registration is free. For catering purposes, please email the local organiser
if you plan to attend. We look forward to seeing you in Edinburgh! 10th SYMPOSIUM ON FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FoIKS 2018) Call for papers May 14-18, 2018, Alfred Renyi Institute of Mathematics, Budapest, Hungary http://2018.foiks.org/ * FoIKS 2018 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. * The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. * INVITED SPEAKERS Laura Kovacs (TU Wien), Sebastian Link (Auckland Univ.), David Pearce (TU Madrid), Bernhard Thalheim (Christian-Albrechts Univ. Kiel) * Scientific Sponsors: ALP, EATCS, Vienna Center for Logic and Algorithms * IMPORTANT DATES Abstract submission due: November 24, 2017; Paper submission: December 01, 2017; Notification: February 02, 2018 * Detailed information can be found on the webpage: http://2018.foiks.org/ 2ND INTERNATIONAL WORKSHOP ON TESTING EXTRA-FUNCTIONAL PROPERTIES AND QUALITY CHARACTERISTICS OF SOFTWARE SYSTEMS (ITEQS) Co-located with ICST 2018, Vasteras - Sweden http://www.mrtc.mdh.se/ITEQS/2018/ * SCOPE The workshop endorses contributions in a wide range of topics related to testing of EFPs in the form of full papers and short yet solid work-in-progress/position papers. Note: The workshop does not accept papers that focus purely onfunctional testing! For further information, see the website. * IMPORTANT DATES Submission deadline: January 12, 2018 Notifications: February 21, 2018 Workshop date: April 9, 2018 (preliminary) * ORGANIZERS Mehrdad Saadatmand, RISE SICS Vasteras, Sweden (mehrdad.saadatmand[at]ri.se) Birgitta Lindstrom, University of Skovde, Sweden (birgitta.lindstrom[at]his.se) Bernhard K. Aichernig, Graz University of Technology, Austria (aichernig[at]ist.tugraz.at) * Contact: email@example.com THIRD INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD 2018) Oxford, UK, July 9 - 12th, 2018. http://fscd-conference.org/editions/fscd-2018 Part of The Federated Logic Conference, FLoC 2018, Oxford, UK, July 6 - 19th, 2018. http://www.floc2018.org * TOPICS: FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory. * Suggested, but not exclusive, list of topics for submission are: 1. Calculi: Lambda calculus - Concurrent calculi - Logics - Rewriting systems - Proof theory - Type theory and logical frameworks 2. Methods in Computation and Deduction: Type systems - Induction and coinduction - Matching, unification, completion, and orderings - Strategies - Tree automata - Model checking - Proof search and theorem proving - Constraint solving and decision procedures 3. Semantics: Operational semantics - Abstract machines - Game Semantics - Domain theory and categorical models - Quantitative models 4. Algorithmic Analysis and Transformations of Formal Systems: Type Inference and type checking - Abstract Interpretation - Complexity analysis and implicit computational complexity - Checking termination, confluence, derivational complexity and related properties - Symbolic computation 5. Tools and Applications: Programming and proof environments - Verification tools - Libraries for proof assistants and interactive theorem provers - Case studies in proof assistants and interactive theorem provers - Certification - Applications to security, planning, data bases * IMPORTANT DATES: All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract Deadline: January 15th, 2018 Submission Deadline: January 22nd, 2018 Rebuttal: March 22 - 25th, 2018 Notification: April 2nd, 2018 Camera-Ready: May 2nd, 2018 FSCD Conference: July 9 - 12th, 2018 FLoC Conference: July 6 - 19th, 2018 * PROGRAM COMMITTEE CHAIR Helene Kirchner, Inria * CONFERENCE & WORKSHOP CHAIR: Paula Severi, Leicester U. CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2017 Call for Submissions (Postproceedings) Deadline for submission 1 February 2018 * After the successful start of the new EU-MSCA-RISE project "Computing with Infinite Data" (CID) and the excellent Workshop CCC 2017 in Nancy (France) in June this year, we are planning to publish a collection of papers dedicated to the meeting and to the project as a Special Issue in the open-access journal LOGICAL METHODS IN COMPUTER SCIENCE. * The issue should reflect progress made in Computable Analysis and related areas, and is not restricted to work in the CID project or presented at the Workshop. * Submissions are welcome from all scientists on topics in the entire spectrum from logic to algorithms including, but not limited to: Exact real number computation, Correctness of algorithms on infinite data, Computable analysis, Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory, Constructive topological foundations, Scott's domain theory, Constructive analysis, Category-theoretic approaches to computation on infinite data, Weihrauch degrees, Randomness and computable measure theory, Other related areas. * EDITORS: Ulrich Berger (Swansea, UK) Pieter Collins (Maastricht, NL) Mathieu Hoyrup (Nancy, FR) Victor Selivanov (Novosibirsk, RUS) Dieter Spreen (Siegen, DE) Martin Ziegler (KAIST, KR) * DEADLINE FOR SUBMISSION: 1 February 2018 * If you intend to submit a paper for the special issue, please inform us by sending email to: firstname.lastname@example.org by 1 January 2018 POST-DOC POSITION AT TU DORTMUND * At TU Dortmund University, we are looking for talented and motivated post-doctoral researchers (or PhD students) interested in joining the project Dynamic Expressiveness of Logics, which is funded by the Deutsche Forschungsgemeinschaft (DFG). * The opening is in the working group of Thomas Schwentick. * The position is limited to two years, until 30.09.2019, and does not involve teaching obligations. * The official, complete job opening is available at https://service.tu-dortmund.de/documents/18/2120797/Research+Assistant+(Ref .-Nr.+w45-17)/ade04a70-99ab-46fb-8dbf-fc129ac24d06?version=3D1.0 * Interested? Please do not hesitate to contact us: TU Dortmund, Dept. of Computer Science Chair I - Logic in Computer Science Thomas Schwentick Otto-Hahn-Str. 12 44227 Dortmund Germany POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING LANGUAGES * Applications are invited for a postdoctoral position beginning October 1, 2017 and running through November 30, 2018. The position is in the Department of Computer Science at Tulane University, and will be under the supervision of Professor Michael Mislove. * The successful applicant will work on a project entitled "Semantics, Formal Reasoning, and Tool Support for Quantum Programming". The project involves designing high-level semantic models and tools to support quantum functional programming languages. A prototype language is Proto-Quipper, which has been under development (http://www.mathstat.dal.ca/~selinger/quipper/ ). This language uses the circuit model for quantum computation, and envisions languages that support quantum computation under classical control. The overall aim is to design type-safe functional programming languages for quantum computing. The project also involves developing the meta-theory (including categorical semantics) of such languages, and eventually to formalize some of the meta-theory in a proof assistant. The focus of the Tulane work is modeling recursion in such languages, which requires developing quantum domain theory, but interactions with other aspects of the project are expected. * Familiarity with programming language design, and / or semantics is a prerequisite of the position. The latter includes categorical semantics and domain theory. A good knowledge of category theory is also a prerequisite. Of course, familiarity with quantum computing is helpful. Additional components of the project will address issues around quantum information such as non-locality and contextuality, adapting proof assistants (Coq, Agda, Lean, etc) to develop automated verification for quantum programming languages. * To apply for one of this position, direct your browser to the link: https://apply.interfolio.com/41053 * Funding for the project comes from the DOD and the U.S. Air Force Office of Scientific Research.
Back to the LICS web page.