SIGLOG Monthly 177
December  1, 2015

*******************************************************************
* 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
  LICS 2016 - Call for Papers
  ACM SIGLOG Announcement
  The Godel Prize 2016 - Call for Nominations
* DEADLINES
  Forthcoming Deadlines
* CALLS
  LICS 2016 - Call for Workshop Proposals
  PODS 2016 - Call for Research Papers (Second Submission Cycle)
  ACM CPSS 2016 - Call for Papers
  CiE 2016 - Call for Papers
  HCSS 2016 - Call for Presentations
  MUNICH GRADUATE WORKSHOP IN MATHEMATICAL PHILOSOPHY 2016 - Call for papers
  CMCS 2016 - Call for Papers
  CAV 2016 - Call for Papers
  FSCD'16 - Call for papers
  PHDS IN LOGIC VIII - Call for submissions
  ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
  NFM 2016 - Call For Papers
  CCC 2015 -  Call for submission
  CCA 2016 -  First Call for Papers
  WoLLIC 2016 -   Call for Papers
  COMPLEXITY 2016 - Call for Participation
* JOB ANNOUNCEMENTS
  SIMONS-BERKELEY RESEARCH FELLOWSHIPS
  PHD & POSTDOC POSITION AT JACOBS UNIVERSITY BREMEN


THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
  Call for papers
  July 5-8, 2016, New York City, USA
  http://lics.siglog.org/lics16/
* SCOPE
  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.
* IMPORTANT DATES
  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).
  - Titles and Short Abstracts Due:      January 11, 2016
  - Full Papers Due:                     January 18, 2016
  - Author Feedback/Rebuttal Period:     March 14-18, 2016
  - Author Notification:                 April 4, 2016
  - Final Versions Due for Proceedings:  May 2, 2016
  Deadlines are firm; late submissions will not be considered. All
  submissions will be electronic via
  https://www.easychair.org/conferences/?conf=lics2016.
* SUBMISSION INSTRUCTIONS
  Every full paper must be submitted in the ACM SIGPLAN Proceedings
  2-column 10pt format and may not be longer than 10 pages, including
  references. The LaTeX style file is available from 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.
* PROGRAM COMMITTEE CHAIR
  Natarajan Shankar, SRI International
* CONFERENCE CHAIR
  Eric Koskinen, IBM Research
* WORKSHOP CHAIR
  Patricia Bouyer-Decitre, CNRS & ENS Cachan
* PUBLICITY AND PROCEEDINGS CHAIR
  Sam Staton, U. Oxford
* GENERAL CHAIR
  Martin Grohe, RWTH Aachen University
* LICS STEERING COMMITTEE
  M. Abadi, R. Alur, P. Bouyer-Decitre, K. Chatterjee, M. Grohe,
  M. Hasegawa, T. Henzinger, E. Koskinen, S. Kreutzer, O. Kupferman,
  D. Miller, M. Mislove, L. Ong, C. Palamidessi, N. Shankar, A. Silva,
  S. Staton, M. Vardi.



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).



THE GODEL PRIZE 2016 - CALL FOR NOMINATIONS
  http://www.sigact.org/Prizes/Godel
* Deadline: January 31, 2016
* The Godel 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 24th Godel Prize will be awarded at the 43rd
  International Colloquium on Automata, Languages and Programming, 11-15
  July 2016 in Rome, Italy.
* AWARD COMMITTEE
  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 2016 Award Committee consists
  of Moses Charikar (Stanford University), Orna Kupferman (Hebrew
  University), Kurt Mehlhorn (Max Planck Institute), Joseph Mitchell
  (State University of New York at Stony Brook), Andrew Pitts (chair,
  University of Cambridge) and Madhu Sudan (Harvard University).
* NOMINATIONS
  Nominations for the award should be submitted by email to the Award
  Committee Chair Andrew.Pitts@cl.cam.ac.uk. Please make sure that
  the Subject line of all nominations and related messages begin with
  "Goedel  Prize 2016". To be considered, nominations for the
  2016 Prize must be received by January 31, 2016.



