SIGLOG Monthly 175
October  1, 2015

*******************************************************************
* Past issues of the newsletter are available at
 http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************

TABLE OF CONTENTS
* NEWS
  ACM SIGLOG Announcement
  The Godel Prize 2016 - Call for Nominations
* DEADLINES
  Forthcoming Deadlines
* CALLS
  HaPoC 2015 - Call For Participation
  CPS 2016 - Call for workshop and tutorial proposals
  PODS 2016 - Call for Papers
  ETAPS 2016 - Call for Papers
  ATVA 2015 - Call for Participation
  CMCS 2016 - Call for Papers
  FSCD'16 - Call for papers
  ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
  ISAIM 2016 - Call for Papers
  KR 2016 - Call for Papers
  COMPLEXITY 2016 - Call for Participation
* JOB ANNOUNCEMENTS


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
* HaPoC 2015
  Call for Participation
  Conference on October 8-11, 2015, Pisa, Italy
* CPS WEEK
  Call for workshop and tutorial proposals
  Proposal submission deadline : October 1, 2015
  April 11-14, 2016, Vienna, Austria
  http://www.cpsweek.org/2016/
* PODS 2016
  Call for Research Papers (First submission cycle)
  June 27-29, 2016, San Francisco, California, USA
  Abstract submission: October 2, 2015
  http://www.sigmod2016.org
* ETAPS 2016
  Call for papers
  Conferences: 2-8 April 2016, Eindhoven, The Netherlands
  Submission deadline for abstracts: 9 October 2015
  http://www.etaps.org/2016
* ATVA 2015
  Call for participation
  October 12-15, 2015, Shanghai, China
  http://atva2015.ios.ac.cn/
* 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
* 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
  Workshop proposal submissions: October 16, 2015
  Workshop proposal notifications: November 6, 2015
  Research paper and answers to case study submission: January 15, 2016
  Short paper submission: February 4, 2016
  Tutorial proposal submissions: February 15, 2016
  http://www.cdcc.faw.jku.at/ABZ2016/
* ISAIM 2016
  Call for Papers
  January 4-6, 2016, Fort Lauderdale FL, USA
  http://isaim2016.cs.virginia.edu
* 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/
* 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



3RD INTERNATIONAL CONFERENCE ON THE HISTORY AND PHILOSOPHY OF COMPUTING (HaPoC 2015)
  First Call For Participation
  Conference: October 8-11, 2015, Pisa, Italy
  http://hapoc2015.di.unipi.it
* AIMS
  The conference brings together researchers interested in the historical
  developments of computers and their sciences, as well as those reflecting
  on the sociological and philosophical issues springing from the rise and
  ubiquity of computing machines in the contemporary landscape. The conference
  is composed of 30 research presentations, with no parallels sessions, and 6
  invited talks from renowned experts in the relevant fields. The conference
  will take place in Pisa, at the Museum of Computing Machinery.
* PROGRAM
  The program is now available at http://goo.gl/QVJFqv
* INVITED SPEAKERS
  Nicola Angius, Universita' di Sassari
  Lenore Blum, Carnegie Mellon University
  David Alan Grier, IEEE & George Washington University
  Furio Honsell, Universita' di Udine
  Pierre Mounier-Kuhn, CNRS & Universite' Paris-Sorbonne
  Franck Varenne, Universite' de Rouen



CYBER-PHYSICAL SYSTEMS WEEK (CPS WEEK)
  Call for workshop and tutorial proposals
  April 11-14, 2016, Vienna, Austria
  http://www.cpsweek.org/2016/
* AIMS
  CPS Week is the premier event on Cyber-Physical Systems. It brings
  together four top conferences, HSCC, ICCPS, IPSN, and RTAS,
  10-15 workshops, a localization competition, tutorials and various
  exhibitions from both industry and academia. Altogether the CPS Week
  program covers a multitude of complementary aspects of CPS, and
  reunites the leading researchers in this dynamic field.
  CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room
  availability) and 2-3 tutorials on Monday April 11 and is soliciting
  proposals for new and recurring workshops as well as for tutorials.
  We invite you to  submit workshop proposals on any topic related
  to the broad set of research, education, and application areas in
  cyber-physical systems.
* GUIDELINES FOR WORKSHOP PROPOSALS
  Proposals should be submitted at the latest by October 1, 2015
  Detailed information available at
  http://www.cpsweek.org/2016/ws.html
  Notification of acceptance: October 15, 2015
* WORKSHOP AND TUTORIAL CO-CHAIRS
  Christoph Kirsch
  Ana Sokolova.



35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2016)
  Call for Research Papers (First 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)
* 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



19TH EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2016)
  Call for papers
  Eindhoven, The Netherlands, 2-8 April 2016
  http://www.etaps.org/2016
