Newsletter 165
December  1, 2014

*******************************************************************
* 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
* LICS-RELATED NEWS
  LICS'15 Preview
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  CiE 2015 - Call for Papers
  LICS 2015 - Call for Papers
  CAV 2015 - Call for Papers and CAV Award
  TTL 2015 - Call for Papers
  CCC 2014 POSTPROCEEDINGS - Call for Submissions
  GOEDEL PRIZE 2015 - Call for Nominations
  TACL 2015 - Call for School/Conference Participation and Papers
  MFPS XXXI - Call for Papers
  LPNMR 2015 - Preliminary Call for Papers
  ATVA 2015 - Call for Papers
  SETTA 2015 - Call for Papers
* JOB ANNOUNCEMENTS
  Two PhD positions in Information Security at ETH Zurich
  New Doctoral Program on Logical Methods in Computer Science (LogiCS)
  Postdoc Positions on Coinductive Techniques and Probabilistic Models at Bologna and Lyon
  Tenure-Track Positions at Universite du Quebec a Montreal, Canada
* BOOK ANNOUNCEMENT
  Logic, Computation, Hierarchies (Festschrift in honour of Victor L. Selivanov)


LICS'15 PREVIEW
  http://lics.rwth-aachen.de/lics15/
* LICS'15 will colocate with ICALP 2015, 6-10 July, in Kyoto. Masahito Hasegawa
  (RIMS, Kyoto) is the Conference Chair. The PC is chaired by Catuscia
  Palamidessi. There will be 4 invited talks, 2 of which joint with ICALP
  Track B. The 2 invited tutorial talks of 1.5 hours each will be embedded
  in the main programme. The first call for papers is available at
  http://lics.rwth-aachen.de/lics15/.



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 will be the flagship
  conference of SIGLOG. SIGLOG will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter will be 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).



DEADLINES
* CiE 2015
  Submission Deadline for LNCS: January 11, 2015
  http://fmi.unibuc.ro/CiE2015/
* LICS 2015
  Title and Short Abstracts Due: January 12, 2015
  Extended Abstracts Due: January 19, 2015
  http://lics.rwth-aachen.de/lics15/
* CAV 2015
  Abstract submission: January 30, 2015
  Paper submission (firm): February 6 2015
  http://i-cav.org/2015/
* TTL 2015
  Paper submission: January 30, 2015
  http://ttl2015.irisa.fr/
* CCC 2014 POSTPROCEEDINGS
  Submission deadline: January 31, 2015
* GOEDEL PRIZE 2015
  Deadline for nominations: January 31, 2015
  http://www.sigact.org/Prizes/Godel/
* TACL 2015
  Submission deadline (tentative): February 1, 2015
  http://logica.dmi.unisa.it/tacl/
* MFPS XXXI
  Submission deadline: April 3, 2015
  http://events.cs.bham.ac.uk/mfps31/
* LPNMR 2015
  Paper registration: April 13, 2015
  Paper submission:   April 20, 2015
  http://lpnmr2015.mat.unical.it/
* ATVA 2015
  Abstract submission: April 22, 2015
  Paper submission: April 25, 2015
  Workshop proposal submission: May 5, 2015
  http://atva2015.ios.ac.cn/
* SETTA 2015
  Abstract deadline: June 12,2015
  Paper submission: June 19,2015
  http://cs.nju.edu.cn/setta/



COMPUTABILITY IN EUROPE 2015: Evolving Computability
  Call for Papers
  June 29 - July 3, Bucharest, Romania
  http://fmi.unibuc.ro/CiE2015/
* CiE 2015 is the 11-th conference organized by CiE (Computability in Europe),
  a European  association of mathematicians, logicians, computer scientists,
  philosophers, physicists  and others interested in new developments in
  computability and their underlying significance  for the real world.
  Evolution of the universe, and us within it, invite a parallel evolution
  in understanding. The CiE agenda - fundamental and engaged - targets the
  extracting and developing of computational models basic to current challenges.
  From the origins of life, to the understanding of human mentality, to the
  characterizing of quantum randomness - computability theoretic questions
  arise in many guises. The CiE community, this coming year meeting for the
  first time in Bucharest, carries forward the search for coherence, depth
  and new thinking across this rich and vital field of research.
