SIGLOG Monthly 173
August  4, 2015

*******************************************************************
* 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
  CSL'15 Call for Participation
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  TIME 2015 - Call for Participation
  CADE 2015 - Call for Participation
  DCM 2015 - Call for Papers
  ATVA 2015 - Call for Participation
  AVACS Autumn School 2015 - Call for Participation
  GBMSC - Call for Participation
  ICMLA 2015 (Special Session on Formal Modeling) - Call for Papers
  BCTCS 2015 - Call for Participation
  HIGHLIGHTS 2015 - Call for Participation
  RV 2015 - Call for Participation
  LPNMR 2015 - Call for Participation
  ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
  COMPLEXITY 2016 - Call for Participation
* JOB ANNOUNCEMENTS
  PHD POSITION AT THE AUSTRALIAN NATIONAL UNIVERSITY.
  PHD POSITIONS AT THE UNIVERSITY OF PISA


CSL 2015
  Call for Participation
  COMPUTER SCIENCE LOGIC 2015
  Berlin, 7 - 10 September 2015
  http://logic.las.tu-berlin.de/csl2015/
  AIM AND SCOPE
  Computer Science Logic (CSL) is the annual conference of the European
  Association for Computer Science Logic (EACSL). The conference is
  intended for computer scientists whose research activities involve
  logic, as well as for logicians working on  issues significant for
  computer science.
  LOCATION
  The 24th EACSL Annual Conference on Computer Science Logic will be
  held at the Technical University Berlin from  Monday, 7 September 2015
  to Thursday, 10 September 2015.
  INVITED SPEAKERS
  Martin Abadi (Google and Santa Cruz)
  Elham Kashefi (Edinburgh)
  Markus Lohrey (Siegen)
  Ryan Williams (Stanford)
  REGISTRATION
  Registration is open.
  The conference fee is 300 EUR for non-students and 250 EUR for
  students. There is a discount for members of EATCS and ACM SIGLOG.
  HOTELS
  CSL partly overlaps with IFA, a major consumer electronics convention
  in Berlin. We very strongly advice to book a hotel as early as possible.
  TRAVEL GRANTS
  We have received a generous grant from the Deutsche
  Forschungsgemeinschaft DFG for travel support. This can be used to
  support any participant who has a doctorate degree.
  The deadline for application is 9 August 2015.
  CO-LOCATED EVENTS
  FICS: Workshop in fixed-points in computer science
  YuriFest: a symposium in the honour of Yuri Gurevich's 75th birthday
  LogInf: the meeting of the GI Fachgruppe Logic in der Informatik.



ACM SIGLOG ANNOUNCEMENT
  http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
  Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
  the other officers are Luke Ong (vice-Chair), Natarajan Shankar (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).



DATES
* TIME 2015
  Call for Participation
  Early registration deadline: July 31st
  Symposium on September 23 - 25, 2015, Kassel Germany
  http://time2015.uni-kassel.de
* CADE 2015
  Call for Partipation
  Freie Universitat Berlin, Germany, 1-7 August 2015
  http://www.cade-25.info
* DCM 2015
  Call for Papers
  Submission Deadline for Extended Abstracts (5 pages): August 3, 2015
  http://dcm-workshop.org.uk/2015/
* ATVA 2015
  Call for participation
  October 12-15, 2015, Shanghai, China
  Early registration deadline: August 15, 2015
  http://atva2015.ios.ac.cn/
* AVACS Autumn School 2015
  Oldenburg, Germany, September 30 to October 2, 2015
  Early registration deadline: August 31, 2015
  http://www.avacs.org/autumn2015
* GBMSC
  Conference: August 17-28, 2015
  http://booleconferences.ucc.ie/gbmsc2015
* ICMLA 2015 (Special Session on Formal Modeling for Machine Learning Techniques)
  Submission deadline: August 31, 2015
  http://www.icmla-conference.org/icmla15/files/Special%20Session%20proposal%20Formal%20Methods.pdf
* BCTCS 2015
  Middlesex University, Hendon, London, UK, 14th-18th September 2015
  http://www.cs.mdx.ac.uk/foundations/bctcs2015/
