SIGLOG Monthly 176
November  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
  SIGLOG Executive Committee - Call for nominations
  LICS 2016 - Call for Papers
  ACM SIGLOG Announcement
  The Godel Prize 2016 - Call for Nominations
  VCLA International Student Awards: Call for Nominations 2015
* DEADLINES
  Forthcoming Deadlines
* CALLS
  IJCAR 2016 - Call for Workshop Proposals
  CAV 2016 - Call for Workshop Proposals
  CMCS 2016 - Call for Papers
  CAV 2016 - Call for Papers
  FSCD'16 - Call for papers
  ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
  KR 2016 - Call for Papers
  ACM CPSS 2016 - 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


SIGLOG EXECUTIVE COMMITTEE: CALL FOR NOMINATIONS
  Deadline for submitting your name for the ballot: November 25, 2015.
* Elections for the SIGLOG Executive Committee will take place in 2016.
  The four positions of Chair, Vice Chair, Treasurer, and Secretary
  will be voted on then.  Any professional member of the ACM who is a
  member of SIGLOG can run for office.
* In January the candidates will publish their vision statements in
  the SIGLOG Newsletter and the elections will take place later in the year.
* Please contact the Chair of the Nominating Committee,
  Dale.Miller@inria.fr, by November 25, 2015 if you would like to run
  in this election.



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.



VCLA INTERNATIONAL STUDENT AWARDS: CALL FOR NOMINATIONS 2015
  http://logic-cs.at/award/award-call-2015/
* The Vienna Center for Logic and Algorithms announces the 2015 edition
  of the VCLA International Student Awards and calls for the nomination
  of authors of outstanding scientific works in the field of Logic and
  Computer Science, in the following two categories:
  - Outstanding Master Thesis Award, to be given to the author of an
  outstanding thesis for obtaining a Masters degree or equivalent (2nd
  cycle Bologna process).
  - Outstanding Undergraduate Research Award, to be given to the author
  of an outstanding thesis or final project for obtaining a Bachelors
  degree or equivalent (1st cycle Bologna process).
  In both categories, the work must make an original contribution to a
  research field that can be classified as part of Logic in Computer
  Science, understood broadly as the use of logic as a tool that enables
  computer programs to reason about the world. The main areas of
  interest are: Databases and Artificial Intelligence, Verification,
  Computational Logic
  The committee will select a winner for each category. The winners will
  be invited to Vienna to present their project and participate in a
  festive award ceremony. Additionally, the Outstanding Master Thesis
  Award category is accompanied by a prize of 1,200 EUR, and the
  Outstanding Undergraduate Research Award by a prize of 800 EUR.
* IMPORTANT DATES:
  Nomination deadline: November 15, 2015 (AoE)
  Notification of the committee's decision: early February 2016
  Award ceremony: Spring 2016



DATES
* IJCAR 2016
  Call for Workshop Proposals
  Deadline for proposal submissions: November 15th, 2015.
  http://www.uc.pt/en/congressos/ijcar2016
* CAV 2016
  Call for Workshop Proposals
  Proposals are due by December 1st.
  http://i-cav.org/2016/workshops/
* 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
* 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/
* KR 2016
  Call for papers
  Conference: Cape Town, South Africa, 25-29 April 2016
  Submission of title and abstract deadline: 21 November 2015
  http://kr.org/KR2016/
* 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/
* WoLLIC 2016
  Call for Papers
  August 16th-19th, 2016, Puebla, Mexico
  http://wollic.org.wollic2016/
* 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



INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING (IJCAR 2016)
  Call for Workshop Proposals
  July 1-2, 2016, Coimbra, Portugal
  http://www.uc.pt/en/congressos/ijcar2016
* Workshop proposals on IJCAR-related topics are solicited. Proposals
  that promise to bring new topics into IJCAR, of either practical or
  theoretical importance, or provide a forum for more detailed
  discussion on central topics of continuing importance are highly
  welcome. Proposals that close the gap between automated reasoning and
  related areas, e.g., formal methods or software engineering, are
  especially encouraged.
* Proposals must contain information sufficient to judge the importance,
  quality and community interest in the proposed topic.  Each workshop
  must have one or more designated organizers, and may have a programme
  committee as well.
