SIGLOG Monthly 193 June 16, 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 FLoC 2018 - Call for workshops UNIF 2017 - Call for Papers RERS Challenge 2017 - Call for Papers DataMod 2017 - Call for Papers RSSRail 2017 - Call for Papers HDRA 2017 - Call for Papers LSFA 2017 - Second Call for Papers PODS 2018 - Call for Papers RADICAL 2017 - Call for Submissions Security and Privacy in Cloud-Assisted Cyber-Physical Systems - Call for papers ISSTA & SPIN 2017 - Call for Participation CAV 2017 - Call for Participation CCA 2017 - Call for Participation RW 2017 - Call for Applications EPS 2017 - Call for Posters and Encyclopedia Entries TPNC 2017 - Call for papers CPP 2018 - Call for Papers * JOB ANNOUNCEMENTS Professor Positions at University of Pisa 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 * FLoC 2018 Call for workshops The 2018 Federated Logic Conference 6-19 July 2018 Oxford, England UK http://www.floc2018.org/ Submission of workshop proposals deadline: June 19, 2017 * UNIF 2017 Call for Papers https://unif-workshop.github.io/UNIF2017/ 3 September 2017, Oxford, UK Paper submission: June 21st (11pm59 CET) * RERS Challenge 2017 Call for Papers Santa Barbara, USA, July 2017. Deadline for all submission: 01.07.2017 * DataMod 2017 Call for Papers September 4-5, 2017, Trento, Italy Satellite event of SEFM 2017 http://pages.di.unipi.it/datamod/edition-2017/ Paper submission: 1 June 2017; * RSSRail 2017 Call for Papers November 14-16, 2017, Pistoia, Italy https://conferences.ncl.ac.uk/rssrail/ paper submission deadline: June 8, 2017 * HDRA 2017 Call for Papers September 8-9 2017, Oxford, United Kingdom http://hdra.gforge.inria.fr/ Satellite workshop of FSCD 2017, co-located with STRING 2017. Submission Deadline: June 18, 2017 * LSFA 2017 Third Call for Papers 23-24 September 2017, Brasilia, Brazil Satellite event of TABLEAUX, FroCoS, and ITP 2017 http://lsfa2017.cic.unb.br/ Submission deadline: 21 June 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 (1st cycle): Jun 22, 2017 * RADICAL 2017 Call for Submissions September 4, 2017 - Germany - September 4, 2017 https://sites.google.com/site/radicalconcur/ Workshop co-located with CONCUR 2017 Submission deadline (3-page talk proposals): Friday, 30 June 2017. * Security and Privacy in Cloud-Assisted Cyber-Physical Systems Call for papers Special issue in Computer Netwoks Journal (Elsevier) Submission deadline: June 30, 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 * 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 * 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 THE SEVENTH FEDERATED LOGIC CONFERENCE (FLOC 2018) Call for workshops The 2018 Federated Logic Conference 6-19 July 2018 Oxford, England UK http://www.floc2018.org/ * AIM. The Seventh Federated Logic Conference (FLoC 2018) will host the following nine conferences and affiliated workshops. - CAV (30th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: Hana Chockler firstname.lastname@example.org - CSF (31st IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Cas Cremers cas.cremers at cs.ox.ac.uk - FM (23rd International Symposium on Formal Methods) http://www.fmeurope.org/?page_id=3D221 Workshop chair: Helen Treharne H.Treharne@surrey.ac.uk - FSCD (3rd International Conference on Formal Structures for Computation and Deduction) http://fscdconference.org/ Workshop chair: Paula Severi email@example.com - ICLP (35th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Stefan Woltran firstname.lastname@example.org - IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chair: Alberto Griggio email@example.com - ITP (9th International Conference on Interactive Theorem Proving) http://itp2017.cic.unb.br Workshop chair: Assia Mahboubi Assia.Mahboubi@inria.fr - LICS (33rd Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.siglog.org/ Workshop chair: Patricia Bouyer firstname.lastname@example.org - SAT (21st International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: Martina Seidl email@example.com * SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2018. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. * Submission instructions will follow shortly from http://www.floc2018.org/workshops/ For further information on FLoC 2018 see http://www.floc2018.org * IMPORTANT DATES Submission of workshop proposals deadline: June 19, 2017 Notification: July 31, 2017 Pre-FLoC workshops: Saturday & Sunday, July 7-8, 2018 Mid-FLoC workshops: Friday July 13, 2018 Post-FLoC workshops: Wednesday & Thursday, July 18-19, 2018 * CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: firstname.lastname@example.org UNIF 2017 -- FSCD workshop Call for Papers https://unif-workshop.github.io/UNIF2017/ 3 September 2017, Oxford, UK * The 31st International Workshop on Unification is the 31st event in a series of international meetings devoted to unification theory and its applications. The workshop will be hosted by the 2nd International Conference on Formal Structures for Computation and Deduction (FSCD, Oxford, September 2017). * IMPORTANT DATES Paper submission: June 21st (11pm59 CET) Notification of acceptance: July 21st Workshop: September 3rd * PROGRAM CHAIRS Adrià Gascón (Warwick University/Alan Turing Institute) email@example.com Chris Lynch (Clarkson University) firstname.lastname@example.org 7TH INTERNATIONAL CHALLENGE ON THE RIGOROUS EXAMINATION OF REACTIVE SYSTEMS (RERS 2017) Call for Papers Santa Barbara, USA, July 2017. co-located with ISSTA/SPIN 2017. * RERS is designed to encourage software developers and researchers to apply and combine their tools and approaches in a free style manner to answer evaluation questions for reachability and LTL formulas on specifically designed benchmarks. The goal of this challenge is to provide a basis for the comparison of verification techniques and available tools. The benchmarks are automatically synthesized to exhibit chosen properties and then enhanced to include dedicated dimensions of difficulty, ranging from conceptual complexity of the properties (e.g. reachability, full safety, liveness), over size of the reactive systems (a few hundred lines to tens of thousands of them), to exploited language features (arrays and index arithmetics). They are therefore especially suited for community-overlapping tool comparisons. What distinguishes RERS from other challenges is that the challenge problems can be approached in a free-style manner: it is highly encouraged to combine and exploit all known (even unusual) approaches to software verification. In particular, participants are not constrained to their own tools. To clearly separate RERS from other challenges, this year the LTL analysis is separated from the reachability of labels. RERS is then the only challenge with a special track for LTL analysis on synthesized benchmarks. * The main aims of RERS 2017 are to : - encourage the combination of usually different research fields for better software verification results; - provide a comparison foundation based on differently tailored benchmarks that reveals the strengths and weaknesses of specific approaches; - initiate a discussion for better benchmark generation reaching out across the usual community barriers to provide benchmarks useful for testing and comparing a wide variety of tools. * There will be a 1 day workshop where the results will be presented, the generation methodology will be explained, and the modalities for the RERS 2018 challenge, which will be part of ISoLA 2018 will be discussed. There is still a lot of time to get engaged, and collecting RERS achievements is a lot of fun! * SCHEDULE: * SEQUENTIAL PROBLEMS The sequential challenge just started. Its entire setup in online since a few days. Thus you can start right away. At least if you are a RERS newcomer, we would strongly recommend you to start with the training problems: (http://www.rers-challenge.org/2017/index.php?page=trainingphase) They are an ideal starting point for the challenge: They are smaller in size than the challenge problems but otherwise structurally equivalent. Moreover, an automatic checker (available on the same page) allows you to evaluate your own solutions. After having tackled the training problems it should be easy to move on to attack the challenge problems. * PARALLEL PROBLEMS: 01.03.2017: The training problems for the parallel challenge wil be online 01.05.2017: The setup for the parallel challlenge will be online. * DEADLINE for all submission: 01.07.2017 Please note that we want to specifically encourage also solutions from participants that work with tools developed by others. * FURTHER INFORMATION More detailed information on the challenge can be found in the participants section of www.rers-challenge.org/2017. Looking forward to seeing you in Santa Barbara! Best regards Bernhard, Falk, Jaco, and Markus DataMod 2017 - 6th INTERNATIONAL SYMPOSIUM "FROM DATA TO MODELS AND BACK" Call for Papers 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 Nets, 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 * Synergistic approaches include: (1) use of modelling methods and notations in a knowledge management/discovery context (2) development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest * IMPORTANT DATES: Abstract submission due: 25 May 2017; Paper submission: 1 June 2017; Notification: 6 July 2017 INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION - (RSSRAIL 2017) Call for Papers November 14-16, 2017, Pistoia, Italy https://conferences.ncl.ac.uk/rssrail/ * AIMS. The railway industry is facing an increasing pressure to improve system safety, to decrease the production cost and time to market, to reduce the carbon emission and running cost, and to improve the system capacity. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation. These trends dramatically increase the complexity of railway applications and pose new challenges in developing novel methods of modelling, analysis, verification and validation to ensure their reliability, safety and security, as well as in supporting novel mechanisms and procedures to help argue that the development processes are meeting the standards. Following the success of RSSRail 2016 held in Paris on June 28-30, 2016, this conference will contribute to a range of key objectives. There is a pressing demand to bring together researchers and developers working on railway system reliability, security and safety to discuss how these requirements can be met in an integrated way. * The conference aims to bring together researchers and engineers interested in building critical railway applications and systems. This will be a working conference in which research advances will be discussed and evaluated by both researchers and engineers focusing on their potential to be deployed in industrial settings. * We are interested in the submissions of three types: - Research papers - Industrial experience reports - PhD student papers. * IMPORTANT DATES: Abstract submission: June 1, 2017 Paper submission deadline: June 8, 2017 Notification: July 8, 2017 camera-read papers submitted: August 18, 2017 * CONFERENCE CHAIRS: Alessandro Fantechi, University of Firenze, Italy Thierry Lecomte, ClearSy, France Alexander Romanovsky, Newcastle University, UK HIGHER-DIMENSIONAL REWRITING AND APPLICATIONS (HDRA 2017) September 8-9 2017, Oxford, United Kingdom http://hdra.gforge.inria.fr/ Satellite workshop of FSCD 2017, co-located with STRING 2017. * Rewriting consists in orienting equalities. This seemingly simple point of view has given rise to a rich theory, which was first developped in computer science for handling strings and terms, and was then extended over the recent years to many other settings (operads, monoidal categories, higher categories, etc.), allowing it to have applications in algebra, homotopy theory and physics. All these generalizations fit into the general scope of higher-dimensional rewriting theory, which has emerged as a unifying algebraic framework. * The aim of the workshop is to gather people interested in pushing further rewriting theory, using (higher) categories as a common language. It is open to all topics concerning higher-dimensional generalizations and applications of rewriting theory. * HDRA 2017 will be co-located with the first edition of the STRING workshop (http://string2017.cs.ru.nl/) * INVITED SPEAKERS - Paul-Andre Mellies (CNRS and Paris Diderot) - TBA * IMPORTANT DATES Submission: June 18, 2017 Notification: June 30, 2017 Final version: July 9, 2017 Conference: September 8-9, 2017 12TH WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS, WITH APPLICATIONS (LSFA 2017) Third Call for Papers 23-24 September 2017, Brasilia, Brazil Satellite event of TABLEAUX, FroCoS, and ITP 2017 http://lsfa2017.cic.unb.br/ * OVERVIEW Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. LSFA 2017 aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers. * TOPICS OF INTEREST Topics of interest to this forum include, but are not limited to: - Automated deduction - Applications of logical and/or semantic frameworks - Computational and logical properties of semantic frameworks - Formal semantics of languages and systems - Implementation of logical and/or semantic frameworks - Lambda and combinatory calculi - Logical aspects of computational complexity - Logical frameworks - Process calculi - Proof theory - Semantic frameworks - Specification languages and meta -languages - Type theory * IMPORTANT DATES Submission: 21 June 2017 Notification: 21 July 2017 Final pre-proceedings version due: 11 August 2017 LSFA 2017 23-24 September 2017 * PROGRAMME COMMITTEE CHAIRS Sandra Alves, University of Porto - co-chair Renata Wassermann, University of Sao Paulo - co-chair * INVITED SPEAKERS Beniamino Accattoli Helene Kirchner Renate Schmidt * CONTACT email@example.com http://lsfa2017.cic.unb.br/ 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. RECENT ADVANCES IN CONCURRENCY AND LOGIC (RADICAL 2017) Call for Submissions September 4, 2017 - Germany - September 4, 2017 https://sites.google.com/site/radicalconcur/ Workshop co-located with CONCUR 2017 - https://www.concur2017.tu-berlin.de Deadline: 30 June 2017. * MOTIVATION RADICAL is a new workshop aligned within the intersection between concurrency and logic, broadly construed. The interplay of concurrency and logic with areas such as: - design, verification, synthesis for concurrent systems; - strategic reasoning for distributed and multi-agent systems; - analysis and validation techniques for concurrent and distributed programs; has received much attention, as witnessed by recent CONCUR editions. RADICAL intends to fill a gap between CONCUR researchers that now also typically publish and interact in other different venues; it also aims at attracting researchers from such neighboring communities. * TOPICS We invite 3-page submissions describing talk proposals on the intersection of logic and concurrency, as motivated above. See the webpage for details. * INVITED SPEAKERS Luís Caires (NOVA University of Lisbon, PT) Luke Ong (University of Oxford, UK) * IMPORTANT DATES Submission deadline (3-page talk proposals): Friday, 30 June 2017. Notification to authors: Friday, 28 July 2017. Workshop: Monday, 4 September 2017 * ORGANIZERS AND CONTACT Julian Gutierrez (University of Oxford, UK) Jorge A. Pérez (University of Groningen, NL) firstname.lastname@example.org SECURITY AND PRIVACY IN CLOUD-ASSISTED CYBER-PHYSICAL SYSTEMS Call for papers Special issue in Computer Netwoks Journal (Elsevier) Submission deadline: June 30, 2017 * Cloud-assisted Cyber-Physical Systems (CPS) feature a tight coupling between embedded computing devices and their physical environment. CPSes can be viewed as the bridge between physical components/processes and the cyber space. Specifically, the notion of CPSes is to use computing (e.g. sensing, analyzing and predicting), communication (e.g. interaction, intervene and interface management), and controlling (e.g. inter-operation, evolving and evidence-based certification) to make intelligent and autonomous systems. Recent years have seen a dramatic rise in the development of CPSes services, including ubiquitous health care, smart electricity grid, and smart buildings. However, the fast-growing data volume is hard to process. The present CPSes cannot support ultra-fast computing, and thus it cannot provide real-time and reliable services to meet the requirements, which are essential for mission-critical systems. Fortunately, cloud infrastructures and platforms can provide flexible and on-demand processing power and high-capacity storage for data streams, as well as provisioning of a variety of services using telecommunication and networking technologies. Thus, the large-scale nature of CPSes can be effectively and efficiently supported and assisted by cloud systems, which is referred to as cloud-assisted CPSes (Cloud-CPS). The goal of this special issue is to unveil and address the security and privacy aspects associated to the Cloud-CPeSs. * SUGGESTED TOPICS include, but are not limited to the following. - Secure data sharing in Cloud-CPSes - Big data security and privacy in Cloud-CPSes - Secure computation in Cloud-CPSes - Location privacy in Cloud-CPSes - Lightweight block ciphers for low-resource devices in Cloud-CPSes - Searchable encryption in Cloud-CPSes - End to end secure communications in Cloud-CPSes - Access control in Cloud-CPSes - Key management in Cloud-CPSes * IMPORTANT DATES Submission deadline: June 30, 2017 Notification of acceptance: August 31, 2017 Final manuscript due: October 15, 2017 * Requests for additional information should be addressed to the guest editors. * GUEST EDITORS Cristina Alcaraz, University of Malaga, email@example.com Xinyi Huang, Fujian Normal University, firstname.lastname@example.org Eric Rome, Fraunhofer, email@example.com 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) 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) Verónica 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 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) CALL FOR INTEREST FOR PROFESSOR POSITIONS AT THE DEPARTMENT OF COMPUTER SCIENCE - UNIVERSITY OF PISA Call for Interest Candidates for positions of Full Professor and Associate Professor Department of Computer Science, University of Pisa, Italy www.di.unipi.it * The Department of Computer Science of the University of Pisa is seeking expressions of interest for tenured positions at the Associate Professor and Full Professor level, to be covered, in multiple selection rounds, in 2017-2019. * Outstanding candidates in all areas of Computer Science are invited to apply. At this time, the Department seeks to expand its faculty in particular into the following areas: - Computational Science and Applied Mathematics including applications to complex systems and models in the fields of physical sciences, life sciences, social sciences, engineering and finance. - Ubiquitous computing including Internet of Things, Cloud and Fog computing, mobile applications, wearable and cyber-physical systems, programming languages, formal methods and verification. - Artificial Intelligence and Data Science including analysis and management of big data, machine learning, and high-performance architectures for related computations. * Position Profile Successful candidates will be expected to contribute to the activities of the Department, in multiple capacities: - Research, by providing leadership in defining research projects, attracting funding from industry or competitive funding programs, and contributing to dissemination of results through top-level publications. - Teaching, by offering courses for approximately 120 hrs per year (this translates to 2-3 courses per year) to students, at the undergraduate and graduate level. Post-grad teaching and PhD courses can be arranged as well. - Management, by serving in the various committees and boards of our University. * Candidates must have obtained a national habilitation for the applied-for position (associate or full professor), or already hold an equivalent academic position. Salary is aligned to national standards, starting from a minimum of Euro 51000/yr for an Associate Professor, and Euro 72000/yr for a Full Professor, and can be increased based on seniority and qualifications. * For any further detail please contact the Head of Department, Professor Gian-Luigi Ferrari at firstname.lastname@example.org. Interested candidates are kindly requested to send at email@example.com their resume and a short statement of their research interest, together with their vision for how they intend to contribute to our Department. For this round, please send your expression of interest by 15th of May 2017. Next rounds are expected in May 2018 and May 2019. 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.