* HIGHLIGHTS 2015
  Conference: Prague, 15-18 September 2015
  http://highlights-conference.org
* RV 2015
  Conference: Vienna, Austria, September 22-25, 2015
  http://rv2015.conf.tuwien.ac.at/
* LPNMR 2015
  Conference: Lexington, KY, USA, September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
* ABZ 2016
  Workshop proposal submissions: October 16, 2015
  Workshop proposal notifications: November 6, 2015
  Research paper and answers to case study submission: January 15, 2016
  Short paper submission: February 4, 2016
  Tutorial proposal submissions: February 15, 2016
  http://www.cdcc.faw.jku.at/ABZ2016/
* SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY 2016
  April-June 2016
  Chebyshev Laboratory at St.Petersburg State University
  Organized jointly with the Skolkovo Institute of Science and Technology.
  http://en.chebyshev.spb.ru/complexity2016



22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2015)
  Call for participation
  Early registration deadline: July 31st
  Symposium on September 23 - 25, 2015, Kassel Germany
  http://time2015.uni-kassel.de
* AIMS
  TIME 2015 aims to bring together researchers interested in reasoning about
  temporal aspects of information in any area of Computer Science. The
  symposium has a wide remit and intends to cater both for theoretical aspects
  and well-founded applications. One of the key aspects of the time symposium
  is its interdisciplinarity with attendees from distinct areas such as
  artificial intelligence, database management, logic and verification, and
  beyond. The symposium will encompass three tracks on temporal representation
  and reasoning in AI, Databases, as well as Logic and Verification. The
  two-and-a-half-days scientific programme with 3 invited presentations, 17
  contributed talks and a panel session on temporal databases will be
  complemented with two social events on the first and second evening.
  Please consult the TIME 2015 website for further information, including
  the list of accepted papers.
* INVITED SPEAKERS
  Giuseppe de Giacomo, Sapienza Universita di Roma;
  Carlo Zaniolo, UCLA;
  Benedikt Bollig, ENS Cachan



25TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-25)
  Call for Partipation
  Freie Universitat Berlin, Germany, 1-7 August 2015
  http://www.cade-25.info
* CADE is the major forum for the presentation of research in all
  aspects of automated deduction.
* IMPORTANT DATES:
  Early Registation Deadline:   21 June 2015
* INVITED SPEAKERS:
  CADE-25 jubilee session
  * Ursula Martin, University of Oxford
  * Frank Pfenning, Carnegie Mellon University
  * David Plaisted, University of North Carolina at Chapel Hill
  * Andrei Voronkov, University of Manchester
  CADE-25 main conference
  * Ulrich Furbach, University of Koblenz, ECCAI invited talk
  * Edward Zalta, Stanford University
  * Michael Genesereth, Stanford University (joint with RuleML Symposium)
  Reception and dinner speeches will be given by Wolfgang Bibel and
  Jorg Siekmann.
* WORKSHOPS
  Bridging: Bridging the gap between human and automated reasoning
  DT: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme
  HOL4: HOL4 Workshop
  IWC: The 4th International Workshop on Confluence
  LFMTP: International Workshop on Logical Frameworks and
         Meta-Languages: Theory and Practice
  LOCAS: Low-level Code Analysis for Security
  PxTP: Workshop on Proof eXchange for Theorem Proving
  QUANTIFY: 2nd International Workshop on Quantification
  Vampire: The Vampire Workshop
* TUTORIALS
  Abella: Reasoning about Computational Systems using Abella
  Beluga: Programming proofs about formal systems
  CPROVER: From Programs to Logic: The CPROVER verification tools
  Isabelle: Isabelle Tutorial
  Lean: Lean Theorem Prover: a Tutorial
  Superposition: 25th Anniversary of Superposition: Status and Future
* COMPETITIONS
  CASC: The CADE ATP System Competition
  CoCo: The 4th Confluence Competition
  termCOMP: Termination Competition
* POSTER EVENT
  EPS: The CADE-25 Taskforce towards an Encyclopedia of Proof Systems