DATES
* LICS 2016
  Call for Workshop Proposals
  Conference: July 5-8, 2016, New York City, USA
  Workshops: July 9-10, 2016
  http://lics.siglog.org/lics16/
  Submission deadline: December 4, 2015
* PODS 2016
  Call for Research Papers (Second submission cycle)
  June 27-29, 2016, San Francisco, California, USA
  http://www.sigmod2016.org
  Dates for second submission cycle: December 4, 2015
* ACM CPSS 2016
  Call for papers
  Xi'an, China - May 30, 2016
  (in conjunction with ACM AsiaCCS'16)
  http://icsd.i2r.a-star.edu.sg/cpss16/
  Submission due:    Decembre 5, 2015
* CiE 2016: PURSUIT OF THE UNIVERSAL
  Call for Papers
  June 27 - July 1st, 2016, Paris, France
  http://lipn.univ-paris13.fr/CIE2016/
  Submission deadline: December 15, 2015
* HCSS 2016
  Call for Presentations
  10-13 May 2016, Annapolis, Maryland
  http://cps-hcss.org
  Submission deadline: Friday, December 18, 2015
* Munich Graduate Workshop in Mathematical Philosophy
  Call for papers
  7-9 April 2016
  http://www.graduateworkshop.philosophie.uni-muenchen.de/call-for-papers/index.html
  Submission deadline:  3rd January, 2016
* CMCS 2016
  Call for papers
  April 2-3  2016, Eindhoven, the Netherlands
  Abstract regular papers:  4 January 2016
  Submission regular papers: 13 January 2016
  http://www.coalg.org/cmcs16
* CAV 2016
  Call for Papers
  July 17-23, 2016, Toronto, Ontario, Canada
  http://i-cav.org/2016/
  Abstract submission: January 17, 2016 (Sunday)
  Paper submission: January 29, 2016 (Friday)
* FSCD'16
  Call for Papers
  June 22-26, 2016, Porto, Portugal
  http://fscd2016.dcc.fc.up.pt/
  Abstract submission due: 29 January 2016
* PhDs in Logic VIII
  Call for submissions
  May 9-11, 2016, Darmstadt, Germany
  http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home
  Deadline for submissions: February 7, 2016
* ABZ 2016
  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/
* NFM 2016
  Call For Papers
  June 7-9 2016, McNamara Alumni Center, University of Minnesota
  http://crisys.cs.umn.edu/nfm2016
  paper submission deadline:    2/19/2016
* CCC 2015
  Call for submission - postproceedings
  Deadline for submission: 1 March 2016
* CCA 2016
  First Call for Papers
  June 15-17, 2016, Faro, Portugal
  http://cca-net.de/cca2016/
  Submission deadline: March 14, 2016 (two-page abstracts)
* WoLLIC 2016
  Call for Papers
  August 16th-19th, 2016, Puebla, Mexico
  http://wollic.org.wollic2016/
  Mar 21, 2016: Full paper deadline
* 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



31ST ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
  Call for Workshop Proposals
  http://lics.siglog.org/lics16/
  LICS conference: July 5-8, 2016, New York City, USA
  Workshops: July 9-10, 2016
* The thirty-first ACM/IEEE Symposium on Logic In Computer Science
  (LICS 2016) will be held in New York City, USA on July 5Ð8, 2016. It
  will be followed by IJCAI (International Joint Conference on
  Artificial Intelligence). The workshops will take place between the
  two conferences, on July 9-10, 2016.
* Researchers and practitioners are invited to submit proposals for
  workshops on topics relating logic - broadly construed - to computer
  science or related fields. Typically, LICS workshops feature a number
  of invited speakers and a number of contributed presentations. LICS
  workshops do not usually produce formal proceedings. However, in the
  past there have been special issues of journals based in part on
  certain LICS workshops.
* Proposals should include:
  - A short scientific summary and justification of the proposed topic.
    This should include a discussion of the particular benefits of the
    topic to the LICS community.
  - A discussion of the proposed format and agenda.
  - The proposed duration, which is typically one day (two-day
    workshops can be accommodated too).
  - The preferred date.
  - Procedures for selecting participants and papers.
  - Expected number of participants. This is important for the room!
  - Potential invited speakers.
  - Plans for dissemination (for example, special issues of journals).
* Proposals should be submitted on the Easychair system:
  https://easychair.org/conferences/?conf=workshopslics2016
* Important Dates:
  Submission deadline: December 4, 2015
  Notification: December 18, 2015
  Program of the workshops ready: April 29, 2016
  Workshops: July 9-10, 2016
  LICS conference: July 5-8, 2016.
* The workshops selection committee consists of the LICS General Chair,
  LICS Workshops Chair, LICS 2016 PC Chair and LICS 2016 Conference
  Chair.



35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2016)
  Call for Research Papers (Second submission cycle)
  June 27-29, 2016, San Francisco, California, USA
  http://www.sigmod2016.org