* OVERVIEW
  ETAPS is the primary European forum for academic and industrial
  researchers working on topics relating to software science. ETAPS,
  established in 1998, is a confederation of five main annual
  conferences, accompanied by satellite workshops. ETAPS 2016 is the
  nineteenth event in the series.
* MAIN CONFERENCES (4-7 April)
   -- ESOP: European Symposium on Programming
       (PC chair Peter Thiemann, Universitat Freiburg, Germany)
   -- FASE: Fundamental Approaches to Software Engineering
       (PC chairs Perdita Stevens, University of Edinburgh, UK,
        and Andrzej Wasowski, IT University of Copenhagen, Denmark)
   -- FOSSACS: Foundations of Software Science
       and Computation Structures
       (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen,
        The Netherlands,  and Christof Loding, RWTH Aachen, Germany)
   -- POST: Principles of Security and Trust
       (PC chairs Frank Piessens, Katholieke Universiteit Leuven,
        Belgium,  and Luca Vigano, King's College London, UK)
   -- TACAS: Tools and Algorithms for
       the Construction and Analysis of Systems
       (PC chairs Marsha Chechik, University of Toronto, Canada,
       and Jean-Francois Raskin (Universite Libre de Bruxelles,
       Belgium)
   -- TACAS '16 hosts the 5th Competition on Software Verification
      (SV-COMP).
* INVITED SPEAKERS
   -- Unifying speakers:
      Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK)
      Rupak Majumdar (MPI Kaiserslautern, Germany)
   -- ESOP invited speaker:
      Cristina Lopes (University of California at Irvine, USA)
   -- FASE invited speaker:
      Oscar Nierstrasz (Universitaet Bern, Switzerland)
   -- POST invited speaker:
      Vitaly Shmatikov (University of Texas at Austin, USA)
* IMPORTANT DATES
   - 9 October 2015: Submission deadline for abstracts
   - 16 October 2015: Submission deadline for full papers
   - 2-4 December 2015: Author response period (ESOP and FoSSaCS only)
   - 18 December 2015: Notification of acceptance
   - 8 January 2016: Camera-ready versions due
* SATELLITE EVENTS (2-3 April, 8 April)
  Around 20 satellite workshops will take place before and after the
  main conferences.
* FURTHER INFORMATION
  Please do not hesitate to contact the organizers at
  j.f.groote@tue.nl, a.j.wijs@tue.nl.



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



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



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)



14th INTERNATIONAL SYMPOSIUM ON ARTIFICIAL INTELLIGENCE AND MATHEMATICS (ISAIM 2016)
  Call for Papers
  January 4-6, 2016, Fort Lauderdale FL, USA
  http://isaim2016.cs.virginia.edu
* AIMS AND SCOPE
  The International Symposium on Artificial Intelligence and Mathematics (ISAIM)
  is a biennial meeting that fosters interactions between mathematics,
  theoretical computer science, and artificial intelligence.  This is the
  fourteenth Symposium in the series, which is sponsored by Annals of
  Mathematics   and Artificial Intelligence.  We seek submissions of recent results with
  particular emphasis on the foundations of AI and mathematical methods used in
  AI.  Papers describing applications are also encouraged, but the focus should
  be on principled lessons learned from the development of the application.
  Traditionally, the Symposium attracts participants from a variety of
  disciplines, thereby providing a unique forum for scientific exchange. The
  three-day Symposium includes invited speakers, presentations of technical
  papers, and special topic sessions.
* SPECIAL TOPIC INVITED SESSIONS:
   - Boolean and pseudo-Boolean Functions, organized by Endre Boros, Rutgers
       University, and Yves Crama, University of Liege
   - Computational Approaches to Proof Construction, organized by Vijay Ganesh,
       University of Waterloo
   - Integrating Constraint Programming and Operations Research, organized by
       John Hooker, Carnegie Mellon University
   - Mathematical Theories of Natural Language Processing, organized by
       Sean A. Fulop, California State University, Fresno
* IMPORTANT DATES:
   - Paper submission:  October 25, 2015
   - Notification:      November 22, 2015
   - Final version due: December 14, 2015
   - Workshop:          January 4-6, 2016, Ft. Lauderdale, Florida
* DETAILED CALL FOR PAPERS:     http://isaim2016.cs.virginia.edu/cfps.html
* INSTRUCTIONS FOR SUBMISSIONS:
  http://isaim2016.cs.virginia.edu/submissions.html
* FURTHER INFORMATION:
  Send inquiries and requests to the program committee chairs
  (Francesca Rossi and Kristen Brent Venable) at the email address
  isaim2016 at wave DOT tulane DOT edu.
  Join isaim@googlegroups.com to receive announcements related to ISAIM.



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)



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.




Back to the LICS web page.