SIGLOG Monthly 194 July 4, 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 * DEADLINES Forthcoming Deadlines * CALLS RV-CuBES - Call for contributions HELMUTH VEITH STIPEND - Call for Application PODS 2018 - Call for Papers ISSTA & SPIN 2017 - Call for Participation CAV 2017 - Call for Participation FSTTCS 2017 - Call for Papers CCA 2017 - Call for Participation RW 2017 - Call for Applications EPS 2017 - Call for Posters and Encyclopedia Entries TPNC 2017 - Call for papers CSL 2017 - Call for Participation LOGIC AND AUTOMATA THEORY - Call for participation CPP 2018 - Call for Papers FoIKS 2018 - Call for papers * JOB ANNOUNCEMENTS PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE LANGUAGES LAB IN BRUSSELS 12 PH.D. STUDENT POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC WINNERS OF THE 2017 CHRUCH 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: Hane 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 firstname.lastname@example.org and email@example.com. 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. DATES * RV-CuBES Call for contributions Deadline extension: abstracts - July 8, final submission - July 15 http://rv2017.cs.manchester.ac.uk/rv-cubes/ affiliated with RV 2017 * HELMUTH VEITH STIPEND Call for Applications http://bit.ly/Forsyte-Helmut-Veith-Stipend Deadline: August 20, 2017 * 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 * ISSTA & SPIN 2017 Call for Participation July 10-14, 2017, Santa Barbara, California, USA http://conf.researchr.org/home/issta-2017 http://conf.researchr.org/home/spin-2017 * CAV 2017 Call for Participation Heidelberg, Germany, 22-28 July 2017 http://www.cavconference.org/2017 * FSTTCS 2017 Call for Papers Kanpur, India, December 11 - 15, 2017 Conference website: http://fsttcs.org/ Submission deadline: July 24 * CCA 2017 Call for Participation July 24-27, 2017, Daejeon, South Korea http://cca-net.de/cca2017/ * RW 2017 Call for Applications- PARTICIPATION TOKENS STILL AVAILABLE The 13th Reasoning Web Summer School (RW 2017) London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 * EPS 2017 Call for Posters and Encyclopedia Entries 24, 25th of September 2017, Brasilia, Brazil http://proofsystem.github.io/Encyclopedia/ Submission: August 1 * TPNC 2017 Call for papers Prague, Czech Republic, December 18-20, 2017 Faculty of Mathematics and Physics, Charles University http://grammars.grlmc.com/TPNC2017/ Paper submission: August 6, 2017 * CSL 2017 Call for Participation August 20 - 24, 2017, Stockholm, Sweden http://logic.math.su.se/csl-2017 * LOGIC AND AUTOMATA THEORY Call for participation A one-day workshop in memory of Zoltan Esik A satellite event of CSL 2017 Stockholm, August 25, 2017 https://www.imsc.res.in/~jam/esik/zoltan.html * CPP 2018 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 * 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 AN INTERNATIONAL WORKSHOP ON COMPETITIONS, USABILITY, BENCHMARKS, EVALUATION, AND STANDARDISATION FOR RUNTIME VERIFICATION TOOLS (RV-CuBES 2017) Call for contributions http://rv2017.cs.manchester.ac.uk/rv-cubes/ affiliated with RV 2017 * HIGHLIGHTS The goal of this workshop is to provide a venue to discuss ongoing efforts to improve how we evaluate and compare tools for runtime verification. We invite two kinds of submissions: tool overview papers of existing tools and position papers. Attendance at the workshop is not compulsory for submission, but encouraged The workshop will be integrated into RV 2017 to engage with the wider RV community * RELATION TO RV 2017 There is no overlap in scope between this workshop and RV 2017. Any papers containing original technical developments should be submitted to RV 2017 rather than this workshop as the workshop focuses on tool reviews (containing existing work) and position statements. If there is any uncertainty please contact the workshop chairs. The workshop will be integrated into RV 2017. * SUBMISSIONS We invite two forms of submission: Tool Overview papers and Position papers. All submissions will be subject to a lightweight review by the PC to ensure a reasonable standard and to provide constructive feedback to improve the quality of the submission. * IMPORTANT DATES Abstracts: 8 July 2017 Final Submission: 15 July 2017 Notification 1 August 2017 Workshop at RV 2017 13-16 September 2017 Post-proceedings deadline 14 October 2017 * Program Committee Chairs Giles Reger, University of Manchester, UK Klaus Havelund, NASA Jet Propulsion Laboratory, USA HELMUTH VEITH STIPEND Call for Applications Deadline: August 20, 2017 * It is our pleasure to invite academically excellent female applicants in pursuit (or planning to pursue) a master degree in Computer Sciences at TU Wien to apply for Helmut Veith Stipend. The recipients of Helmut Veith Stipend receive EUR 6000 annually for the duration of up to two years, and waiver of all tuition fees for the study at TU Wien. The application deadline is August 20, 2017. For more information download the Flyer for Helmut Veith Stipend. * ABOUT HELMUT VEITH The stipend is named to honour the memory of Helmut Veith (1971 - 2016), specifically his international influential research, and his visionary mentorship of building bridges between the computer science and the society. The Helmut Veith Stipend continues the late scholar's support of female scientist in the field of computer science, and his backing of the revival era in the Austrian logic scene. * More information here http://bit.ly/Forsyte-Helmut-Veith-Stipend 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. 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS 24TH INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE (ISSTA & SPIN 2017) July 10-14, 2017, Santa Barbara, California, USA http://conf.researchr.org/home/issta-2017 http://conf.researchr.org/home/spin-2017 * ISSTA is the leading research symposium on software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experiences on how to analyze and test software systems. * The SPIN symposium brings together researchers and practitioners interested in automated, tool-based techniques to analyze software systems and models of software systems for verification and validation purposes. * RESEARCH PROGRAM ISSTA list of accepted papers: http://conf.researchr.org/info/issta-2017/accepted-papers SPIN list of accepted papers: http://conf.researchr.org/info/spin-2017/accepted-papers * KEYNOTE SPEAKERS ISSTA Christopher Kruegel, UCSB Armando Solar-Lezama, MIT SPIN Domagoj Babic, Google Byron Cook, Amazon Web Services Gerard Holzmann, Nimble Research * CO-LOCATED EVENTS ISSTA Doctoral Symposium http://conf.researchr.org/track/issta-2017/issta-2017-doctoral-symposium ISSTA Demonstrations track http://conf.researchr.org/track/issta-2017/issta-2017-demos TECPS 2017: Workshop on Testing Embedded and Cyber-Physical Systems http://conf.researchr.org/track/issta-2017/issta-2017-tecps RERS Challenge 2017: Rigorous Examination of Reactive Systems http://www.rers-challenge.org/2017/ * FOLLOW US ON SOCIAL MEDIA http://facebook.com/isstaconf http://twitter.com/issta_conf http://twitter.com/hashtag/spin17sym COMPUTER-AIDED VERIFICATION, 29TH INTERNATIONAL CONFERENCE (CAV 2017) Call for Participation Heidelberg, Germany, 22-28 July 2017 http://www.cavconference.org/2017 * TL;DR Early registration: June 14, 2017; Hotel booking deadlines: early June, 2017; We hope to welcome you at CAV -- we have an exciting program! * ABOUT CAV CAV 2017 is the 29th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Along with the main conference, CAV will feature eight workshops (including a special workshop in honor of David Dill) and tutorials. * HIGHLIGHTS: -- WORKSHOPS (22-23 July) -- VERIFICATION MENTORING WORKSHOP (23 July) -- SPECIAL WORKSHOP Dill@60 in Honor of David Dill (24 July) -- MAIN CONFERENCE (24-28 July) * INVITED SPEAKERS Chris Hawblitzel, Microsoft Research Marta Kwiatkowska, Oxford Viktor Vafeiadis, MPI-SWS Winner of the CAV award (to be announced at the conference) * INVITED TUTORIALS Loris D'Antoni, University of Wisconsin-Madison: The power of symbolic automata and transducers Mayur Naik, University of Pennsylvania: Maximum Satisfiability in Software Analysis: Applications and Techniques * PUBLIC LECTURE ``Logic Lounge'' in memory of Helmut Veith Fabiana Zollo: Social Dynamics in the Post-Truth Society: How the Confirmation Bias is Changing the Public Discourse * SATELLITE EVENTS (22-23 July) 7 satellite workshops will take place before CAV 2017. Check their calls for papers and consider contributing! SYNT - Sixth Workshop on Synthesis (July 22) DARS - Design and Analysis of Robust Systems (July 22) NSV/Rise4CPS - Numerical Software Verification and Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems (July 22-23) SMT - Satisfiability Modulo Theories (July 22-23) VSTTE - Verified Software: Theories, Tools, and Experiment (July 22-23) VMW - Verification Mentoring Workshop (July 23) FEVER - Formal Approaches to Explainable VERification (July 23) 37TH ANNUAL CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2017) Call for Papers Kanpur, India, December 11 - 15, 2017 Conference website: http://fsttcs.org/ * TOPICS Representative areas include, but are not limited to, the following. - Algorithms and Data Structures - Algorithmic Graph Theory and Combinatorics - Approximation Algorithms - Automata and Formal Languages - Combinatorial Optimization - Communication Complexity - Computational Biology - Computational Complexity - Computational Geometry - Computational Learning Theory - Cryptography and Security - Game Theory and Mechanism Design - Logic in Computer Science - Model Theory, Modal and Temporal Logics - Models of Concurrent and Distributed Systems - Models of Timed, Reactive, Hybrid and Stochastic Systems - Parallel, Distributed and Online Algorithms - Parameterized Complexity - Principles and Semantics of Programming Languages - Program Analysis and Transformation - Proof Complexity - Quantum Computing - Randomness in Computing - Specification, Verification, and Synthesis - Theorem Proving, Decision Procedures, and Model Checking - Theoretical Aspects of Mobile and High-Performance Computing * INVITED SPEAKERS Sham Kakade (University of Washington, USA) Anca Muscholl (LaBRI & Universite de Bordeaux, France) Devavrat Shah (MIT, USA) Vinod Vaikuntanathan (MIT CSAIL, USA) Thomas Wilke (Christian-Albrechts-Universitaet zu Kiel, Germany) * IMPORTANT DATES Paper submission deadline: Monday, July 24, 2017 (Anywhere on earth) Notification to Authors: Monday, September 18, 2017 Camera-ready deadline: Monday, October 16, 2017 Conference: December 11 - 15, 2017 FOURTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2017) Call for Participation July 24-27, 2017, Daejeon, South Korea http://cca-net.de/cca2017/ * ABOUT. This conference is concerned with the theory of computability and complexity over real-valued data. The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. The conference CCA 2017 is preceded by the 15th Asian Logic Conference from July 10 to 14 and followed by the Workshop on Real Verification on Friday, July 28. * INVITED SPEAKERS Hee-Kap Ahn (Pohang, Republic of Korea) Veronica Becher (Buenos Aires, Argentina) Anders Hansen (Cambridge, UK) Takayuki Kihara (Berkeley, USA) Amaury Pouly (Max Planck Institute, Germany) Linda Brown Westrick (Connecticut, USA) * REGISTRATION Early bird registration is open until June 10th: http://kaist.kiwii.co.kr/ * SATELLITE WORKSHOP ON REAL VERIFICATION A co-located "Workshop on Real Verification" will take place on Friday, July 28 https://complexity.kaist.edu/CCA2017/workshop.html THE 13TH REASONING WEB SUMMER SCHOOL (RW 2017) Call for Applications London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 * co-located with: - RuleML+RR: International Joint Conference on Rules and Reasoning London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org - RuleML+RR Doctoral Consortium http://2017.ruleml-rr.org/doctoral-consortium/ - DecisionCAMP 2017 London, U.K., July 13-14, 2017 http://2017.ruleml-rr.org/decisioncamp-2017 - 11th International Rule Challenge London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org/calls/international-rule-challenge/ * The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. The school is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues. In 2017, the theme of the school is: "Semantic Interoperability on the Web" * IMPORTANT DATES Application deadline: May 20, 2017 (extended) Notifications: May 25, 2017 Registration deadline: May 31, 2017 * LECTURES - Andrea Cali (Birkbeck University of London, U.K.) "Ontology querying: Datalog strikes back" - Thomas Eiter (Technical University of Wien, Austria) "Answer Set Programming with External Source Access" - Thomas Lukasiewicz (University of Oxford, U.K.) "Uncertainty Reasoning for the Semantic Web" - Marco Montali (Free University of Bolzano/Bozen, Italy) "Ontology-based Data Access for Log Extraction in Process Mining" - Axel Polleres (Vienna University of Economics & Business, Austria) "Challenges for Semantic Data Integration on the Web of Open Data" - Marie-Christine Rousset (University Grenoble-Alpes, Institut Universitaire de France) "Datalog revisited for reasoning in Linked Data" - Torsten Schaub (University of Potsdam, Germany and Inria, Bretagne Atlantique, Rennes, France) "A Tutorial on Hybrid Answer Set Solving" - Juan Sequeda (Capsenta, USA) "Integrating Relational Databases with the Semantic Web" - Giorgos Stamou (National Technical University of Athens, Greece) "Ontological query answering over semantic data" * FURTHER DETAILS on applications, student fees and grants, venue, are available on the school website. ENCYCLOPEDIA OF PROOF SYSTEMS - POSTER SESSION & TASK-FORCE (EPS 2017) Call for Posters and Encyclopedia Entries 24, 25th of September 2017, Brasilia, Brazil http://proofsystem.github.io/Encyclopedia/ * DESCRIPTION. The Encyclopedia of Proof Systems was created in 2014 with the goal of being a quick reference for the various proof systems used by logicians. Since then, it has collected 64 entries on the most various logics and calculi. This was only possible due to the collaboration of many members of the logic community. This event aims to promote the encyclopedia and attract more contributions and collaborators. It consists of: - a poster session in the afternoon of September 24th, 2017, during which submitted entries will be displayed as posters; - an interactive hands-on meeting in the morning of September 25th, 2017, for those who would like to contribute to the continuous improvement of the encyclopedia. * Submissions and instructions are available in the website: http://proofsystem.github.io/Encyclopedia/ * IMPORTANT DATES Submission: 1 August 2017 Notification: 15 August 2017 6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING (TPNC 2017) Call for papers Prague, Czech Republic, December 18-20, 2017 Faculty of Mathematics and Physics, Charles University http://grammars.grlmc.com/TPNC2017/ * TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2017 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature. * PROGRAMME CHAIR Carlos Martin-Vide (Rovira i Virgili University, ES, co-chair) Roman Neruda (Prague, co-chair) * DEADLINES (all at 23:59 CET): Paper submission: August 6, 2017 Notification of paper acceptance or rejection: September 6, 2017 Final version of the paper for the LNCS proceedings: September 16, 2017 Early registration: September 16, 2017 Late registration: December 4, 2017 Submission to the post-conference journal special issue: March 20, 2018 * QUESTIONS AND FURTHER INFORMATION: david.silva409 (at) yahoo.com 26TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2017) Call for Participation August 20 - 24, 2017, Stockholm, Sweden http://logic.math.su.se/csl-2017 * Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science. * CSL 2017 will be co-located with several other logic-related events, taking place at Stockholm University, including the 3rd Nordic Logic Summer School, NLS 2017, August 7-11, and the Logic Colloquium 2017 (LC 2017), August 14-20. * INVITED SPEAKERS * Invited highlight speakers for the LC-CSL joint session on August 20: Veronica Becher (University of Buenos Aires) Phokion Kolaitis (University of California Santa Cruz and IBM Research - Almaden) Pierre Simon (UC Berkeley) Wolfgang Thomas (RWTH Aachen) * CSL plenary speakers: Laura Kovács (Vienna University of Technology) Stephan Kreutzer (Technische Universität Berlin) Meena Mahajan (Institute of Mathematical Sciences, Chennai) Margus Veanes (Microsoft Research) * SPECIAL AND AFFILIATED EVENTS In addition to the plenary and contributed talks CSL 2017, the conference will also include the following events: - Presentation of the Alonzo Church award for Outstanding Contributions to Logic and Computation, - Presentation of the EACSL Ackermann award for Outstanding Dissertation on Logic in Computer Science, - CSL-affiliated workshops, to be held as CSL co-located events: Workshop on Logic and Algorithms in Computational Linguistics LACompLing'17 (August 16-19) Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2017 (August 25) Workshop on Logic and Automata Theory (in memory of Zoltan Ezik) (August 25) * Further information about all events can be found on http://logic.math.su.se/logic-in-stockholm-2017 LOGIC AND AUTOMATA THEORY Call for participation A one-day workshop in memory of Zoltan Esik A satellite event of CSL 2017 Stockholm, August 25, 2017 https://www.imsc.res.in/~jam/esik/zoltan.html * SPEAKERS Mikolaj Bojanczyk (University of Warsaw) Anna Ingolfsdottir (Reykjavik University) Szabolcs Ivan (University of Szeged) Wolfgang Thomas (RWTH, Aachen) Pascal Weil (LaBRI, CNRS and Univ. of Bordeaux) * Registration link https://www.math-stockholm.se/konferenser-och-akti/ logic-in-stockholm-2/26th-eacsl-annual-co/ computer-science-logic-2017-august-20-24-1.717663 * Organisers R. Ramanujam (firstname.lastname@example.org) and Thomas Schwentick (email@example.com) 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 * PROGRAM CO-CHAIRS - June Andronick (Data61, CSIRO and UNSW, Australia) - Amy Felty (University of Ottawa, Canada) 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/ PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE LANGUAGES LAB IN BRUSSELS * The computer science department of the Vrije Universiteit Brussel is offering a part-time position as professor to reinforce its software languages and software engineering branch. The position is published under the heading: WE/2017/001 - Senior Academic Staff - 50% - Science and Bio-Engineering Sciences - Computer Sciences - Software Language Engineering on the university's job offers website located at http://vub.talentfinder.be. The planned starting date for this position is October 1st, 2017. Contract duration is 2 academic years. * The deadline for applying is July 24th, 2017. Applications should reach us through the website. * CONTACT Viviane Jonckers Software Languages Lab email: firstname.lastname@example.org phone: +32 2 629 29 67 * FUNCTION - Research The selected candidate has to reinforce the research of the Software Languages Lab (SOFT - http://soft.vub.ac.be) which focusses on `software language engineering'. The lab is active in programming language research and software engineering research. We are specifically looking for a candidate who can link these two domains, e.g. by designing new language features or language extensions with a specific focus on modern software engineering problems or by studying the software engineering aspects that emerge from new “nearly mainstream” languages such as Scala, Clojure, Julia, etc. The candidate's research methodology can be formalism-based, artefact-driven, or experimental. Candidates whose academic track record shows the ability to combine several methodologies are explicitly welcome. - Teaching The teaching assignment may include both general courses on bachelor or master level and more specialized courses on MA level. The exact course list will be negotiated with the candidate and will depend on his/her expertise and language skills. 12 PH.D. STUDENT POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC RWTH Aachen University Call for Applications Deadline for applications: July 14, 2017 Starting date positions: October 1, 2017 https://moves.rwth-aachen.de/research/projects/unravel/ * The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. 12 positions are available within the Research Training Group (RTG) UnRAVeL. The key emphasis of an RTG is on the qualification of doctoral researchers with a focused research program and a structured training strategy. UnRAVeL aims to significantly advance probabilistic modelling and analysis for uncertainty by developing new theories, algorithms, and tool-sup- ported verification techniques, and to apply them to core problems from security, planning, and safety and performance analysis. * Application procedure, required profile, job description, and the possible Ph.D. projects are all available on the web page. * Involved supervisors: Martin Grohe, Erich Gradel, Erika Abraham, Jurgen Giesl, Joost-Pieter Katoen, Christof Loding, Britta Peis, Gerhard Woeginger, Gerhard Lakemeyer, Ulrike Meyer, Nils Niessen, Pascal Schweitzer.
Back to the LICS web page.