* We are looking for fundamental and theoretical submissions. In line with
  other conferences in this series, CiE 2015 has a broad scope and provides
  a forum for the discussion of theoretical and practical issues in
  Computability with an emphasis on new paradigms of computation and the
  development of their mathematical theory. We particularly invite papers
  that build bridges between different parts of the research community.
* Submission Deadline for LNCS: 11 January 2015
  Notification of authors: 9 March 2015
  Deadline for final revisions: 6 April 2015
  For submission instructions consult http://fmi.unibuc.ro/CiE2015/submission.html



30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2015)
  Call for Papers
  July 6-10, 2015
  Kyoto, Japan
  http://lics.rwth-aachen.de/lics15/
  (colocated with ICALP 2015)
* AIMS
  The LICS Symposium is an annual international forum on theoretical and
  practical topics in computer science that relate to logic, broadly construed.
  We invite submissions on topics that fit under that rubric. Suggested,
  but not exclusive, topics of interest include: automata theory, automated
  deduction, categorical models and logics, concurrency and distributed
  computation, constraint programming, constructive mathematics, database
  theory, decision procedures, description logics, domain theory, finite model
  theory, formal aspects of program analysis, formal methods, foundations of
  computability, higher-order logic, lambda and combinatory calculi, linear
  logic, logic in artificial intelligence, logic programming, logical aspects
  of bioinformatics, logical aspects of computational complexity, logical
  aspects of quantum computation, logical frameworks, logics of programs,
  modal and temporal logics, model checking, probabilistic systems, process
  calculi, programming language semantics, proof theory, real-time systems,
  reasoning about security and privacy, rewriting, type systems and type theory,
  and verification.
* INSTRUCTIONS
  Authors are required to submit a paper title and a short abstract of about
  100 words in advance of submitting the extended abstract of the paper.
  The exact deadline time on these dates is given by anywhere on earth (AoE).
  - Title and Short Abstracts Due: January 12, 2015
  - Extended Abstracts Due: January 19, 2015
  - Author Feedback/Rebuttal Period: March 12-16, 2015
  - Author Notification: March 30, 2015
  - Final Versions Due for Proceedings: April 27, 2015
  Deadlines are firm; late submissions will not be considered. All submissions
  will be electronic via https://www.easychair.org/conferences/?conf=lics2015.
  Every extended abstract must be submitted in the IEEE Proceedings 2-column
  10pt format and may not be longer than 12 pages, including references.
  LaTeX style files are available from the website.
* CONFERENCE CHAIR
  Masahito Hasegawa, RIMS, Kyoto U.
* PROGRAM COMMITTEE CHAIR
  Catuscia Palamidessi, INRIA & E. Polytechnique
* WORKSHOP CHAIR
  Patricia Bouyer-Decitre, CNRS & ENS Cachan
* GENERAL CHAIR
  Luke Ong, U. Oxford
* SHORT PRESENTATIONS
  A session of short presentations, intended for descriptions of student
  research, works in progress, and other brief communications, is planned.
  These abstracts will not be published. Dates and guidelines will be posted
  on the conference website.
* KLEENE AWARD FOR BEST STUDENT PAPER
  An award in honor of the late Stephen C. Kleene will be given for the best
  student paper(s), as judged by the program committee.
* SPECIAL ISSUES
  Full versions of up to three accepted papers, to be selected by the program
  committee, will be invited for submission to the Journal of the ACM.
  Additional selected papers will be invited to a special issue of Logical
  Methods in Computer Science.
* SPONSORSHIP
  The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee
  on Mathematical Foundations of Computing, in cooperation with the Association
  for Symbolic Logic and the European Association for Theoretical Computer Science.



27TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV 2015)
  Call for Papers and CAV Award
  July 18-24 2015, San Francisco, California
  http://i-cav.org/2015/
* AIMS AND SCOPE
  CAV 2015 is the 27th in a series dedicated to the advancement of the
  theory and practice of computer-aided formal analysis methods for
  hardware and software systems.  CAV considers it vital to continue
  spurring advances in hardware and software verification while expanding
  to new domains such as biological systems and computer security. 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. The
  proceedings of the conference will be published in the Springer LNCS
  series. A selection of papers will be invited to a special issue of
  Formal Methods in System Design and the Journal of the ACM.