* ORGANIZERS:
  Conference Chair:
      Christoph Benzmueller (Freie Universitat Berlin)
  Program Committee Co-Chairs:
      Amy Felty (University of Ottawa)
      Aart Middeldorp (University of Innsbruck)
  Workshop, Tutorial, and Competition Co-Chairs:
      Jasmin Blanchette (Technische Universitat Muenchen
      Andrew Reynolds (EPFL Lausanne)
  Publicity and Web Chair:
      Julian Roder (Freie Universitat Berlin)



11TH WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM 2015)
  Call for Papers
  October 28, 2015, Cali - Colombia
  http://dcm-workshop.org.uk/2015/
  Satellite event of ICTAC 2015 (http://www.ictac2015.co)
* AIM
  The DCM workshop aims to bring together researchers who are currently
  developing new computational models or new features for traditional
  computational models, in order to foster their interaction, to provide
  a forum for presenting new ideas and work in progress, and to enable
  newcomers to learn about current activities in this area.
* TOPICS OF INTEREST
  Topics of interest include all abstract models of computation and
  their applications to the development of programming languages and
  systems. This includes (but is not limited to):
  - Functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
  - Quantum computation, including implementations and formal methods in
  quantum protocols;
  - Probabilistic computation and verification in modelling situations;
  - Chemical, biological and bio-inspired computation, including spatial models,
  self-assembly, growth models;
  - Models of concurrency, including the treatment of mobility, trust, and security;
  - Infinitary models of computation;
  - Information-theoretic ideas in computing.
* IMPORTANT DATES
  - Submission Deadline for Extended Abstracts (5 pages): 3 Aug 2015
  - Notification:13 Sep 2015;
  - Pre-proceedings version due: 5 Oct 2015
  - Workshop: 28 Oct 2015
  - Deadline for EPTCS Proceedings : 7 Dec 2015
* CHAIRS
  - Cesar Munoz, NASA (USA)
  - Jorge A. Perez, University of Groningen (NL)



13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015
  Call for participation
  October 12-15, 2015, Shanghai, China
  Early registration deadline: August 15, 2015
  http://atva2015.ios.ac.cn/
* CONTEXT
  ATVA promotes research on theoretical and practical aspects of automated
  analysis, verification and synthesis by providing a forum for interaction
  between the regional and the international research communities and
  industry in the field. The conference will be held at East China Normal
  University (old campus) in Shanghai.
* KEYNOTES and TUTORIALS
  Dino Distefano (Facebook and Queen Mary University of London, UK)
  Martin FrŠnzle (Carl von Ossietzky UniversitŠt, Oldenburg, Germany)
  Joost-Pieter Katoen (RWTH Aachen University, Germany)
  J Strother Moore (University of Texas-Austin, USA)
* REGISTRATION
  Registration is open now.
  Early registration deadline: August 15, 2015
  For details see http://atva2015.ios.ac.cn/participation.html#registration
* GENERAL CHAIR
  Jifeng He (East China Normal University, China)
* PROGRAMME CHAIRS
  Bernd Finkbeiner (Saarland University, Germany)
  Geguang Pu (East China Normal University, China)
  Lijun Zhang (Institute of Software, Chinese Academy of Sciences)
* WORKSHOP CHAIR
  Jun Sun (Singapore University of Technology and Design, SG)



2ND AUTUMN SCHOOL ON AUTOMATIC ANALYSIS AND VERIFICATION OF COMPLEX SYSTEMS
  Call for Participation
  September 30 to October 2, 2015
  Oldenburg, Germany
  http://www.avacs.org/autumn2015
* AIMS
  "Automatic Verification and Analysis of Complex Systems" is an autumn
  school focussing on automated formal methods in computer science and
  their application to the analysis and verification of complex embedded
  systems. Targeting primarily PhD students and young researchers with
  an interest in safety-critical embedded systems, the technical program
  comprises talks from 12 specialists in the field of automated formal
  methods, covering the range from hard real-time systems over hybrid
  systems to dynamically restructuring systems of systems.
* LECTURERS
  Overview:
  - Werner Damm (Carl von Ossietzky Universitat Oldenburg, D)
  Hybrid Systems:
  - Goran Frehse (Universite Joseph Fourier Grenoble, F)
  - Andre Platzer (Carnegie Mellon University, PA, USA)
  - Thomas Sturm (Max-Planck-Institut fur Informatik, D)
  Real-Time:
  - Kim G. Larsen (Aalborg Universitet, DK)
  - Ernst-Rudiger Olderog (Carl von Ossietzky Universitat Oldenburg, D)
  - Andrey Rybalchenko (Microsoft Research, UK)
  - Mani Swaminathan (Carl von Ossietzky Universitat Oldenburg, D)
  Systems of Systems:
  - Paolo Marin (Albert-Ludwigs-Universitat Freiburg, D)
  - David Parker (University of Birmingham, UK)
  - Sven Schewe (University of Liverpool, UK)
  - Ralf Wimmer (Albert-Ludwigs-Universitat Freiburg, D)
* VENUE AND REGISTRATION
  The autumn school will be held at the Carl von Ossietzky University
  Oldenburg.  Please see the autumn school's website
  www.avacs.org/autumn2015 for detailed information.
  Inquiries can be addressed to the local organizers Martin Franzle,
  Thomas Scheidsteger, and Jurgen Niehaus via email: autumn2015@avacs.org .



GEORGE BOOLE MATHEMATICAL SCIENCES CONFERENCE (GBMSC 2015)
  Call for Participation
  17-25 August 2015
  Cork, Ireland
  http://booleconferences.ucc.ie/gbmsc2015
* CONTEXT
  As part of the celebrations of Boole's bicentenary, the George Boole
  Mathematical Sciences (GBMS) Conference (including Domains XII) will be
  held in University College Cork (UCC) during the last two weeks of
  August 2015. George Boole (1815-1864) was the first professor of
  mathematics at Cork. Boole's efforts to mathematize logical thinking
  caused a lasting paradigm shift in the 19th century which enlarged the
  scope and potency of modern mathematics, and provided a wealth of ideas
  for applications in diverse scientific areas resulting in ground-breaking
  innovations during the 20th century and beyond. This event will include
  100-150 lectures on selected areas:
  - Theme 1: Boole and Beyond in Quantum Information Theory
  - Theme 2: From Boole's Algebra of Logic to Boolean Algebra, and Beyond
  - Theme 3: Complex and Boolean NetworksGeometry and Visualization
  - Theme 4: Geometry and Visualization
  - Theme 5: Harmonic Analysis
  - Theme 6: Invariants from Moduli Spaces
  - Theme 7: Mathematical Financial Modelling Post-Crisis
  - Theme 8: Quantum Probabilistic Symmetries and Quantized Boolean Algebras
  The following events are embedded in and associated with the conference:
  - 2015 Annual Meeting of the Irish Mathematical Society (IMS)
  - Domains XII
  - When Boole Meets Shannon



14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA'15)
  Call for papers for the Special Session on ŇFormal Modeling for Machine Learning TechniquesÓ
  December 9-11, 2015
  Miami, Florida, USA
  Submission deadline: August 31, 2015
  http://www.icmla-conference.org/icmla15/files/Special%20Session%20proposal%20Formal%20Methods.pdf
* AIMS
  This special session invites submissions from those working in areas of
  formal modeling and verification of machine learning algorithms, systems
  and applications. This special session seeks original practical and
  theoretical research papers including but not limited to the following topics:
  Petri nets for Machine Learning, knowledge management, brokering & directory
  services, relaxed transactions and workflows, concurrent O-O & actor
  programming, mobile computing, business process management, information
  retrieval, filtering & browsing, resource discovery, Predictive modeling
  and optimization, Pattern recognition and classification, Event recognition
  Regression and Forecasting, Models of Data and Measurements, Feature
  Selection, Soft Computing, Learning Theory.



BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2015
  Call for Participation
  Middlesex University, Hendon, London, UK, 14th-18th September 2015
  http://www.cs.mdx.ac.uk/foundations/bctcs2015/
* AIMS
  The purpose of BCTCS is to provide a forum in which researchers in
  theoretical computer science can meet, present research findings, and
  discuss developments in the field. It also aims to provide an
  environment in which PhD students can gain experience in presenting
  their work, and benefit from contact with established researchers.
  The scope of the colloquium includes all aspects of theoretical
  computer science, including automata theory, algorithms, complexity
  theory, semantics, formal methods, concurrency, types, languages and
  logics. Both computer scientists and mathematicians are welcome to
  attend, as are participants from outside of the UK.
* INVITED SPEAKERS
  The invited speakers currently include the following:
  Samson Abramsky, Oxford University, UK.
  Timothy Gowers, Cambridge University (tbc).
  Tony Hoare, Microsoft Research.
  Thomas Hales, University of Pittsburgh, USA, (LMS Keynote).
  Per Martin-Lof, Stockholm University, Sweden.
  Joseph Sifakis, University of Grenoble, France.
* ASSOCIATED EVENTS
  Associated with the meeting, on Thursday 17th September, is the
  London Mathematical Society (LMS) Algorithms & Cryptography Day.
  The LMS meeting on Thursday also has eminent speakers.
  Lance Fortnow, Georgia Tech, USA.
  Shafi Goldwasser, MIT, USA.
  Jon Kleinberg, Cornell University, USA.
  Mike Paterson, University of Warwick.
  Adi Shamir, Weizmann Institute, Israel (tbc).
  Nigel Smart, University of Bristol.
* REGISTRATION
  Registration is now open from the following link:
  http://www.onlinestore.mdx.ac.uk/browse/extra_info.asp?compid=1&modid=5&dep
  tid=56&catid=93&prodid=643&coursedate=692
  The deadline for registration is 14th August.



HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2015)
  Call for Participation
  Prague, 15-18 September 2015
  http://highlights-conference.org