* 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).For the 35th 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 theoretical approaches from the lens of practical
  applicability in data management.
* TOPICS that fit the interests of the symposium include the following:
  - design, semantics, query languages
  - data models, data structures, algorithms for data management
  - concurrency and recovery, distributed and parallel databases, cloud computing
  - model theory, logics, algebras, computational complexity
  - graph databases and (semantic) Web data
  - data mining, information extraction, search
  - data streams
  - data-centric (business) process management, workflows, web services
  - incompleteness, inconsistency, uncertainty in databases
  - data and knowledge integration and exchange, data provenance, views and data
    warehouses, metadata management
  - domain-specific databases (multi-media, scientific, spatial, temporal, text)
  - deductive databases
  - data privacy and security
* KEYNOTE SPEAKER
  Moshe Vardi (Rice University)
* TUTORIAL SPEAKERS
  Sara Cohen (The Hebrew University of Jerusalem)
  Frank Neven (Hasselt University)
* GEMS OF PODS SPEAKERS
  Ronald Fagin (IBM Almaden Research Center)
  Georg Gottlob (Oxford University)
* ORGANIZATION
  Program Chair: Wang-Chiew Tan (UC Santa Cruz)
  PODS General Chair: Tova Milo (Tel Aviv University, Israel)
  Proceedings & Publicity Chair: Paraschos Koutris (University of Wisconsin-Madison)
* IMPORTANT DATES
  Dates for first submission cycle:
  - October 2, 2015, 4:59pm PST: Abstract submission
  - October 9, 2015, 4:59pm PST: Paper submission
  - December 18, 2015, 4:59pm PST: Accept/Reject/Revise notification
  - January 29, 2016, 4:59pm PST: Revised submission
  - March 4, 2016:, 4:59pm PST: Accept/Reject notification
  Dates for second submission cycle:
  - November 27, 2015, 4:59pm PST: Abstract submission
  - December 4, 2015, 4:59pm PST: Paper submission
  - March 4, 2016, 4:59pm PST: Accept/Reject notification