* TOPICS
  - Topics of interest include but are not limited to:
  - Algorithms and tools for verifying models and implementations
  - Hardware verification techniques
  - Deductive, compositional, and abstraction techniques for verification
  - Program analysis and software verification
  - Verification methods for parallel and concurrent hardware/software systems
  - Testing and run-time analysis based on verification technology
  - Applications and case studies in verification
  - Decision procedures and solvers for verification
  - Mathematical and logical foundations of practical verification tools
  - Verification in industrial practice
  - Algorithms and tools for system synthesis
  - Hybrid systems and embedded systems verification
  - Verification techniques for security
  - Formal models and methods for biological systems
* DEADLINES
  Abstract submission: January 30 2015
  Paper submission (firm): February 6 2015
  Author feedback/rebuttal period: March 23-26 2015
  Notification of acceptance/rejection: April 17 2015
  Final version due: May 1 2015
* CALL FOR CAV AWARD NOMINATIONS
  The CAV award is given annually at the CAV conference for fundamental
  contributions to the field of Computer-Aided Verification. The award comes
  with a cash prize of US$10,000 shared equally among recipients. Nominations
  should be submitted by e-mail to a member of the CAV Award committee.
* PC CHAIRS
  Daniel Kroening, University of Oxford, UK.
  Corina Pasareanu, Carnegie Mellon Silicon Valley/NASA Ames, USA.
* WORKSHOP CHAIR
  Dirk Beyer, University of Passau, Germany
* LOCAL ORGANIZATION CHAIR
  Temesghen Kahsai, Carnegie Mellon Silicon Valley/NASA Ames, USA.
* CAV AWARD COMMITTEE
  Moshe Vardi (Chair) Rice University
  Ahmed Bouajjani Univ. Paris Diderot (Paris 7)
  Tom Ball , Microsoft Research
  Kim G. Larsen, Aalborg University



TTL 2015 - 4th INT'L CONF ON TOOLS FOR TEACHING LOGIC
  2nd Call for Papers
  June 9-12, 2015, Rennes, France
  http://ttl2015.irisa.fr/
* TOPICS
  Topics that fit the interests of Tools for Teaching Logic include
  (but are not limited to): teaching logic in sciences and humanities;
  teaching logic at different levels of instruction (secondary
  education, university level, and postgraduate); didactic software;
  facing some difficulties concerning what to teach; international
  postgraduate programs; resources and challenges for e-Learning Logic;
  teaching Argumentation Theory, Critical Thinking and Informal Logic;
  teaching specific topics, such as Modal Logic, Algebraic Logic,
  Knowledge Representation, Model Theory, Philosophy of Logic, and
  others; dissemination of logic courseware and logic textbooks;
  teaching Logic Thinking.
* IMPORTANT DATES
  Paper submission: 30 Jan 2015;
  Notification: 1 Mar 2015;
  Final camera-ready due: 29 Mar 2015



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2014 POSTPROCEEDINGS
  Call for Submissions
* After a further year of successful work in the EU-IRSES project COMPUTAL and
  an excellent workshop in Ljubljana (Slovenia) in September this year, we are
  planning to publish a collection of papers dedicated to the meeting and the
  project in the JOURNAL OF LOGIC AND ANALYSIS. The issue should reflect
  progress made in Computable Analysis and related areas, not only work in
  the project. Submissions are welcome from all scientists and should be on
  topics in the spectrum from logic to algorithms including, but not limited to,
  - Computable analysis
  - Complexity of real number computations
  - Computing with continuous data
  - Domain theory and analysis
  - Randomness and computable measure theory
  - Models of computation with real numbers
  - Realizability theory and analysis
  - Reverse analysis
  - Exact real number computation
  - Program extraction in analysis.
* EDITORS
  Andrej Bauer (Ljubljana, Slovenia)
  Ulrich Berger (Swansea, UK)
  Willem FouchE (Pretoria, South Africa)
  Dieter Spreen (Siegen, Germany & Pretoria, South Africa)
  Hideki Tsuiki (Kyoto, Japan)
  Martin Ziegler (Darmstadt, Germany)
