SIGLOG Monthly 195 August 9, 2017 ******************************************************************* * 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 * NEWS Winners of the 2017 Alonzo Church Award FLoC 2018 - Preliminary annoucement ACM SIGLOG Announcement EATCS Bulletin - Call for abstracts * DEADLINES Forthcoming Deadlines * CALLS LASH 2017 - Call for Contributions DataMod 2017 - Call for Presentation Reports HELMUTH VEITH STIPEND - Call for Application PODS 2018 - Call for Papers TPNC 2017 - Call for papers CSL 2017 - Call for Participation LOGIC AND AUTOMATA THEORY - Call for participation FSCD 2017 - Call for participation PADL 2018 - Call for Papers ESORICS 2017 - Call for Participation RV 2017 - 1st Call for Participation GandALF 2017 - Call for participation TABLEAUX 2017 - Call for Participation FroCoS 2017 - Call for Participation ITP 2017 - Call for Participation ISAIM 2018 - Call for Papers CPP 2018 - Call for Papers FoIKS 2018 - Call for papers * JOB ANNOUNCEMENTS POST-DOC POSITION AT TU DORTMUND POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING LANGUAGES PART-TIME (50%) FACULTY POSITION IN COMPUTER SCIENCE - SOFTWARE LANGUAGES LAB IN BRUSSELS 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: 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 bulle...@eatcs.org and iw...@kuis.kyoto-u.ac.jp. 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 * LASH 2017 Call for Contributions August 28, 2017, Melbourne Australia LogicAndSearch.org/LaSh2017 * DataMod 2017 Call for Presentation Reports September 4-5, 2017, Trento, Italy Satellite event of SEFM 2017 http://pages.di.unipi.it/datamod/edition-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 * 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 * FSCD 2017 Call for participation Oxford, UK, 3-9 September 2017 (colocated with ICFP) http://www.cs.ox.ac.uk/conferences/fscd2017/ * PADL 2018 Call for Papers http://popl18.sigplan.org/track/PADL-2018-papers Los Angeles, CA, USA, 8 - 9 January, 2018 Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home) Paper submission: September 10, 2017 * ESORICS 2017 Call for Participation Oslo, Norway — September 11-15, 2017 https://www.ntnu.edu/web/esorics2017/ * RV 2017 Call for Participation September 13-16 2017, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk * GandALF 2017 Call for participation Rome, Italy, 20-22 September 2017 http://gandalf2017.istc.cnr.it * TABLEAUX 2017 Call for Participation Brasilia, Brazil - 25-28 September 2017 Co-located with FroCoS 2017 and ITP 2017 Workshops and Tutorials: 23-25 September 2017 http://tableaux2017.cic.unb.br * FroCoS 2017 Call for Participation Brasilia, Brazil - 27-29 September 2017 Co-located with TABLEAUX 2017 and ITP 2017 Workshops and Tutorials: 23-25 September 2017 http://frocos2017.cic.unb.br * ITP 2017 Call for Participation Brasilia, Brazil - 26-29 September 2017 Co-located with TABLEAUX 2017 and FroCoS 2017 Workshops and Tutorials: 23-25 September 2017 http://itp2017.cic.unb.br * ISAIM 2018 Call for Papers January 3-5, 2018, Fort Lauderdale FL, USA http://isaim2018.cs.virginia.edu Paper submission: October 3, 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 * 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 LASH 2017 WORKSHOP ON LOGIC AND SEARCH (LASH 2017) Call for Contributions August 28, 2017, Melbourne Australia LogicAndSearch.org/LaSh2017 * The LaSh Worshops on Logic and Search are devoted to the study of logic-based methods for specifying and solving computational search and optimization problems, with particular emphasis on solving based on high-level, declarative, problem specifications. LaSh-2017 is affiliated with SAT, CSP and ICLP 2017. * Researchers interested in giving a 20 to 30 minute talk should submit a proposal, in the form either of a talk abstract, or a full paper in any common format. Submissions or enquiries may be sent by email to d...@sfu.ca, with the subject LaSh 2017 Submission. In the case of a paper, please indicate if it is new or previously published work. * Topics of interest include: Logics and representation languages; Model finders and ground solvers (e.g., SAT, ASP, SMT, CSP solvers); Grounding and grounding-based solving systems; Pre-processing, automated reasoning over specifications, automated solver generation and meta-programming; Problem and instance structure; Applications. * IMPORTANT DATES Sunday August 6: Submission of presentation proposals Saturday August 12: Notification of acceptance Monday August 28: Workshop 6th INTERNATIONAL SYMPOSIUM "FROM DATA TO MODELS AND BACK" (DataMod 2017) Call for Presentation Reports September 4-5, 2017, Trento, Italy Satellite event of SEFM 2017 http://pages.di.unipi.it/datamod/edition-2017/ * DataMod 2017 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined application of computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. * Modelling and analysis methodologies include Agent-based Methodologies, Automata-based Notations, Big Data Analytics, Cellular Automata, Classification, Clustering, Segmentation and Profiling, Conformance Analysis, Constraint Programming, Data Mining, Differential Equations, Empirical Modelling, Game Theory, Machine Learning, Membrane Systems, Network Theory and Analysis, Ontologies, Optimisation Modelling, Petri Net= s, Process Calculi, Process Mining, Rewriting Systems, Spatio-temporal Data Analysis/Mining, Statistical Model Checking, System Dynamics, Text Mining, Topological Data Analysis * Application domains include Biology, Brain Data and Simulation, Business Process Management, Climate Change, Cybersecurity, Ecology, Education, Environmental Risk Assessment and Management, Enterprise Architectures, Epidemiology, Genetics, Governance, Open Source Software Development and Communities, Pharmacology, Resilience Engineering, Safety and Security Risk Assessment, Social Good, Social Software Engineering, Social Systems, Sustainable Development, Threat modelling and analysis, Urban Ecology and Smart Cities * Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as for previous/future publication of the contents of a presentation. Presentation reports will receive a lightweight review to establish their relevance for DataMod. * IMPORTANT DATES Submission: 8 August 2017; Notification: 10 August 2017 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. 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 (j...@imsc.res.in) and Thomas Schwentick (thomas.schwent...@tu-dortmund.de) 2ND INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD 2017) Call for participation Oxford, UK, September 2017 (colocated with ICFP) http://www.cs.ox.ac.uk/conferences/fscd2017/ * FSCD is a conference covering 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 and homotopy type theory. * REGISTRATION The registration page is already open and linked from: http://www.cs.ox.ac.uk/conferences/fscd2017/registration.html The early registration deadline is *** 7 August ***. Students should apply for scholarships by *** 21 July *** (for more details please visit the conference webpage). * INVITED SPEAKERS - Marco Gaboardi (Univ. Buffalo, SUNY) - Georg Mose (Univ. Innsbruck) - Alexandra Silva (University College London) - Christine Tasson (PPS and Univ. Paris Diderot) * SATELLITE EVENTS - Trends in Linear Logic and Applications (September 3) - 31st International Workshop on Unification (September 3) - Trends in Mechanised Security Proofs, COST Action CA15123 EUTypes Workshop (September 3) - Third Workshop on Higher-Dimensional Rewriting and Applications (September 8-9) (co-located) - Third Workshop on Homotopy Type Theory and Univalent Foundations (September 8-9) - First Workshop on String Diagrams in Computation, Logic, and Physics (September 8-9) (co-located) - Fourth Meeting on Structures and Deduction (September 8 and 9) - Sixth International Workshop on Confluence (September 8) - International Workshop on Logical Frameworks and Meta-Languages - Theory and Practice (September 8) - Fourth International Workshop on Rewriting Techniques for Program Transformation and Evaluation (September 8) - IFIP Working Group 1.6: Rewriting (September 9) * PROGRAM CHAIR Dale Miller (Inria Saclay) * CONFERENCE CHAIR Sam Staton (University of Oxford) * WORKSHOPS CHAIR Jamie Vicary (University of Oxford) 20TH INTERNATIONAL SYMPOSIUM ON PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2018) Call for Papers http://popl18.sigplan.org/track/PADL-2018-papers Los Angeles, CA, USA, 8 - 9 January, 2018 Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home) * The two best papers accepted for publication at PADL will be invited to submit an extended version for rapid publication in the journal Theory and Practice of Logic Programming. * PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages. PADL 2018 will accept both technical and application papers: * IMPORTANT DATES Abstract submission: September 3, 2017 Paper submission: September 10, 2017 Notification: October 9, 2017 Camera-ready: October 23, 2017 Symposium: January 8-9, 2017 * Program Chairs: - Nicola Leone, University of Calabria, Italy - Kevin Hamlen, University of Texas at Dallas, TX, USA 22ND EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (ESORICS 2017) Call for Participation Oslo, Norway, September 11-15, 2017 https://www.ntnu.edu/web/esorics2017/ * OVERVIEW ESORICS is the annual European research event in Computer Security. ESORICS 2017 spans a total of 3 days, featuring: - 3 keynote speeches (Cormac Herley, Paul Syverson, Sandro Etalle) - 54 paper presentations in 3 days (Sep 11-13) - workshops (Sept 14 - 15) * REGISTRATION Early Registration for ESORICS+Workshops 2017 is open, but will end soon. Early registration deadline is August, 15th 2017. * FURTHER DETAILS https://www.ntnu.edu/web/esorics2017/ THE 17TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2017) Call for Participation September 13-16 2017, Seattle, WA, USA http://rv2017.cs.manchester.ac.uk * Affiliated Event: RV-CuBES - An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools * Early Registration and Accommodation Deadline August 13 * OVERVIEW Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. * Topics of interest to the conference include: specification languages, monitor construction techniques, program instrumentation, logging, recording, and replay, combination of static and dynamic analysis, specification mining and machine learning over runtime traces, monitoring techniques for concurrent and distributed systems, runtime checking of privacy and security policies, statistical model checking, metrics and statistical information gathering, program/system execution visualization, fault localization, containment, recovery and repair, integrated vehicle health management (IVHM). * INVITED TALKS - Rodrigo Fonseca, Brown University, USA: - Vlad Levin and Jakob Lichtenberg, Microsoft, USA: - Andreas Zeller, Saarland University, Germany: * TUTORIALS - Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research - Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign - Adrian Francalanza, University of Malta THE EIGHTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND FORMAL VERIFICATION (GandALF 2017) Call for participation Rome, Italy, 20-22 September 2017 http://gandalf2017.istc.cnr.it * REGISTRATION NOW OPEN : http://gandalf2017.istc.cnr.it/registration/ * The aim of GandALF 2017 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. * The list of accepted papers can be found here: http://gandalf2017.istc.cnr.it/accepted-papers/ * INVITED SPEAKERS - Luca Aceto, Reykjavik University, Iceland/Gran Sasso Science Institute, L'Aquila, Italy - Ranko Lazic, University of Warwick, U.K. - Michael Wooldridge, Head of Department of Computer Science, University of Oxford, U.K. * AIxIA CALL FOR SCHOLARSHIP The Italian Association for Artificial Intelligence offers travel grants, which partially support the registration fees, travel, accommodation and meal expenses, for the participation of students in GandALF 2017. The candidates should send the travel grant application to Andrea Orlandini (by email gandalf.2...@istc.cnr.it) by 30/07/2017 * More info here: http://gandalf2017.istc.cnr.it/aixia-call-for-scholarships/ * PROGRAM CHAIRS Patricia Bouyer-Decitre LSV, CNRS and ENS de Cachan, France Pierluigi San Pietro, Politecnico di Milano, Italy 26th INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2017) Call for Participation Brasilia, Brazil - 25-28 September 2017 Co-located with FroCoS 2017 and ITP 2017 Workshops and Tutorials: 23-25 September 2017 http://tableaux2017.cic.unb.br * TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented. Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. * INVITED SPEAKERS - Carlos Areces (FaMAF - Universidad Nacional de Cordoba, Argentina) - Wolfgang Bibel (Technische Universitat Darmstadt, Germany) (TABLEAUX anniversary session) - Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP) - Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands) (TABLEAUX/FroCoS/ITP) - Reiner Hahnle (Technische Universitat Darmstadt, Germany) (TABLEAUX anniversary session) - Cezary Kaliszyk (Universitat Innsbruck, Austria) (TABLEAUX/FroCoS/ITP) * ACCEPTED PAPERS See http://tableaux2017.cic.unb.br/#accepted * PROGRAM CHAIRS Claudia Nalon, University of Brasilia, Brazil Renate Schmidt, The University of Manchester, UK * REGISTRATION For more information visit tableaux2017.cic.unb.br/#registration Early registration until 4th August Late registration until 2nd September 11th INTERNATIONAL SYMPOSIUM ON FRONTIERS OF COMBINING SYSTEMS (FroCoS 2017) Call for Participation Brasilia, Brazil - 27-29 September 2017 Co-located with TABLEAUX 2017 and ITP 2017 Workshops and Tutorials: 23-25 September 2017 http://frocos2017.cic.unb.br * The main goal of the symposium is to disseminate and promote progress in research areas related to the development of techniques for the integration, combination, and modularization of formal systems together with their analysis. In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led---in many research areas---to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis. * INVITED SPEAKERS - Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP) - Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands) (TABLEAUX/FroCoS/ITP) - Cezary Kaliszyk (University of Innsbruck, Austria) (TABLEAUX/FroCoS/ITP) - Cesare Tinelli (University of Iowa, USA) - Renata Wassermann (University of Sao Paulo, Brazil) * ACCEPTED PAPERS See http://frocos2017.cic.unb.br/#accepted * PROGRAM COMMITTEE CHAIRS Clare Dixon, University of Liverpool, UK Marcelo Finger, Universidade de Sao Paulo, Brazil * REGISTRATION For more information visit frocos2017.cic.unb.br/#registration Early registration until 4th August Late registration until 2nd September 8th INTERNATIONAL CONFERENCE ON INTERACTIVE THEOREM PROVING (ITP 2017) Call for Participation Brasilia, Brazil - 26-29 September 2017 Co-located with TABLEAUX 2017 and FroCoS 2017 Workshops and Tutorials: 23-25 September 2017 http://itp2017.cic.unb.br * The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009. * INVITED SPEAKERS - Katalin Bimbo (University of Alberta, Canada) (TABLEAUX/FroCoS/ITP) - Jasmin Blanchette (Vrije Universiteit Amsterdam, The Netherlands) (TABLEAUX/FroCoS/ITP) - Moa Johansson (Chalmers University of Technology, Sweden) - Cezary Kaliszyk (University of Innsbruck, Austria) (TABLEAUX/FroCoS/ITP) - Leonardo de Moura (RISE, Microsoft Research) * ACCEPTED PAPERS See http://itp2017.cic.unb.br/#accepted * PROGRAM CHAIRS Mauricio Ayala-Rincon, University of Brasilia Cesar Munoz, NASA * REGISTRATION For more information visit itp2017.cic.unb.br/#registration Early registration until 4th August Late registration until 2nd September 15th INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND MATHEMATICS (ISAIM 2018) Call for Papers January 3-5, 2018, Fort Lauderdale FL, USA http://isaim2018.cs.virginia.edu * The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the fifteenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence. We seek submissions of recent results with particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions. * Special Topic Invited Sessions: - Boolean and pseudo-Boolean Functions, organized by Endre Boros, Rutgers University, and Yves Crama, University of Liege - Formalising Robot Ethics, organized by Michael Fisher, University of Liverpool, and Marija Slavkovik, University of Bergen - Topological Reasoning and Data Analyses, organized by Debasis Mitra, Florida Istitute of Technology - Theory of Machine Learning, organized by Lev Reyzin, University of Illinois at Chicago * IMPORTANT DATES Paper submission: October 3, 2017 Notification: October 31, 2017 Final version due: November 27, 2017 Workshop: January 3-5, 2018, Ft. Lauderdale, Florida * Detailed Call for Papers: http://isaim2018.cs.virginia.edu/cfps.html * PROGRAM COMMITTEE CHAIRS Jurgen Dix and Guillermo R. Simari * CONTACT isaim2018 at mail DOT cs DOT virginia DOT edu. * Join is...@googlegroups.com to receive announcements related to ISAIM. 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) 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/ 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. 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: vejon...@vub.ac.be 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. You are subscribed to the lics mailing list because you have signed up for it in the past. Submissions to the newsletter: Send an email to firstname.lastname@example.org. Unsubscribe: To unsubscribe, please send an email to las-lics-requ...@lists.tu-berlin.de with the keyword 'unsubscribe' in the message body (without '). Subscribe: To subscribe, please send an email to las-lics-requ...@lists.tu-berlin.de with the keyword 'subscribe' in the message body (without ').