* Proposals must be limited to three pages and provide at least the following
  information:
    + Title.
    + Description of the workshop topic and goals. (Why do you believe
      this is an interesting and significant topic?)
    + Intended audience. (From which areas do you expect potential
      participants to come? How many participants do you expect?)
    + Organization of the workshop. (Describe the intended format of
      the workshop, its expected duration: one day, Friday, July 1st
      (preferred) or Saturday, 2nd; or two days, July 1st-2nd.
    + Information
        (a) whether papers presented to the workshiop are invited
            papers or are selected by peer review;
        (b) if the workshop makes makes part of a series (continuing
            the past workshops on a regular basis);
        (c) if the workshop comprises a program competition.
    + Organizers' details. (Provide affiliations, backgrounds and
      contact details (email, etc.) of organizers)
* Proposals should be sent as plain text or as PDF to the workshop chair
  Reinhard Kahle: kahle@mat.uc.pt.
* For more information, including fees and provided services, please
    contact also the workshop chair at kahle@mat.uc.pt.
* Important dates:
  -  Express of interest:               at any time.
  -  Deadline for proposal submissions: November 15th, 2015.
  -  Notification:                      December 15th, 2015.



28TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2016)
  Call for Workshop Proposals
  July 17-23, Toronto, Ontario, Canada
  http://i-cav.org/2016/workshops/
* AIMS
  The 2016 Computer-Aided Verification (CAV) Workshops provides an
  opportunity for participants to discuss topics in the broader
  verification related domains. CAV 2016 Workshops will be held
  before the main conference on July 17th and 18th.
  Workshop proposals will be reviewed by the Workshop chair along with
  the program chairs and members of the steering committee. Proposals
  must consist of the following two parts:
  -- Part I: Technical Information --
  A short (about 1 page) scientific justification of the proposed
  topic, its significance and relevance to CAV, and the particular
  benefits of the workshop to the verification community, as well as a
  list of previous or related workshops (if relevant).
  -- Part II: Organizational Information --
  Further information: http://i-cav.org/2016/workshops/
* IMPORTANT DATES:
  Proposals are due by December 1st by email to the Workshop
  chair. Organizers will be notified by December 8th, 2015.
* For further enquiries or information, please contact:
  Zachary Kincaid (CAV 2016 Workshop Chair)
  University of Toronto
  email: zkincaid@cs.toronto.edu
  http://www.cs.toronto.edu/~zkincaid



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



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)



15TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING (KR 2016)
  Call for papers
  Cape Town, South Africa, 25-29 April 2016
  http://kr.org/KR2016/
  Co-located with DL 2016 [http://www.dl.kr.org] and NMR 2016 [http://www.kr.org/NMR/]
* KR 2016 IMPORTANT DATES
  --  Submission of title and abstract: 21 November 2015
  --  Paper submission deadline: 28 November 2015
  --  Notification of acceptance: 21 January 2016
  --  Camera-ready papers due: 19 February 2016
  --  Conference: 25-29 April 2016
* AIMS
  Knowledge Representation and Reasoning (KRR) is an exciting, well-established
  field of research. In KRR a fundamental assumption is that an agent's
  knowledge is explicitly represented in a declarative form, suitable for
  processing by dedicated reasoning engines. This assumption, that much of
  what an agent deals with is knowledge-based, is common in many modern
  intelligent systems. Consequently, KRR has contributed to the theory and
  practice of various areas in AI, such as automated planning and natural
  language understanding, among others, as well as to fields beyond AI,
  including databases, software engineering, the semantic web, computational
  biology, and the development of software agents.
* SUBMISSION INFORMATION
  For complete details, see the 'Submission information' page at
  http://www.kr.org/KR2016
* CONFERENCE CHAIRS
 -  General: Chitta Baral (Arizona State University, USA)
 -  Program: James Delgrande (Simon Fraser University, Canada),
    Frank Wolter (University of Liverpool, UK)
 -  Local Organization: Thomas Meyer (University of Cape Town and CAIR, South Africa)
 -  Doctoral Consortium: Meghyn Bienvenu (CNRS, France), Joohyung Lee (Arizona State University, USA)
 -  Sponsorship and Publicity: Ivan Varzinczak (Federal University of Rio de Janeiro, Brazil)



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/



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.
* DETAILS & 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.