2ND ACM CYBER-PHYSICAL SYSTEM SECURITY WORKSHOP (ACM CPSS 2016)
  Call for papers
  Xi'an, China - May 30, 2016
  (in conjunction with ACM AsiaCCS'16)
  http://icsd.i2r.a-star.edu.sg/cpss16/
* IMPORTANT DATES
  Submission due:    Dec 5, 2015
  Notification:      Feb 15, 2016
  Camera-ready due:  March 15, 2016
* AIMS
  Cyber-Physical Systems (CPS) consist of large-scale interconnected systems
  of heterogeneous components interacting with their physical environments.
  There are a multitude of CPS devices and applications being deployed to serve
  critical functions in our lives. The security of CPS becomes extremely important.
  This workshop will provide a platform for professionals from academia, government,
  and industry to discuss how to address the increasing security challenges facing
  CPS. Besides invited talks, we also seek novel submissions describing theoretical
  and practical security solutions to CPS. Papers that are pertinent to the security
  of embedded systems, SCADA, smart grid, and critical infrastructure networks are all
  welcome, especially in the domains of energy and transportation.
* STEERING COMMITTEE
  Dieter Gollmann (Hamburg University of Technology, Germany)
  Ravishankar Iyer (UIUC, USA)
  Douglas Jones (ADSC, Singapore)
  Javier Lopez (University of Malaga, Spain)
  Jianying Zhou (I2R, Singapore) Chair
* PROGRAM CHAIRS
  Jianying Zhou (I2R, Singapore)
  Javier Lopez (University of Malaga, Spain)
* PUBLICITY CHAIR
  Cristina Alcaraz (University of Malaga, Spain)
* PUBLICATION CHAIR
  Ying Qiu (I2R, Singapore)
* CONTACT
  Email:      cpss2016@easychair.org
  CPSS Home:  http://icsd.i2r.a-star.edu.sg/staff/jianying/cpss/



12th CONFERENCE ON COMPUTABILITY IN EUROPE (CiE 2016: PURSUIT OF THE UNIVERSAL)
  Call for Papers
  June 27 - July 1st, 2016, Paris, France
  http://lipn.univ-paris13.fr/CIE2016/
* IMPORTANT DATES:
  Submission deadline for contributed papers: December 15, 2015
  Notification of authors:  March 3, 2016
  Deadline for final revisions: March 31, 2016
* CiE 2016 is the twelfth 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.
* TUTORIAL SPEAKERS:
  Bernard Chazelle (Princeton University)
  Mikolaj Bojanczyk (University of Warsaw)
* INVITED SPEAKERS:
  Janet Abbate (Virginia Tech)
  Natasha Alechina (University of Nottingham)
  Vasco Brattka (Universitaet der Bundeswehr Muenchen)
  Steffen Lempp (University of Wisconsin)
  Andre Nies (University of Auckland)
  Sarah Rees (University of Newcastle)
  Reed Solomon (University of Connecticut)
* SPECIAL SESSIONS:
  Computable and constructive analysis
    (organizers: Daniel Graca, Elvira Mayordomo)
  Computation in bio-chemical systems
    (organizers: Alessandra Carbone, Ian Petre)
  Cryptography and information theory
    (organizers: Danilo Gligoroski, Carles Padro)
  History and philosophy of computing
    (organizers: Liesbeth de Mol, Giuseppe Primiero)
  Symbolic dynamics
    (organizers: Jarkko Kari, Reem Yassawi)
  Weak arithmetics
    (organizers: Lev Beklemishev, Stanislas Speranski)



16th ANNUAL HIGH CONFIDENCE SOFTWARE AND SYSTEMS CONFERENCE (HCSS 2016)
  Call for Presentations
  10-13 May 2016, Annapolis, Maryland
  http://cps-hcss.org
* INTRODUCTION
  The sixteenth annual HCSS Conference will be held May 10-13, 2016 at
  the Historic Inns of Annapolis in Annapolis, Maryland. You are invited to
  submit a proposal to present a talk at this yearÕs conference. As in
  previous years, you are also invited to participate in a poster session.
* CONFERENCE THEMES
  We invite submissions on any topic related to high-confidence software
  and systems that align with the conference scope and goals. In addition,
  the 2016 HCSS Conference will highlight the following themes:
   - MEASURING SECURITY
   - PROOFS THAT CROSS IP BOUNDARIES
   - PROGRAMMING AND REASONING WITH UNCERTAINTY
   - VERIFICATION OF AUTONOMOUS AND ADAPTIVE SYSTEMS
* Detailed information can be found on the webpage at
  http://cps-vo.org/group/hcss_conference/cfp
* IMPORTANT DATES
  - Friday, December 18, 2015 - Abstracts of proposed talks and poster
    topics submission deadline
  - Friday, January 15, 2016  - Notifications of acceptance/rejection
  - Monday, April 4, 2016 - Camera-Ready abstracts due
  - Friday, April 29, 2016 -    Poster files due
  - Tuesday, May 10, 2016 -     Presentation files due
  - May 10-13, 2016 - HCSS Conference
* PLANNING COMMITTEE
  - Co-Chairs: Kathleen Fisher (Tufts University) and Stephen Magill
    (Galois)
  - Steering Group: John Hatcliff (Kansas State University), John
    Launchbury (DARPA), Brad Martin (NSA), Stephen Magill (Galois), Ray
    Richards (Rockwell Collins) Bill Scherlis (CMU), Frank Taylor (NSA)
  - Organizer: Katie Dey (Vanderbilt University)
  - Sponsor Agency: NITRD HCSS Coordinating Group



2ND MUNICH GRADUATE WORKSHOP IN MATHEMATICAL PHILOSOPHY
  Call for papers and applications
  7th-9th April 2016
  http://www.graduateworkshop.philosophie.uni-muenchen.de/call-for-papers/index.html
* Formal Epistemology The Munich Center for Mathematical Philosophy
  (MCMP) is organizing thesecond Munich Graduate Workshop in
  Mathematical Philosophy, 7th Ð 9th April 2016. The theme of this
  year's workshop is formal epistemology and we invite submissions
  from masters and doctoral students interested in presenting a paper on
  this topic.
* In addition to student presentations and keynote lectures, the
  workshop will feature three ÔworkshopsÕ focused three areas in
  formal epistemology at the forefront of contemporary research. The
  themes of the working groups will be the foundations of imprecise
  probability theory, philosophical logic, and the role of probabilistic
  methods in contemporary cognitive psychology. See the program for more
  details.
* The workshop is open to masters and doctoral students with interests
  in formal epistemology. Applications are welcome from students whose
  background is philosophy, computer science, statistics, and the
  decision sciences. The conference language is English.
* Students wishing to present a paper should both complete a blinded
  submission via easychair. See instructions on the conference webpage.
* DATES AND DEADLINES:
  Submission deadline:  3rd January, 2016
  Notification of acceptance:  20th January, 2016
  Conference:  7th Ð 9th April, 2016



13TH INTERNATIONAL WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS'16)
  Call for papers
  2-3 April 2016, Eindhoven, the Netherlands
  http://www.coalg.org/cmcs16
* OBJECTIVES AND SCOPE
  Established in 1998, the CMCS workshops aim to bring together researchers
  with a common interest in the theory of coalgebras, their logics, and their
  applications. As the workshop series strives to maintain breadth in its scope,
  areas of interest include neighbouring fields as well. Topics of interest
  include, but are not limited to, the following:
    - The theory of coalgebras (including set theoretic and categorical
    approaches)
    - Coalgebras as computational and semantical models (for
    programming languages, dynamical systems, term rewriting, etc.)
    - Coalgebras in (functional, object-oriented, concurrent, and constraint)
    programming
    - Model checking, theorem proving and deductive verification
    using coalgebraic techniques
    - Coalgebraic data types, type systems and
    behavioural typing
    - Proof principles and (coinductive) definitions for
    coalgebras (e.g. with bisimulations or invariants)
    - Coalgebras and algebras
    - Coalgebraic specification and verification
    - Coalgebras and (modal) logic
    - Coalgebra and control theory (notably of discrete event
    and hybrid systems)
    - Coalgebra in quantum computing
    -  Coalgebra and game theory
    - Tools exploiting colgebraic techniques
* VENUE AND EVENT
  CMCS'16 will be held in Eindhoven, the Netherlands, co-located with ETAPS 2016 on
  2 - 3 April 2016.
* IMPORTANT DATES
  Abstract regular papers:  4 January 2016
  Submission regular papers: 13 January 2016
* KEYNOTE SPEAKER
  Jiri Adamek, Braunschweig University of Technology, Germany
* INVITED SPEAKERS
  Andreas Abel, University of Gothenburg, Sweden
  Filippo Bonchi, CNRS/ENS Lyon, France
* SPECIAL SESSION
  There will be a special session on weighted automata, organized by
    Borja Balle, Lancaster University, United Kingdom
    Alexandra Silva, University College London, United Kingdom
* PC CHAIR
  Ichiro Hasuo, University of Tokyo, Japan



28TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2016)
  Call for Papers
  July 17-23, 2016, Toronto, Ontario, Canada
  http://i-cav.org/2016/