* AIMS
  HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games
  and Automata which aims at integrating the community working in these
  fields. A visit to Highlights conference should offer a wide picture
  of the latest research in the area and a chance to meet everybody in
  the field, not just those who happen to publish in one particular
  proceedings volume. The participants present their best work, be it
  published elsewhere or yet unpublished.
* INVITED SPEAKERS
  Christel Baier
  Thomas Colcombet
  Giuseppe De Giacomo
  Philippe Schnoebelen
  The program is further enriched by a special Mathematical Colloquia
  talk by Moshe Vardi that takes place in Karolinum, the historical
  seat of the Charles University in Prague.
* DATES
  The conference is three days long (Sept. 16-18) and it is preceeded
  by the Highlights tutorial day (Sept. 15). The contributed talks are
  around ten minutes.
* REGISTRATION
  The registration form and detailed information about Highlights 2015
  are available at http://highlights-conference.org. There is a
  small registration fee of 80 Euro which includes lunches and conference
  dinner. Although the deadline for early registration already elapsed, the
  organizers still offer several cheap rooms close to the conference
  venue (the available capacity is almost booked, so this option remains
  open only for a very limited period of time). All potential
  participants are recommended to register as soon as possible.



15TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2015)
  Call for Participation
  Vienna, Austria, September 22-25, 2015
  http://rv2015.conf.tuwien.ac.at/