* DEADLINE FOR SUBMISSION:
  31 January 2015
  Please prepare your manuscript using the JLA class file jlogana.cls and
  the bibliography style file jloganal.bst which can be downloaded from
  http://logicandanalysis.org/latex/latexinstructions.html
  For submissions go to the JLA webpage
  http://logicandanalysis.org/index.php/jla/information/authors
  and follow the instructions given there. In addition, important,
  When submitting to JLA, write CCC2014 POSTPROCEEDINGS in the
  Comments-for-the-Editor box. Send a separate copy of your submission to
  spreen@math.uni-siegen.de. And, if appropriate, identify one or more members
  of the Issue Editors mentioned above whose interests are closest to the
  subject matter of the paper in the mail.



23RD GOEDEL PRIZE
  Call for Nominations
  http://www.sigact.org/Prizes/Godel/
* The Goedel Prize for outstanding papers in the area of theoretical computer
  science is sponsored jointly by the European Association for Theoretical
  Computer Science (EATCS) and the Association for Computing Machinery,
  Special Interest Group on Algorithms and Computation Theory (ACM SIGACT).
  The award is presented annually, with the presentation taking place
  alternately at the International Colloquium on Automata, Languages, and
  Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC).
  The 23rd Goedel Prize will be awarded at the 47th ACM Symposium on Theory
  of Computing, June, 2015 in Portland, Oregon.
  The Prize is named in honor of Kurt Gödel in recognition of his major
  contributions to mathematical logic and of his interest, discovered in a
  letter he wrote to John von Neumann shortly before von Neumann’s death,
  in what has become the famous “P versus NP” question. The Prize includes
  an award of USD 5000.
* AWARD COMMITEE
  The winner of the Prize is selected by a committee of six members. The EATCS
  President and the SIGACT Chair each appoint three members to the committee,
  to serve staggered three-year terms. The committee is chaired alternately by
  representatives of EATCS and SIGACT. The 2015 Award Committee consists of
  Krzysztof Apt (CWI Amsterdam), Kurt Mehlhorn (Max Planck Institute),
  Joseph Mitchell (State University of New York at Stony Brook), Andrew Pitts
  (University of Cambridge), Madhu Sudan (Microsoft) and Éva Tardos
  (Cornell University).
* ELIGIBILITY
  The rules for the 2015 Prize are given below and they supersede any
  different interpretation of the generic rule to be found on websites of
  both SIGACT and EATCS. Any research paper or series of papers by a single
  author or by a team of authors is deemed eligible if
  (i) the paper was published in a recognized refereed journal no later than
  December 31, 2014;
  (ii)	the main results were not published (in either preliminary or final
  form) in a journal or conference proceedings before January 1st, 2002.
  The research work nominated for the award should be in the area of
  theoretical computer science. The term “theoretical computer science”
  is meant to encompass, but is not restricted to, research areas covered by
  ICALP and STOC. Nominations are encouraged from the broadest spectrum of
  the theoretical computer science community so as to ensure that potential
  award winning papers are not overlooked. The Award Committee shall have
  the ultimate authority to decide whether a particular paper is eligible for
  the Prize.
* NOMINATIONS
  Nominations for the award should be submitted by email to the Award Committee
  Chair Eva Tardos: eva.tardos@cornell.edu. Please make sure that the Subject
  line of all nominations and related messages begin with Goedel Prize 2015.
  To be considered, nominations for the 2015 Prize must be received by
  January 31, 2015.
* MORE DETAILS
  http://www.sigact.org/Prizes/Godel/



TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL 2015)
  Conference and School
  Call for Participation
  School: 15 - 19 June 2015, University of Salerno (Italy)
  Conference: 21 - 26 June 2015, Ischia Island (Italy)
  http://logica.dmi.unisa.it/tacl/