* IMPORTANT DATES
  All deadlines are 4pm EST.
  Abstract submission:         January 17, 2016 (Sunday)
  Paper submission:             January 29, 2016 (Friday)
  Author response period:    March 23-25, 2016 (Wednesday-Friday)
  Author Notification:            April 15, 2016 (Friday)
  Conference:                       July 17-23, 2016
* SCOPE
  CAV 2016 is the 28th 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.
* PAPER SUBMISSION
  -- new this year: Double-blind submissions --
  Further information: http://i-cav.org/2016/
* CHAIRS
  Swarat Chaudhuri, Rice University, USA
  Azadeh Farzan, University of Toronto, Canada
* CAV Award Committee
  Ahmed Bouajjani (Chair), Univ. Paris Diderot (Paris 7)
  Tom Ball, Microsoft Research
  Kim G. Larsen, Aalborg University
  Natarajan Shankar, SRI International
* WORKSHOP CHAIR
  Zachary Kincaid, University of Toronto, Canada
* ARTIFACT EVALUATION CHAIR
  Aws Albarghouthi, University of Wisconsin, USA
* PUBLICITY CHAIR
  Roopsha Samanta, IST, Austria



FIRST INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD'16)
  Call for Papers
  June 22-26, 2016, Porto, Portugal
  http://fscd2016.dcc.fc.up.pt/