* OVERVIEW
  Runtime verification is concerned with monitoring and analysis of software
  and hardware system executions. Runtime verification techniques are important
  for system correctness, reliability, and robustness; they are complementary
  to conventional testing, and more practical than exhaustive formal
  verification. Topics of interest to the conference include:
  - specification languages
  - specification mining
  - program instrumentation
  - monitor construction techniques
  - logging, recording, and replay
  - fault detection, localization, containment, recovery and repair
  - program steering and adaptation
  - metrics and statistical information gathering
  - combination of static and dynamic analyses
  - program execution visualization
  - monitoring techniques for safety/mission-critical systems
  - monitoring distributed systems, cloud services, and big data applications
  - monitoring security and privacy policies
* INVITED TALKS
  - Patrice Godefroid, Microsoft Research, USA
  - Sriram Sankaranarayanan, University of Colorado Boulder, USA
  - Georg Weissenbacher, Vienna University of Technology, Austria
* TUTORIALS
  - M. Isberner, B. Steffen, F. Howar
  - P. Daian, Y. Falcone, P. Meredith, T. F. Serbanuta, S. Shiriashi, A. Iwai, G. Rosu
  - D. Nickovic
  - L. Bortolussi, D. Milos, G. Sanguinetti
* REGISTRATION
  Full details available at the registration link:
  http://rv2015.conf.tuwien.ac.at/?page_id=522