* The programme of the conference TACL 2015 will focus on three
  interconnecting mathematical themes central to the semantic study of
  logics and their applications: algebraic, categorical, and topological
  methods. This is the seventh conference in the series Topology,
  Algebra, and Categories in Logic (TACL). Earlier instalments of this
  conference have been organised in Tbilisi (2003), Barcelona (2005),
  Oxford (2007), Amsterdam (2009), Marseilles (2011), and Nashville
  (2013). Starting from 2013, the conference is preceded by a one-week
  school.  This year the school will be held at the campus of the
  University of Salerno and will include four tutorials, each consisting
  of 1.5 hour lectures for five days.
* Please express you interest on the website
* TENTATIVE DATES
  Call for papers            15 November 2014
  Deadline for submissions   1 February 2015
  Notification of acceptance 15 March 2015
* Detailed information can be found on the webpage.



MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS XXXI (MFPS 2015)
  Call for Papers
  22-25 June 2015, Nijmegen, Netherlands
  http://events.cs.bham.ac.uk/mfps31/
* MFPS SERIES
  MFPS conferences are dedicated to the areas of mathematics, logic,
  and computer science that are related to models of computation in general,
  and to semantics of programming languages in particular. This is a forum
  where researchers in mathematics and computer science can meet
  and exchange ideas. The participation of researchers in neighbouring
  areas is strongly encouraged. This edition of MFPS will be co-located
  with CALCO.
* IMPORTANT DATES
  Submission: April 3, 2015
  Notification: May 15, 2015
  Final version: May 29, 2015
* INVITED SPEAKERS
  Andrew Pitts, Thierry Coquand, Paul B. Levy, Guy McCusker, Sam Staton
* INVITED TUTORIAL SPEAKERS
  Matija Pretnar, Andrzej Murawski, Martin Escardo
* SPECIAL SESSIONS
  algebraic effects, game semantics, homotopy type theory, quantitative
  semantics
* MORE INFO
  For more information please consult the web page.



13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
  Preliminary Call for Papers
  Lexington, KY, USA
  September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
  (Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
* AIMS AND SCOPE
  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 aim of the conference is to facilitate
  interactions between researchers and practitioners interested in the
  design and implementation of logic-based programming languages and
  database systems, and those working in knowledge representation and
  nonmonotonic reasoning. LPNMR strives to encompass theoretical and
  experimental studies that have led or will lead to the construction of
  systems for declarative programming and knowledge representation, as well
  as their use in practical applications. This edition of LPNMR will 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.
  Authors are invited to submit papers presenting original and unpublished
  research on all aspects of non-monotonic approaches in logic programming
  and knowledge representation. We invite submissions of both long and
  short papers.
* TOPICS
  Conference topics include, but are not limited to:
  1. Foundations of LPNMR Systems
  2. Implementation of LPNMR systems
  3. Applications of LPNMR
* SUBMISSION
  LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers
  (6 pages) in the following categories:
  - Technical papers
  - System descriptions
  - Application descriptions
  The indicated number of pages includes title page, references and
  figures. All submissions will be peer-reviewed and accepted papers will
  appear in the conference proceedings published in the Springer-Verlag
  Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
  author of each accepted paper is expected to register for the conference
  to present the work.
  The Program Committee chairs are planning to arrange for the best papers to
  be published in a special issue of a premiere journal in the field.
  LPNMR 2015 will not accept any paper which, at the time of submission, is
  under review or has already been published or accepted for publication in
  a journal or another conference. Authors are also required not to submit
  their papers elsewhere during LPNMR's review period. However, these
  restrictions do not apply to previous workshops with a limited audience
  and without archival proceedings.
* ASSOCIATED WORKSHOPS
  LPNMR 2015 will include specialized workshops to be held on September 27
  prior to the main conference. Currently planned workshops include:
  - Grounding, Transforming, and Modularizing Theories with Variables
    Organizers: Marc Denecker, Tomi Janhunen
  - Action Languages, Process Modeling, and Policy Reasoning
    Organizer: Joohyung Lee
  - Natural Language Processing and Automated Reasoning
    Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
  - Learning and Nonmonotonic Reasoning
    Organizers: Alessandra Russo and Alessandra Mileo
* IMPORTANT DATES (TENTATIVE)
  - Paper registration: April 13, 2015
  - Paper submission:   April 20, 2015
  - Notification:       June 1, 2015
  - Final versions due: June 15, 2015
* VENUE
  Lexington is a medium size, pleasant and quiet university town. It
  is located in the heart of the so-called Bluegrass Region in
  Central Kentucky. The city is surrounded by beautiful horse farms
  on green pastures dotted with ponds and traditional architecture
  stables, and small race tracks, and bordered by white or black
  fences. The Horse Museum is as beautifully located as it is
  interesting. Overall, the city has a nice feel that mixes well old
  and new. The conference will be held in the Hilton Lexington
  Downtown hotel.
* 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
* PUBLICITY CHAIR
  Francesco Calimeri, University of Calabria, Italy
* CONTACT
  lpnmr2015@mat.unical.it



13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2015)
  October 12-15, 2015
  Shanghai, China
  http://atva2015.ios.ac.cn/