* The FSCD conference series (http://fscdconference.org/) covers  all
  aspects of formal structures for computation and deduction from
  theoretical foundations to applications. Building on two communities,
  RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda
  Calculi and Applications), FSCD embraces their core topics and broadens
  their scope to closely related areas in logics, proof theory and new
  emerging models of computation such as quantum computing and homotopy
  type theory. The name of the new conference comes from an unpublished
  but important book by Gerard Huet that strongly influenced many
  researchers in the area.
* Suggested, but not exclusive, list of topics for submission are:
  1. Calculi (Lambda calculus; Logics; Rewriting systems; Proof theory;
     Type theory and logical frameworks; Homotopy type theory)
  2. Methods in Computation and Deduction (Type systems; Induction,
     coinduction; Matching; Unification; Completion; Orderings; Strategies;
     Tree automata; Model building and model checking; Proof search;
     Constraint solving and decision procedures)
  3. Semantics (Operational semantics and abstract machines; Game Semantics
     and applications; Domain theory and categorical models; Quantitative
     models; Quantum computation and emerging models in computation)
  4. Algorithmic Analysis and Transformations of Formal Systems (Type
     Inference and type checking; Abstract Interpretation; Complexity
     analysis and implicit computational complexity; Checking termination,
     confluence, derivational complexity and related properties; Symbolic
     computation)
  5. Tools and Applications (Programming and proof environments;
     Verification tools; Libraries for proof assistants and interactive
     theorem provers; Case studies in proof assistants and interactive
     theorem provers; Certifications; Applications of formal systems inside
     and outside of CS)
* IMPORTANT DATES:
  Abstract submission due: 29 January 2016;
  Paper Submission: 5 February 2016; Rebuttal: 21-23 March 2016;
  Notification: 6 April 2016



PHDS IN LOGIC VIII
  Call for Submissions
  May 9-11, 2016, Darmstadt, Germany
  http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home
* "PhDs in Logic" is an annual graduate conference organised by local
  graduate students. This conference has an interdisciplinary character,
  welcoming contributions to various topics in Mathematical Logic,
  Philosophical Logic, and Logic in Computer Science. It involves tutorials
  by established researchers as well as short presentations by PhD students
  on their research.
  We are happy to announce that the next edition of "PhDs in Logic" will
  take place in Darmstadt, Germany, during May 9-11 2016, hosted by the
  Logic research group of the Department of Mathematics, TU Darmstadt.