* CHAIRS AND ORGANIZERS
  General Chair: Radu Grosu (Vienna University of Technology, Austria).
  PC co-Chairs:
  - Ezio Bartocci (Vienna University of Technology, Austria)
  - Rupak Majumdar (Max Planck Institute, Germany)
  Tools Track Chair: Dejan Nickovic (Austrian Institute of Technology, Austria)
  Runtime Monitoring Competition Co-Chairs:
  - Ylies Falcone (Universite Joseph Fourier, France)
  - Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria)
  - Giles Reger (University of Manchester, UK)
  - Daniel Thoma (University of Luebeck, Germany)



13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
  Call for Participation
  Lexington, KY, USA, September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
* REGISTRATION: Registration procedure is available via
  http://www.cs.uky.edu/lpnmr2015/.
  EARLY REGISTRATION CLOSES SOON
* AIMS:
  LPNMR 2015 is the thirteenth in the series of international meetings on
  logic programming and non-monotonic reasoning. LPNMR is a forum for
  exchanging ideas on declarative logic programming, non-monotonic reasoning,
  and  knowledge representation.
* The program will include three invited talks:
  - Stable Models for Temporal Theories - By Pedro Cabalar, University of
    Corunna, Spain
  - Algorithmic decision theory meets logic - By Jerome Lang, Universite
    Paris-Dauphine, France (Plenary session with ADT 2015).
  - Relational and Semantic Data Mining - By Nada Lavrac, Jozef Stefan
    Institute and University of Nova Gorica, Slovenia
* ASSOCIATED EVENTS
  This edition of LPNMR will also feature several workshops, a special session
  dedicated to the 6th ASP Systems Competition, and will be collocated with the
  4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral
  Consortium will be a part of the program.
  Currently planned workshops
  include:
  - Grounding, Transforming, and Modularizing Theories with Variables
    Organizers: Marc Denecker, Tomi Janhunen
    Website: https://sites.google.com/site/gttv2015/
  - Action Languages, Process Modeling, and Policy Reasoning
    Organizer: Joohyung Lee, Gail-Joon Ahn
    Website: https://sites.google.com/site/alpp2015/
  - Natural Language Processing and Automated Reasoning
    Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
    Website: https://sites.google.com/site/nlpar2015/
  - Learning and Nonmonotonic Reasoning
    Organizers: Alessandra Russo and Alessandra Mileo
    Website: http://lnmr2015.insight-centre.org/
  Full info are  available via the official conference website
  http://lpnmr2015.mat.unical.it/.
* GENERAL CHAIR: Victor Marek, University of Kentucky, KY, USA
* PROGRAM CHAIRS
  Giovambattista Ianni, University of Calabria, Italy
  Mirek Truszczynski, University of Kentucky, KY, USA
* WORKSHOPS CHAIR
  Yuliya Lierler, University of Nebrska at Omaha, NE, USA
* NEW INFORMATION ABOUT STUDENT SUPPORT GRANTS
  The organizing committee has limited funds to partially support students
  attending LPNMR, with priority to authors of accepted papers that are not
  funded by the doctoral consortium and have no other funding available.



5TH INTERNATIONAL ABZ 2014 CONFERENCE (ASM, Alloy, B, TLA, VDM, Z)
  Call for Papers, Answers to the case study, Workshops, Tutorials
  May 23-27, 2016
  Linz, Austria
  http://www.cdcc.faw.jku.at/ABZ2016/
* The ABZ conference is dedicated to the cross-fertilization of six related
  state-based and machine-based formal methods, Abstract State Machines (ASM),
  Alloy, B, TLA, VDM and Z. Contributions are solicited on all aspects of the
  theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in
  software/hardware engineering, including the development of tools and
  industrial applications.