* BACKGROUND
  The purpose of ATVA is to promote research on theoretical and practical
  aspects of automated analysis, verification and syn-thesis by providing
  a forum for interaction between the regional and the international research
  communities and industry in the field.
* SCOPE
  ATVA 2015 solicits high-quality submissions in areas related to the theory
  and practice of automated analysis and verification of hardware and software
  systems. Topics of interest include, but are not limited to:
  - Formalisms for modeling hardware, software and embedded systems
  - Specification and verification of finite-state, infinite-state and
    parameterized systems
  - Program analysis and software verification
  - Analysis and verification of hardware circuits, systems-on-chip and
    embedded systems
  - Analysis of real-time, hybrid, priced/weighted and probabilistic systems
  - Deductive, algorithmic, compositional, and abstraction refinement
    techniques for analysis and verification
  - Analytical techniques for safety, security, and dependability
  - Testing and runtime analysis based on verification technology
  - Analysis and verification of parallel and concurrent hardware/software systems
  - Verification in industrial practice
  - Applications and case studies
  Theory papers should preferably be motivated by practical problems, and
  applications should be based on sound theory and should solve problems of
  practical interest.
* IMPORTANT DATES
  April 22, 2015 Abstract submission deadline (AOE)
  April 25, 2015 Paper submission deadline (AOE)
  May 5, 2015 Submission of workshop proposals
  Jun 8, 2015 Paper acceptance/rejection notification
  Jun 10, 2015 Announcement of the accepted papers
  July 5, 2015 Camera-ready copy deadline
* 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)
* PUBLICITY CHAIRS
  David N. Jansen (Radboud Universiteit, Netherlands)
  Huibiao Zhu (East China Normal University, China)
* WORKSHOP CHAIR
  Jun Sun (National University of Singapore, SG)
* KEYNOTES
  Dino Distefano (Queen Mary, University of London, UK)
  Joost-Pieter Katoen (RWTH Aachen University, Germany)
  Jay Strother Moore (University of Texas-Austin, USA)



SYMPOSIUM ON DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS AND APPLICATIONS (SETTA 2015)
  Call for Papers
  November 4-6, 2015
  Nanjing University
  http://cs.nju.edu.cn/setta/
* BACKGROUND AND OBJECTIVES
  The aim of the symposium is to bring together international researchers
  and practitioners in the field of software technology. Its focus is on
  formal methods and advanced software technologies, especially for engineering
  complex, large-scale artefacts like cyber-physical systems, networks of
  things, enterprise systems, or cloud-based services. Contributions relating
  to formal methods or integrating them with software engineering, as well
  as papers advancing scalability or widening the scope of rigorous methods
  to new design goals are especially welcome. Being hosted in China, the
  symposium will also provide a platform for building up research
  collaborations between the rapidly growing Chinese computer science community
  and its international counterpart. The symposium will support this process
  through dedicated events and therefore welcomes both young researchers
  considering international collaboration in formal methods and established
  researchers looking for international cooperation and willing to attract
  new colleagues to the domain.