* Registration and abstract submission for interested PhD students are now
  open. We welcome contributions from any general field of Logic.
* Important dates:
  - February 7, 2016: deadline for submissions
  - April 2, 2016: author notification
  - April 30, 2016: registration closes
* Confirmed tutorial speakers are:
  Mirna Dzamonja (University of East Anglia, UK)
  Nina Gierasimczuk (University of Amsterdam, the Netherlands)
  Ulrich Kohlenbach (TU Darmstadt, Germany)
  Martin Otto (TU Darmstadt, Germany)



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)



THE 8TH NASA FORMAL METHODS SYMPOSIUM (NFM 2016)
  Call For Papers
  June 7-9 2016, McNamara Alumni Center, University of Minnesota
  http://crisys.cs.umn.edu/nfm2016
* THEME OF THE SYMPOSIUM
  The widespread use and increasing complexity of mission-critical and
  safety-critical systems at NASA and the aerospace industry requires advanced
  techniques that address their specification, design, verification, validation,
  and certification requirements. The NASA Formal Methods Symposium is a forum
  to foster collaboration between theoreticians and practitioners from NASA,
  academia, and the industry, with the goal of identifying challenges and
  providing solutions towards achieving assurance for such critical systems.
  New developments and emerging applications like autonomous on-board software
  for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced
  separation assurance algorithms for aircraft, and the need for system-wide
  fault detection, diagnosis, and prognostics provide new challenges for system
  specification, development, and verification approaches. Similar challenges
  need to be addressed during development and deployment of on-board software
  for spacecraft ranging from small and inexpensive CubeSat systems to manned
  spacecraft like Orion, as well as for ground systems.
  The focus of the symposium will be on formal techniques and other approaches
  for software assurance, their theory, current capabilities and limitations,
  as well as their potential application to aerospace, robotics, and other
  NASA-relevant safety-critical systems during all stages of the software
  life-cycle.
* TOPICS OF INTEREST
  include but are not limited to
  - Model checking
  - Theorem proving
  - SAT and SMT solving
  - Symbolic execution
  - Static analysis
  - Model-based development
  - Runtime verification
  - Software and system testing
  - Safety assurance
  - Fault tolerance
  - Compositional verification
  - Security and intrusion detection
  - Design for verification and correct-by-design techniques
  - Techniques for scaling formal methods
  - Applications of formal methods in the development of:
    - autonomous systems
    - safety-critical artificial intelligence systems
    - cyber-physical, embedded, and hybrid systems
    - fault-detection, diagnostics, and prognostics systems
  - Use of formal methods in:
    - assurance cases
    - human-machine interaction analysis
    - requirements generation, specification, and validation
    - automated testing and verification
* IMPORTANT DATES
  - Paper Submission:    2/19/2016
  - Paper Notifications: 4/8/2016
  - Camera-ready Papers: 4/27/2016
  - Symposium:           6/7 - 6/9/2016
* ORGANIZING COMMITTEE
  - Michael Lowry, NASA Ames Research Center, USA (NASA Liaison)
  - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair)
  - Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair)
  - Sanjai Rayadurgam, University of Minnesota, USA (PC Chair)
  - Mike Whalen, University of Minnesota, USA (Financial Chair)
  - Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair)



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2015 (CCC 2015)
  Call for submission - postproceedings
* After a further year of successful work in the EU-IRSES project
  COMPUTAL and an excellent workshop in Kochel (Germany) in September
  this year, we are planning to publish a collection of papers
  dedicated to the meeting and the project as a part of LOGICAL METHODS
  IN COMPUTER SCIENCE. 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:
  Ulrich Berger (Swansea, UK)
  Willem Fouche (UNISA, Pretoria)
  Arno Pauly (Brussels, Belgium)
  Dieter Spreen (Siegen, Germany)
  Martin Ziegler (KAIST, South Korea)
* DEADLINE FOR SUBMISSION: 1 March 2016
  If you intend to submit a paper, please send a corresponding email to
  spreen@math.uni-siegen.de untill 1 February 2016
  You will then receive concrete submission instructions and a
  Special-Issue-Code allowing you to submit your paper for the special
  issue.



COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2016)
  First Call for Papers
  June 15-17, 2016, Faro, Portugal
  http://cca-net.de/cca2016/
  Submission deadline: March 14, 2016 (two-page abstracts)
* Topics: computable analysis; complexity on real numbers;
  constructive analysis; domain theory and analysis; theory of
  representations; computable numbers, subsets and functions;
  randomness and computable measure theory; models of computability on
  real numbers; realizability theory and analysis; reverse analysis;
  real number algorithms; implementation of exact real number
  arithmetic.
* Detailed information can be found on the webpage.



23rd WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016)
  Call for Papers
  August 16th-19th, 2016, Puebla, Mexico
  http://wollic.org.wollic2016/
* WoLLIC is an annual international forum on inter-disciplinary research involving formal
  logic, computing and programming theory, and natural language and reasoning. Each
  meeting includes invited talks and tutorials as well as contributed papers.
* Contributions are invited on all pertinent subjects, with particular interest in
  cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of
  computing and programming; novel computation models and paradigms; broad notions of
  proof and belief; proof mining, type theory, effective learnability; formal methods in software
  and hardware development; logical approach to natural language and reasoning; logics of
  programs, actions and resources; foundational aspects of information organization, search,
  flow, sharing, and protection; foundations of mathematics; philosophical logic.
* IMPORTANT DATES:
  Mar 14, 2016: Paper title and abstract deadline
  Mar 21, 2016: Full paper deadline,   Apr 22, 2016: Author notification
  May 6, 2016: Final version deadline (firm).



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.



SIMONS-BERKELEY RESEARCH FELLOWSHIPS
  http://simons.berkeley.edu/fellows2016.
* DEADLINE for applications: 15 December, 2015.
  The Simons Institute for the Theory of Computing at UC Berkeley invites applications
  for Research Fellowships for academic year 2016-17.
  Simons-Berkeley Research Fellowships are an opportunity for outstanding junior scientists
  (at most 6 years from PhD by Fall 2016) to spend one or both semesters at the Institute
  in connection with one or more of its programs.  The programs for 2016-17 are as follows:
* Algorithms and Uncertainty (Fall 2016)
* Logical Structures in Computation (Fall 2016)
* Foundations of Machine Learning (Spring 2017)
* Pseudorandomness (Spring 2017)
  Applicants who already hold junior faculty or postdoctoral positions are welcome to apply.
  In particular, applicants who hold, or expect to hold, postdoctoral appointments at other
  institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow
  subject to the approval of the postdoctoral institution.
  Further details and application instructions can be found at
  http://simons.berkeley.edu/fellows2016.
  Information about the Institute and the above programs can be found at
  http://simons.berkeley.edu.



PHD & POSTDOC POSITION AT JACOBS UNIVERSITY BREMEN
* Jacobs University Bremen is a private, English-speaking research university
  in Germany. The KWARC group conducts research on the representation and
  management of formal and informal knowledge in the STEM disciplines
  (Science, Technology, Engineering, and Mathematics).
  Our interests cover the whole range from formal to informal knowledge
  and include
   - logics and foundations of mathematics
   - formalizing/verifying knowledge
   - informal and semi-formal documents (specifications, papers, webpages, etc.)
   - domain-specific applications (spreadsheets, CAD, etc.)
   - knowledge management (search, user interfaces, system integration, etc.)
   We build systems that cover these diverse areas uniformly and integrate across
   domains, languagues, and tools, always combinng logical correctness,
   wide-range applicability, and large-scale inter-operability.
* DETAIS & POSSIBLE TOPICS
  http://www.jacobs-university.de/jobs/phd-and-postdoc-positions-kwarc-group
* CONTACT DETAILS & APPLICATIONS
   For further information and enquiries about this post please contact
   Prof. Michael Kohlhase 
   Applications (including the usual documents) should be directed to the same
   email address.




Back to the LICS web page.