* Types of submission:
  -- Research papers: full papers of not more than 14 pages in LNCS format,
  which have to be original, unpublished and not submitted elsewhere.
  -- Short presentations of work in progress, and tool demonstrations. An
  extended abstract of not more than 4 pages is expected and will be reviewed.
  -- Answers to case study papers: full papers of not more than 14 pages in
  LNCS format reporting on the experiments conducted with any of the state
  based techniques in the scope of ABZ 2014.
  -- Application in industry papers reporting on work or experiences on the
  application of state based formal methods in industry. An extended abstract
  of not more than 4 pages is expected and will be reviewed.
* Submission site: https://easychair.org/conferences/?conf=abz2016
* Important Dates:
  Workshop proposal submission: October 16, 2015
  Research paper, Answers to case study submission: January 15, 2016
  Short and industry paper submission: February 4, 2016
  Tutorial proposal submissions: February 15, 2016
  Tutorial proposal notifications: March 14, 2016
* Detailed information can be found on the conference website
* Contact: Klaus-Dieter SCHEWE (klaus-dieter.schewe@scch.at)



SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY
* April-June 2016
* Chebyshev Laboratory at St.Petersburg State University
  Organized jointly with the Skolkovo Institute of Science and Technology.
* Events include a WORKSHOP ON PROOF COMPLEXITY, May 17-20, 2016, St. Petersburg,
  organized by Sam Buss and Pavel Pudlak, keynote speaker Jan Krajicek;
  and a WORKSHOP ON LOW-DEPTH COMPLEXITY, May 23-25, 2016, St. Petersburg,
  organized by Ben Rossman and Rahul Santhanam, keynote speaker Ryan Williams.
* Short courses will be held before each workshop.
* Graduate student, postdocs and other researchers may apply for funding for
  both short or extended visits throughout the semester.
* To inquire about participation, or apply for funding, please fill out the
  form on the web page or email the organizers directly.
* Web page: http://en.chebyshev.spb.ru/complexity2016.
* Organizers: Sam Buss and Edward A. Hirsch.



FULLY FUNDED PHD POSITION AT THE AUSTRALIAN NATIONAL UNIVERSITY.
  Applications are invited for a fully funded PhD position in the
  Logic and Computation Group (http://logic.cecs.anu.edu.au/)
  at the Australian National University.
  Project:                  Trustworthy Electronic Voting
  Supervisors:              Dirk Pattinson and Rajeev Gore
  Starting:                 December 2015
  Contact:                  Dirk Pattinson (dirk.pattinson@anu.edu.au)
  Deadline:                 August 15, 2015
* PROJECT SUMMARY
  Verifiable vote counting is one of the cornerstones of a trustworthy
  electronic voting system. Correctness and trust can be achieved by
  understanding voting protocols, specified textually in legislation, as
  formal rules. Vote counting can then be cast as successive rule
  application, where the sequence of rule application serves as an
  independently verifiable certificate attesting to the correctness of
  the count. The project offers a wide range of activities, ranging
  from foundations, rule design, efficiency considerations to concrete
  case studies. The project seeks to further investigate this idea and
  apply it to real-world voting systems and mainly deals with the
  following aspects:
  - generation of provably correct vote counting functions from rules
  - efficiency of rule-based vote counting and certificate checking
  - formal proofs of meta-properties of voting protocols
  - case studies with real-world voting protocol
  - minimising the gap between formal rules and legal specification



PHD POSITIONS AT THE UNIVERSITY OF PISA
  We would like to announce that the call for 12 grants plus 4 positions
  without bursary, at the PhD in Computer Science of the University of Pisa,
  is now available at: http://dottorato.unipi.it/index.php/en
  The deadline for applications is 3 September 2015, and the selection will
  be made on CV, reference letters and an interview, also via teleconferencing
  (check *carefully* the relevant fields required). For further details
  please preferably contact Mrs Rosaria Mongini 
  or otherwise the chairman of the PhD Programme
  Prof. Pierpaolo Degano 




Back to the LICS web page.