* SUBMISSIONS
  Authors are invited to submit papers on original research, industrial
  applications, or position papers proposing challenges in fundamental
  research and technology. The latter two types of submissions are expected
  to contribute to the development of formal methods either by substantiating
  the advantages of integrating formal methods into the development cycle or
  through delineating need for research by demonstrating weaknesses of existing
  technologies, especially when addressing new application domains.
  Submissions can take the form of either normal or short papers. Short papers
  can discuss ongoing research at an early stage, including PhD projects.
  Papers should be written in English. Regular Papers should not exceed 15
  pages and Short Papers should not exceed 6 pages in LNCS format
  (see http://www.springer.de/comp/lncs/authors.html for details).
  The proceedings will be published as a volume in Springer's LNCS series.
  The authors of a selected subset of accepted papers will be invited to
  submit extended versions of their papers to appear in a special issue of
  the Formal Aspect Computing journal.
* TOPICS
  - Requirements specification and analysis
  - Formalisms for modeling, design and implementation
  - Model checking, theorem proving, and decision procedures
  - Scalable approaches to formal system analysis
  - Formal approaches to simulation and testing
  - Integration of formal methods into software engineering practice
  - Contract-based engineering of components, systems, and systems of systems
  - Formal and engineering aspects of software evolution and maintenance
  - Parallel and multicore programming
  - Embedded, real-time, hybrid, and cyber-physical systems
  - Mixed-critical applications and systems
  - Formal aspects of service-oriented and cloud computing
  - Safety, reliability, robustness, and fault-tolerance
  - Empirical analysis techniques and integration with formal methods
  - Applications and industrial experience reports
  - Tool integration
* IMPORTANT DATES
  June 12,2015  Abstracts
  June 19,2015  Submission of papers
  August 21,2015  Notification to authors
  September 4,2015  Camera-ready versions
* KEYNOTE SPEAKERS
  Sanjoy Baruah, University of North Carolina at Chapel Hill, USA
  David Harel,   Weizmann Institute of Science, Israel
  Huimin Lin,    Institute of Software, CAS, China
* GENERAL CHAIR
  Jian Lv, Nanjing University, China
* PROGRAMME CO-CHAIRS
  Xuandong Li, Nanjing University, China
  Zhiming Liu, Birmingham City University, UK
  Yi Wang, Uppsala University, Sweden
* PUBLICITY CHAIRS
  Jonathan Bowen, Birmingham City University, UK
  Lijun Zhang, Institute of Software,Chinese Academy of Sciences, China
* PUBLICATION CHAIR
  Martin Fränzle, University of Oldenburg, Germany
* LOCAL ORGANIZATION CHAIR
  Xin Chen, Nanjing University, China



TWO PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH, SWITZERLAND
  http://www.infsec.ethz.ch/news/positions
* The Information Security group headed by Prof. David Basin at ETH
  Zurich has two open PhD positions in two projects:
  (1) Formalizing computational soundness for protocol implementations
  (2) Testing access control systems
* We are looking for enthusiastic outstanding researchers with a strong
  background and interest in one or more of the following areas:
  - formal methods or mathematical logic,
  - information security or cryptography,
  - (project 1) interactive theorem proving
    (project 2) software testing.
  Candidates with a strong theoretical background in related areas are
  also encouraged to apply. ETH Zurich regulations require PhD
  candidates to hold a Masters or equivalent degree (e.g. Diplom). The
  preferred starting date for both positions is as soon as possible, at
  the latest by the end of 2014.
* Contact: Andreas Lochbihler and Mohammad Torabi Dashti
  infsec.positions@inf.ethz.ch



NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)
  http://logic-cs.at/phd
* Funded Doctoral Positions in Computer Science
* TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
  motivated students for their joint doctoral program LogiCS. The LogiCS
  doctoral college focuses on interdisciplinary research topics covering
  (i) computational logic, and applications of logic to
  (ii) databases and artificial intelligence as well as to
  (iii) computer-aided verification.
* THE PROGRAM
  LogiCS is a doctoral college focusing on logic and its applications in
  computer science. Successful applicants will work with and be
  supervised by leading researchers in the fields of computational
  logic, databases and knowledge representation, and computer-aided
  verification.
* FACULTY MEMBERS
  M. Baaz     A. Biere  R. Bloem         A. Ciabattoni
  U. Egly     T. Eiter  C. Fermueller    R. Grosu
  A. Leitsch  M. Ortiz  R. Pichler       S. Szeider
  H. Tompits  H. Veith  G. Weissenbacher
* POSITIONS AND FUNDING
  We are looking for 1-2 doctoral students per faculty member, where 30%
  of the positions are reserved for highly qualified female
  candidates. The doctoral positions are funded for a period of 3 years
  according to the funding scheme of the Austrian Science Fund
  (details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html)
  The funding can be extended for one additional year contingent on a
  placement at one of our international partner institutions.
* HOW TO APPLY
  Detailed information about the application process is available on the
  LogiCS web-page http://logic-cs.at/phd/
  The applicants are expected to have completed an excellent diploma or
  master's degree in computer science, mathematics, or a related
  field. Candidates with comparable achievements will be considered on a
  case-by-case basis. Applications by the candidates need to be
  submitted electronically.
* Applications can be submitted at any time. Next screenings: December 1, 2014;
  March 1, 2015.
* HIGHEST QUALITY OF LIFE
  The Austrian cities Vienna, Graz, and Linz, located close to the Alps
  and surrounded by beautiful nature, provide an exceptionally high
  quality of life, with a vibrant cultural scene, numerous cultural
  events, world-famous historical sites, a large international
  community, a varied cuisine and famous coffee houses.
* For further information please contact: info@logic-cs.at



POSTDOC POSITIONS ON COINDUCTIVE TECHNIQUES AND PROBABILISTIC MODELS AT BOLOGNA AND LYON
* GENERAL
  We are seeking applicants for two 1-year post-doctoral research
  positions on the topic of coinductive techniques for probabilistic
  models, especially models based on the lambda-calculus or process
  calculi. The coinductive techniques are meant to be essentially
  techniques based on the concept of bisimulation.
* LOCATION
  The positions are offered at the University of Bologna (Italy), and at
  the Ecole Normale Superieure de Lyon (France), respectively. This work
  is in collaboration with the Inria Comete Team (France), and Shanghai
  Jiao Tong University (China), in the context of the project PACE:
  http://perso.ens-lyon.fr/daniel.hirschkoff/pace/
* CONDITIONS
  The monthly net salary is around 2100 Euros in both cases.
  The starting date for each postdoc can be negotiated, but should be
  between February and November 2015.
* REQUIREMENTS
  - Ph.D. in Computer Science (completed or near completion)
  - For the position in Bologna, most important is some research
    background on probabilistic models.
  Other useful background (for both positions) may be
  lambda-calculus, process calculi, type systems, coinductive
  methods, coalgebra, Kleene algebra.
* APPLICATION
  Please send a curriculum, a publication record and a statement of
  interest via e-mail to Ugo Dal Lago (ugo.dallago@unibo.it), Daniel
  Hirschkoff (daniel.hirschkoff@ens-lyon.fr) and
  Davide Sangiorgi (Davide.Sangiorgi@gmail.com); the statement should
  also specify the preferred location, if any.
* DEADLINE
  December 30, 2014.



TENURE-TRACK POSITIONS AT UNIVERSITE DU QUEBEC A MONTREAL, CANADA
  http://www.rhu.uqam.ca/AffichageProfs/21006378.pdf
  http://www.rhu.uqam.ca/AffichageProfs/21006546.pdf
* The departement d'informatique at UQAM invites application for:
  - One faculty position in security (content and infrastructure security,
    tools and languages for secure software, malicious code detection,
    certified compilation, trustworthy computing, e-commerce protocol security,
    formal methods and verification for security, secure embedded systems,
    etc.);
  - One faculty position in cognitive informatics, in the area of semantic
    Web and knowledge management (ontology engineering, ontology reasoning
    algorithms, Web of data, semantic web services, etc.);
  Teaching at UQAM is done in French and the candidate must have an excellent
  mastery of this language. The deadline for (electronic) submission is
  January 16, 2015.



LOGIC, COMPUTATION, HIERARCHIES (FESTSCHRIFT IN HONOUR OF VICTOR L. SELIVANOV)
  http://www.degruyter.com/view/product/429641?rskey=gsPvAq&result=9
* V. Brattka, H. Diener, D. Spreen (eds.), Logic, Computation, Hierarchies
  (Festschrift in honour of Victor L. Selivanov), DeGruyter, Berlin, Boston,
  2014, x + 414. See the URL for further details.



Back to the LICS web page.