Newsletter 158
May  1, 2014

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

TABLE OF CONTENTS
* LICS-RELATED NEWS
  ACM SIGLOG ANNOUNCEMENT
  CSL-LICS'14
  VIENNA SUMMER OF LOGIC ANNOUNCEMENT
* DEADLINES
  Forthcoming Deadlines
* CALLS
  WING 2014 - Call for Contributions
  LCC 2014/IMMERMAN FEST - Call for Papers
  LFMTP 2014 - Call for Papers
  TGC 2014 - Call for Papers
  UITP 2014 - Call for Papers
  VERIFY 2014 - Call for Papers
  FMCAD 2014 - Call for Papers
  PSC 2014 - Call for Abstracts
  HOPA 2014 - Call for Papers
  LOLA 2014 - Call for Talk Proposals
  GandALF 2014 - Call for Papers
  RR-DC 2014 - Call for Participation
  TURING 2012 - Call for Participation
  AISS 2014 - Call for Papers
  COMPUTATIONAL LOGIC (DMV-PTM 2014) - Call for Talk Proposals
  DCM 2014 - Call for Papers
  PrakashFest 2014 - Call for Participation
  APLAS 2014 - Call for Papers
  LOPSTR 2014 - Call for Papers
  ESSLLI 2015 - Call for Course and Workshop Proposals
  RP 2014 - Call for Papers
  DOMAINS 2014 - Call for Abstracts
  AVOCS 2014 - Call for Papers
  AAA88 - Call for Participation
  ICTAI 2014 - Call for Papers
  LSB 5 - Call for Participation (Student/Postdoc Funding)
  ISR 2014 - Call for Participation
  JLAP on Formal Methods - Call for Papers
* JOB ANNOUNCEMENTS
  Full Professorship in Computer Science at the University of Warwick
  Software Engineering Vacancy at Radboud University Nijmegen
  Postdoc at ENS Lyon
  Postdoc at Queen Mary University of London
  Two PhD positions in Information Security at ETH Zurich


ACM SIGLOG ANNOUNCEMENT
* The ACM has just chartered a Special Interest Group on Logic and
  Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
  the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer)
  and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science will be the flagship
  conference of SIGLOG. It will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter is planned to be
  published quarterly in an electronic format with community news,
  technical columns, members' feedback, conference reports, book reviews
  and other items of interest to the community. The first issue will
  go out to members in July.
* SIGLOG can be joined by filling in the form at
  http://www.acm.org/membership/sig-pdfs/SIGLOG.pdf
  The standard membership fee is $25 ($15 for students).



CSL-LICS'14
  http://lii.rwth-aachen.de/lics/csl-lics14/
* This year LICS and CSL will hold a joint conference for the first time,
  as part of FLoC 2014 and the Vienna Summer of Logic. Tom Henzinger and
  Dale Miller are co-chairs of a joint PC of 38 members. The proceedings
  will be published by IEEE. The list of accepted papers and the preliminary
  schedule are available online.



VIENNA SUMMER OF LOGIC ANNOUNCEMENT
  http://vsl2014.at
* In the summer of 2014, Vienna will host the largest event in the history
  of logic. The Vienna Summer of Logic (VSL) will consist of twelve large
  conferences and numerous workshops, attracting an expected number of 2500
  researchers from all over the world. The conferences and workshops will deal
  with the main theme, logic, from three important aspects: logic in computer
  science, mathematical logic and logic in artificial intelligence.
  This unique event will be organized by the Kurt Goedel Society at Vienna
  University of Technology from July 9 to 24, 2014.
* KEYNOTE SPEAKERS
  Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie
  Mellon University), Christos Papadimitriou (University of California,
  Berkeley) and Alex Wilkie (University of Manchester).
  Dana Scott (Carnegie Mellon University) will speak in the opening session.
* LOGIC IN COMPUTER SCIENCE/FEDERATED LOGIC CONFERENCE (FLoC)
  - 26th International Conference on Computer Aided Verification (CAV)
  - 27th IEEE Computer Security Foundations Symposium (CSF)
  - 30th International Conference on Logic Programming (ICLP)
  - 7th International Joint Conference on Automated Reasoning (IJCAR)
  - 5th Conference on Interactive Theorem Proving (ITP)
  - Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic
    (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
  - 25th International Conference on Rewriting Techniques and Applications (RTA)
    joint with the 12th International Conference on Typed Lambda Calculi and
    Applications (TLCA)
  - 17th International Conference on Theory and Applications of Satisfiability
    Testing (SAT)
  - FLoC Workshops
  - FLoC Olympic Games (System Competitions)
* MATHEMATICAL LOGIC
  - Logic Colloquium 2014
  - Logic, Algebra and Truth Degrees 2014
  - The Infinity Workshop
  - Kurt Goedel Fellowship Competition
* LOGIC IN ARTIFICIAL INTELLIGENCE
  - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR)
  - 27th International Workshop on Description Logics (DL)
  - 15th International Workshop on Non-Monotonic Reasoning (NMR)
  - International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)
* KURT GOEDEL RESEARCH PRIZE FELLOWSHIP COMPETITION
  At the Vienna Summer of Logic, the Kurt Goedel Society will award three
  fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt
  Goedel Research Prize Fellowship Competition "Logical Mind: Connecting
  Foundations and Technology."
* FLOC OLYMPIC GAMES - CITIUS, MAIUS, POTENTIUS
  The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic
  Games.  Intended as a new FLoC tradition, the Games will bring together
  a multitude of established solver competitions by different research
  communities. In addition to the competitions, the Olympic Games will
  facilitate the exchange of expertise between communities, and increase
  the visibility and impact of state-of-the-art solver technology. The winners
  in the competition categories will be awarded Kurt Goedel medals at the FLoC
  Olympic Games award ceremonies.



DEADLINES
* WING 2014
  Submission deadline: May 1, 2014
  http://vsl2014.at/meetings/WING-index.html
* LCC 2014/IMMERMAN FEST
  Abstract submission (3-4 pages): May 2, 2014
  Student support application deadline: May 4, 2014
  http://www.cs.swansea.ac.uk/lcc2014/
* LFMTP 2014
  Paper submission: May 2, 2014
  http://complogic.cs.mcgill.ca/lfmtp14/
* TGC 2014
  Deadline for abstract submission: May 2, 2014
  Deadline for paper submission: May 9, 2014
  http://www.cs.le.ac.uk/events/tgc2014/
* UITP 2014
  Paper submission: May 4, 2014
  http://vsl2014.at/pages/UITP-index.html
* VERIFY 2014
  Abstract submission deadline: May 5, 2014
  http://vsl2014.at/verify
* FMCAD 2014
  Abstract submission: May 6, 2014
  Paper Submission: May 16, 2014
  http://www.fmcad.org/FMCAD14
* PSC 2014
  Abstract submission: May 6, 2014
  http://vsl2014.at/psc/
* HOPA 2014
  Submission deadline: May 9, 2014
  http://hopa.cs.rhul.ac.uk
* LOLA 2014
  Submission deadline: May 9, 2014
  http://vsl2014.at/lola/
* GandALF 2014
  Abstract submission: May 10, 2014
  Paper submission: May 25, 2014
  http://gandalf2014.di.univr.it
* RR-DC 2014
  Application deadline: May 10, 2014
  http://rr2014.di.uoa.gr/?q=node/24
* AISS 2014
  Submission deadline: May 15, 2014
  http://www.informatik.uni-bremen.de/~goeller/AISS14/Algorithmics_on_Infinite-State_Systems.html
* COMPUTATIONAL LOGIC (DMV-PTM 2014)
  Talk proposal deadline: May 15, 2014
  PhD Student grants: June 1, 2014
  http://www.math.uni.opole.pl/DMV-PTM2014/
* DCM 2014
  Submission Deadline for Extended Abstracts: May 16, 2014
  Submission Deadline for EPTCS Proceedings: September 15, 2014
  http://vsl2014.at/pages/DCM-index.html
* APLAS 2014
  Abstracts due:   May 26, 2014 (Monday)
  Submission due:  June 2, 2014 (Monday)
  http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/
* LOPSTR 2014
  Abstract submission:                     May 30, 2014
  Paper/Extended abstract submission:      June 6, 2014
  http://www.iasi.cnr.it/events/lopstr14/
* ESSLLI 2015
  Proposal submission deadline: June 1, 2014
  http://esslli2015.org
* RP 2014
  Submission deadline: June 4th, 2014
  Presentation proposals: August 4th, 2014
  http://www.cs.ox.ac.uk/RP2014/
* DOMAINS 2014
  Abstract submission: June 15, 2014
  http://www.pps.univ-paris-diderot.fr/~varacca/domains/Domains_XI
* AVOCS 2014
  Submission (abstract for full paper): June 16, 2014
  Submission (full papers): June 23, 2014
  Submission (research ideas): August 7, 2014
  http://www.utwente.nl/avocs2014
* ICTAI 2014
  Paper submission: June 30, 2014
  http://ictai2014.cs.ucy.ac.cy
* ISR 2014
  Early registration deadline: July 15, 2014
  http://isr2014.inf.utfsm.cl
* JLAP Special Issue on Formal Methods
  Paper submission: July 15, 2014



5TH INTERNATIONAL WORKSHOP ON INVARIANT GENERATION (WING 2014)
  Call for Contributions
  23 July 2014
  Vienna, Austria
  http://vsl2014.at/meetings/WING-index.html
* IMPORTANT DATES
  Submission deadline:  1 MAY 2014
  Workshop:  23 July 2014
* ABOUT WING
  The ability to automatically extract and synthesize auxiliary properties
  of programs has had a profound effect on program analysis,  testing, and
  verification over the last several decades. A key impediment for program
  verification is the overhead associated with providing, debugging, and
  verifying auxiliary invariant annotations. Releasing the software
  developer from this burden is crucial for ensuring the practical
  relevance of program verification. In the context of testing, suitable
  invariants have the potential of enabling high-coverage test-case
  generation. Thus, invariant generation is a key ingredient in a broad
  spectrum of tools that help to improve program reliability and
  understanding. As the design and implementation of reliable software
  remains an important issue, any progress in this area will have a
  significant impact.
  The increasing power of automated theorem proving and computer algebra
  has opened new perspectives for computer-aided program verification; in
  particular for the automatic generation of inductive assertions in order
  to reason about loops and recursion. Especially promising breakthroughs
  are invariant generation techniques by Groebner bases, quantifier
  elimination, and algorithmic combinatorics, which can be used in
  conjunction with model checking, theorem proving, static analysis, and
  abstract interpretation. The aim of this workshop is to bring together
  researchers from these diverse fields.
* PAPER SUBMISSIONS
  We encourage submissions on work in progress, new ideas, tools under
  development, as well as work by PhD students, to be presented at WING
  2014. Submissions should adhere to the EasyChair document class, and be
  between 6 and 15 pages.
  Submissions need not be original. Extended versions of submissions may
  have been published previously, or submitted concurrently with or after
  WING 2014 to another workshop, conference or a journal.
* PROGRAM CHAIRS
  Reiner Haehnle (TU Darmstadt) -- chair
  Einar Broch Johnsen (University of Oslo) -- chair



15 INT. WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY AND WORKSHOP IN HONOR OF NEIL IMMERMAN'S 60TH BIRTHDAY (LCC 2014/IMMERMAN FEST)
  Call for Papers
  http://www.cs.swansea.ac.uk/lcc2014/
  July 12-13, Vienna, Austria
  (Affiliated with Vienna Summer of Logic and FloC 2014.)
* DATES
  Abstract submission (3-4 pages) deadline: May 2nd, 2014
  Student support application deadline:  May 4th, 2014
  2014 Authors' notification:  May 19th, 2014
  Support decisions notification: May 19th, 2014
* THE LCC 2014/IMMERMANFEST WORKSHOP
  The program will consist of a first day (July 12th) of both invited talks
  and contributed talks selected by the program committee (based on
  submitted abstracts), and a second day (July 13th) devoted entirely to
  invited talks in celebration of Neil Immerman's 60th birthday.
* INVITED SPEAKERS
  Day 1: Sam Buss,  Georg Moser;
  Day 2: Eric Allender, Anuj Dawar, Phokion Kolaitis,  Benjamin Rossman,
  Mooly Sagiv,  Nicole Schweikardt.
* AIM
  LCC meetings are aimed at foundational interconnections between
  logic and computational complexity, including topics such as:
  finite model theory, proof complexity, bounded arithmetic, implicit
  computational complexity, complexity of higher types, and logic and
  complexity aspects of verification and database theory.  Neil Immerman
  has made many inspiring contributions to the connections betweens logic
  and complexity.  This year, day two of LCC 2014 will honor Neil's 60th
  birthday with a series of invited lectures.
* PROCEEDINGS
  There will be no published proceedings for LCC 2014; we welcome
  submissions of abstracts (3-4 pages) that can be based on work submitted or
  published elsewhere.  All submissions via Easychair at:
  http://www.easychair.org/conferences/?conf=lcc2014
  For additional information see  http://www.cs.swansea.ac.uk/lcc/
  or email lcc2014@easychair.org
* STUDENT/POSTDOC PARTICIPATION FUNDING
  We have secured grant funding from various sources for student/postdoc
  participation at the LCC2014 / ImmermanFest Meeting.
  This includes an NSF grant for funding participation by
  US-based students, and smaller funds for other students.
  For information on eligibility and selection criteria, and
  the procedure for applying for student funding (deadline May 4th), visit:
  http://www.cs.swansea.ac.uk/lcc2014/funding.html



9TH INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE (LFMTP 2014)
  Call for Papers
  July 17, 2014
  Vienna, Austria
  http://complogic.cs.mcgill.ca/lfmtp14/
  Affiliated with CSL-LICS 2014 and IJCAR 2014
  as part of FLoC and VSL
* DESCRIPTION
  Logical frameworks and meta-languages form a common
  substrate for representing, implementing, and reasoning about a wide
  variety of deductive systems of interest in logic and computer
  science. Their design and implementation on the one hand and their use
  in reasoning tasks ranging from the correctness of software to the
  properties of formal computational systems on the other hand have been
  the focus of considerable research over the last two decades. This
  workshop will bring together designers, implementors, and
  practitioners to discuss various aspects impinging on the structure
  and utility of logical frameworks, including the treatment of variable
  binding, inductive and co-inductive reasoning techniques and the
  expressivity and lucidity of the reasoning process.
* TOPICS
  LFMTP 2014 will provide researchers a forum to present
  state-of-the-art techniques and discuss progress in areas such as the
  following:
  - Encoding and reasoning about the meta-theory of programming
    languages and related formally specified systems.
  - Theoretical and practical issues concerning the treatment of
    variable binding, especially the representation of, and reasoning
    about, datatypes defined from binding signatures.
  - Logical treatments of inductive and co-inductive definitions and
    associated reasoning techniques.
  - New theory contributions: canonical and substructural frameworks,
    contextual frameworks, proof-theoretic foundations supporting binders,
    functional programming over logical frameworks, homotopy type theory.
  - Applications of logical frameworks, e.g., in proof-carrying
    architectures such as proof-carrying authorization.
  - Techniques for programming with binders in functional programming
    languages such as Haskell, OCaml, or Agda and logic programming
    languages such as lambda Prolog or Alpha-Prolog.
    with encoding programming languages theory will be particularly
    welcome.
* SUBMISSIONS
  In addition to regular papers, we also solicit "work in
  progress" reports, in a broad sense. Those do not need to report
  original or fully polished research results, but should be interesting
  for the community at large.
* IMPORTANT DATES
  Paper Submission:   May 2
  Notification:   June 3
  Final papers due:   June 19
  Workshop:   July 17
* PROCEEDINGS
  Accepted regular papers will be included in the
  proceedings, which will be published in the ACM International
  Conference Proceedings Series, available in the ACM Digital
  Library. Authors are encouraged to publish auxiliary material with
  their paper (technical appendixes, source code, scripts, test data,
  etc.).
* PROGRAM CHAIRS
  Amy Felty, Co-Chair (University of Ottawa)
  Brigitte Pientka, Co-Chair (McGill University)



9TH SYMPOSIUM ON TRUSTWORTHY GLOBAL COMPUTING (TGC 2014)
  Call for Papers
  http://www.cs.le.ac.uk/events/tgc2014/
  5-6 September, 2014
  Rome, Italy (co-located with Concur 2014)
* SCOPE
  The Symposium on Trustworthy Global Computing is an international annual
  venue dedicated to secure and reliable computation in the so-called global
  computing, i.e., those computational abstractions emerging in large-scale
  infrastructures such as service-oriented architectures, autonomic systems,
  and cloud computing.
* HIGHLIGHTS
  - Parallel submission to CONCUR 2014 allowed (see submission instructions)
  - Keynote speakers: Veronique Cortier (CNRS, France) and Catuscia Palamidessi
    (INRIA Saclay and LIX, France)
  - Deadline for abstract submission: May 2 2014
* TOPICS
  The TGC series focuses on providing frameworks, tools, algorithms, and
  protocols for rigorously designing, verifying, and implementing open-ended,
  large-scaled applications. The related models of computation incorporate
  code and data mobility over distributed networks that connect heterogeneous
  devices and have dynamically changing topologies.
  We solicit papers in all areas of global computing, including (but not
  limited to):
  - languages, semantic models, and abstractions
  - security, trust, and reliability
  - privacy and information flow policies
  - algorithms and protocols
  - resource management
  - model checking, theorem proving, and static analysis
  - tool support
* IMPORTANT DATES
  - Deadline for abstract submission: May 2 2014
  - Deadline for paper submission: May 9 2014 (STRICT!)
  - Notification to authors: June 27 2014
* SUBMISSION INSTRUCTIONS
  Contributions must be in PostScript or PDF format and consist of no more
  than 15 pages in the Springer's LNCS style. Clearly marked appendixes may
  include additional details and proofs omitted due to space limitations.
  Submitted papers must describe work unpublished in refereed venues, and not
  submitted for publication elsewhere, with the exception of CONCUR. Concurrent
  submissions to CONCUR 2014 and TGC 2014 are allowed, and in fact encouraged,
  for those papers that may potentially enhance both conferences. Authors of
  such double submissions should flag them to the program chairs at the time
  of submission (by choosing the Regular Paper submitted to CONCUR paper
  category). Reviews may be shared between CONCUR and TGC. CONCUR timeline
  is ahead of TGC; submissions accepted by CONCUR will be considered
  automatically withdrawn from TGC.
* POST-PROCEEDINGS
  We plan to publish post-proceedings shortly after the conference, to give
  the authors the opportunity to take into account discussions and suggestions
  at the conference.
  The post-proceedings will appear as a volume in Springer Lecture Notes in
  Computer Science (LNCS) series.
* PC CHAIRS
  - Matteo Maffei (CISPA, Saarland University, Germany)
  - Emilio Tuosto (University of Leicester, UK)



11th WORKSHOP ON USER INTERFACES FOR THEOREM PROVERS (UITP 2014)
  Call for Papers
  July 17, 2014
  Vienna, Austria
  http://vsl2014.at/pages/UITP-index.html
* SCOPE
  The User Interfaces for Theorem Provers (UITP) workshop series
  provides a forum for researchers interested in improving human
  interaction with interactive and automated deduction systems in a
  broad sense.
* PAPER SUBMISSION
  Papers should describe previously unpublished work
  (completed or in progress), and be at least 4 pages and at most
  12 pages. We encourage concise and relevant papers. Submissions should be
  in PDF format, and typeset with the EPTCS LaTeX document class (which
  can be downloaded from http://style.eptcs.org/). Submission should be
  done via EasyChair (https://www.easychair.org/conferences/?conf=uitp14).
  Papers will be published after the workshop in the
  Electronic Proceedings in Theoretical Computer Science
  (EPTCS - http://www.eptcs.org/).
* TOPICS:
  - Experiments and evaluation of prover interfaces
  - Application-specific interaction mechanisms
  - Interfaces for expert systems
  - Web interfaces for deduction tools
  - New designs for prover interfaces
  - Performance/responsiveness of user interface for theorem provers
  - Proof scripting languages
  - Proof formats for authoring, exchanging and presenting proofs
  - Domain-specific languages (DSLs) for interfacing with reasoning tools
  - Infrastructure for sharing and using benchmarks for theorem proving
  - Summarization of proofs
  - Visualization of proofs
  - Visualization of large structured deduction problems
  - User-friendly repositories of formal mathematical knowledge
  - Mobile interfaces (iPhone or Android clients for deduction tools)
  - System descriptions
* IMPORTANT DATES
  - Paper submission: May 4
  - Author notification: May 25
  - Final papers: May 31
  - Workshop: July 17



8TH INTERNATIONAL VERIFICATION WORKSHOP (VERIFY'14)
  Call for Papers
  in connection with IJCAR 2014 at FLoC 2014
  July 23-24, 2014, Vienna, Austria
  http://vsl2014.at/verify
* The formal  verification of  critical information  systems has  a long
  tradition  as one  of  the  main areas  of  application for  automated
  theorem proving. Nevertheless, the area is of still growing importance
  as the number of computers  affecting everyday life and the complexity
  of  these systems  are  both  increasing. The  purpose  of the  VERIFY
  workshop  series is  to  discuss problems  arising  during the  formal
  modeling and  verification of  information systems and  to investigate
  suitable solutions.  Possible perspectives include those  of automated
  theorem proving, tool support, system engineering, and applications.
* The VERIFY  workshop series aims  at bringing together people  who are
  interested in the development of safety and security critical systems,
  in formal  methods, in  the development  of automated  theorem proving
  techniques,  and  in  the   development  of  tool  support.  Practical
  experiences gained in  realistic verifications are of  interest to the
  automated theorem proving community and new theorem proving techniques
  should  be transferred  into practice.  The overall  objective of  the
  VERIFY workshops is to identify  open problems and to discuss possible
  solutions under the theme
* What are the verification problems? What are the deduction techniques?
  The 2014 edition of VERIFY aims for extending the verification methods
  for processes implemented in hard-  and software to processes that may
  well include computer-assistance, but have  a large part or a frequent
  interaction  with non-computer-based  process  steps.  Hence the  2014
  edition will run under the focus theme "Verification Beyond IT Systems".
* Submissions are encouraged in one of the following two categories:
  A. Regular  paper:  Submissions  in  this  category  should   describe
     previously unpublished  work (completed or in  progress), including
     descriptions of research, tools,  and applications.  Papers must be
     5-14  pages  long (in  EasyChair  style)  or  6-15 pages  long  (in
     Springer LNCS style).
  B. Discussion  papers: Submissions  in this  category are  intended to
     initiate discussions and hence should address controversial issues,
     and may include  provocative statements. Papers must  be 3-14 pages
     long  (in EasyChair  style) or  3-15 pages  long (in  Springer LNCS
     style).
* Important dates
   Abstract Submission Deadline:    May 5th, 2014 (extended)
   Paper Submission Deadline:       May 5th, 2014 (extended)
   Notification of acceptance:      May 20, 2014
   Final version due:               May 27, 2014
   Workshop date:                   July 23-24, 2014
* Submission is via EasyChair:
   http://www.easychair.org/conferences/?conf=verify2014
* Program chairs
  Serge Autexier (DFKI) - chair
  Bernhard Beckert (Karlsruhe Institute of Technology) - chair



INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2014)
  Call for Papers
  Lausanne, Switzerland, October 21-24, 2014
  http://www.fmcad.org/FMCAD14
* CONFERENCE
  The conference includes the FMCAD student forum;
  it is collocated with MEMOCODE, DIFTS, and the
  Hardware Model Checking Competition 2014 FMCAD Edition.
* IMPORTANT DATES
  Abstract Submission: Tuesday, May 6
  Paper Submission: Friday, May 16
  Author Response Period: June 23-27
  Author Notification: July 25
  Camera-Ready Version: August 15
  Conference: October 21-24
* SCOPE
  FMCAD 2014 is the 14th in a series of conferences on the
  theory and application of formal methods in computer-aided
  design and verification of computer systems and related
  topics. FMCAD provides a leading international forum to
  researchers and practitioners in academia and industry for
  presenting and discussing novel methods, technologies,
  theoretical results, tools, and open challenges in formal
  reasoning.
* COLOCATION
  FMCAD 2014 will be co-located with MEMOCODE, the ACM/IEEE
  International Conference on Formal Methods and Models for
  Codesign, in Lausanne, Switzerland.  MEMOCODE will take
  place from October 19 to 20, followed by a joint
  FMCAD/MEMOCODE tutorial day on October 21.  FMCAD will
  continue from October 22 to 24, 2014.
* TOPICS OF INTEREST
  FMCAD welcomes submission of papers reporting original
  research on advances in all aspects of formal methods
  technology and its application to computer-aided design.
* SUBMISSIONS
  Submissions must be made electronically in PDF format
  through a link available on the FMCAD web site
  http://fmcad.org/FMCAD14
  Two categories of papers can be submitted: regular papers (8
  pages) and short papers (4 pages) containing ideas and
  results that can be described succinctly.  Both regular and
  short papers must use the IEEE Transactions format on
  letter-size paper with a 10-point font size.
  Submissions must contain original research that has not been
  previously published, nor concurrently submitted for
  publication. Any partial overlap with published or
  concurrently submitted papers must be clearly indicated. If
  experimental results are reported, authors are strongly
  encouraged to provide adequate access to their data so that
  results can be independently verified.
* STUDENT FORUM
  FMCAD 2014 will host a Student Forum that provides a
  platform for graduate students at any career stage to
  introduce their research to the wider Formal Methods
  community, and solicit feedback. Submissions for the event
  must be short reports describing research ideas or ongoing
  work that the student is currently pursuing, and must be
  within the scope of FMCAD.  Work, part of which has been
  previously published, will be considered; the novel aspect
  to be addressed in future work must be clearly described in
  such cases.
  Limited funds will be available for travel assistance for
  students with accepted contributions.
  More details are available at
  http://www.fmcad.org/FMCAD14/student-forum.shtml
* IMPORTANT DATES FOR STUDENT FORUM
  Submission Deadline: Sunday, June 08
  Acceptance notification: Sunday, Aug 03
  Forum date: Monday, Oct 20
* CO-LOCATED EVENTS
  The following meetings will be co-located with this year's edition:
  -- MEMOCODE 2014, the ACM/IEEE International Conference on
   Formal Methods and Models for Codesign
   ( http://www.memocode-conference.com )
  -- DIFTS 2014, International Workshop on Design and
   Implementation of Formal Tools and Systems
   ( http://fmgroup.polito.it/cabodi/difts2014/ )
  -- We are also proud to host this year's
   Hardware Model Checking Competition 2014 FMCAD Edition
* ORGANIZING COMMITTEE
  PROGRAM CHAIRS
  Koen Claessen, Chalmers University of Technology
  Viktor Kuncak, EPFL
  LOCAL ARRANGEMENT CHAIR
  Viktor Kuncak, EPFL
  PUBLICATION CHAIR
  Barbara Jobstmann, EPFL, Jasper DA, and CNRS/Verimag
  STUDENT FORUM CHAIR
  Ruzica Piskac, Yale University
  PUBLICITY CHAIR
  Mitra Purandare, IBM Research Lab, Zurich



INTERNATIONAL WORKSHOP ON PROOF, STRUCTURE AND COMPUTATION (PSC 2014)
  Call for Abstracts
  CSL-LICS Affiliated Workshop
  July 17-18, 2014, Vienna, Austria
  http://vsl2014.at/psc/
* HIGHLIGHTS
  - PSC welcomes submissions of short abstracts: 1-2 pages in LNCS format
  - Invited speakers: Ulrich Berger and Martin Escardo
  - Post-proceedings are planned for a journal special issue
* IMPORTANT DATES
  6 May 2014 ............. Abstract submission (extended)
  16 May 2014 ............ Notification to authors
  16 June 2014 ........... Camera-ready abstracts for electronic proceedings
  17-18 July 2014 ........ PSC in Vienna
* SCOPE
  The extraction of computational content from proofs has a long tradition in
  logic, but usually depends on a concrete encoding that allows us to turn
  proofs into algorithms. A recent trend in this field is the departure from
  such encoding which not only makes it simpler to represent the mathematical
  content, but also makes the extracted computational content encoding
  independent. This shift in focus allows us to focus on what is relevant:
  the computational aspects of proofs and the specification (not representation)
  of the structures involved. We now have growing evidence that this move
  from representations (e.g. the signed digit representation of the reals)
  to axioms (e.g. of the real numbers) is possible. This development largely
  parallels the step from assembler to high level languages in programming.
  As a by-product this move has already opened up the possibility to gain
  computational information from axiomatic proofs in more abstract and
  genuinely structural areas of mathematics such as algebra and topology.
* INVITED SPEAKERS
  Ulrich Berger (Swansea University, UK)
  Martin Escardo (University of Birmingham, UK)
* SUBMISSIONS
  We welcome 1-2-page abstracts presenting (finished, ongoing, or if
  clearly stated even published) work on proof, structure, and computation.
  Particular topics of interest are
  -  Proof Theory
  -  Program Extraction
  -  Constructive Mathematics
  -  Topology and Computation
  -  Realisability Semantics
  -  Coalgebra and Computation
  -  Categorical Models
  -  Domain Theory
  -  Interval Analysis
* SUBMISSION GUIDELINES
  Abstracts are invited of ongoing, finished, or (if clearly stated) even
  published work on a topic relevant to the workshop. The abstracts will
  appear in electronic pre-proceedings that will be distributed at the meeting.
  Abstracts (at most 2 pages, in LNCS style) are to be be submitted
  electronically in PDF via EasyChair
  http://www.easychair.org/conferences/?conf=psc2014
  Accepted communications must be presented at the workshop by one of the
  authors.
* SPECIAL ISSUE
  We plan to invite extended versions of selected abstract with original
  work to post-proceedings in a journal special issue. They will be
  peer-reviewed according to the standard journal policy.
* CHAIRS
  Peter Schuster (University of Leeds, UK), PC chair
  Ana Sokolova (University of Salzburg, Austria), PC chair
* ORGANIZING COMMITTEE
  Dirk Pattinson (ANU, Australia), PC chair
  Peter Schuster (University of Leeds, UK), PC chair
  Ana Sokolova (University of Salzburg, Austria), PC chair
* CONTACT
  psc2014@easychair.org



WORKSHOP ON HIGHER-ORDER PROGRAM ANALYSIS (HOPA)
  Call for Papers
  18th July, Part of FLoC 2014, Vienna University of Technology, Austria
  http://hopa.cs.rhul.ac.uk
* The HOPA workshop aims to bring together the various growing communities
  involved in the analysis of higher-order programs. The focus of the workshop
  is both on tools and techniques for practical analysis, and on the
  dissemination of new theoretical results.
* IMPORTANT DATES
  - Submission deadline: 9th May, 2014.
  - Notification: 21st May, 2014.
  - USB-ready versions: 30th May, 2014.
  - Main event: 18th July, 2014.
* INVITED SPEAKERS
  Anders Moeller, Aarhus University, Denmark,
  Grigore Rosu, University of Illinois at Urbana-Champaign, USA



5TH WORKSHOP ON SYNTAX AND SEMANTICS OF LOW-LEVEL LANGUAGES (LOLA 2014)
  Call for Talk Proposals
  Sunday 13th July 2014
  Vienna, Austria
  A satellite workshop of CSL/LICS 2014 at the Vienna Summer of Logic
  http://vsl2014.at/lola/
* OBJECTIVES
  It has been understood since the late 1960s that tools and structures
  arising in mathematical logic and proof theory can usefully be applied
  to the design of high level programming languages, and to the development
  of reasoning principles for such languages. Yet low level languages,
  such as machine code, and the compilation of high level languages into
  a low level ones have traditionally been seen as having little or no
  essential connection to logic. However, a fundamental discovery of this
  past decade has been that low level languages are also governed by
  logical principles. From this key observation has emerged an active and
  fascinating new research area at the frontier of logic and computer science.
  The practically-motivated design of logics reflecting the structure of
  low-level languages (such as heaps, registers and code pointers) and
  low-level properties of programs (such as resource usage) goes hand in hand
  with the some of the most advanced contemporary researches in semantics
  and proof theory, including classical realizability and forcing, double
  orthogonality, parametricity, linear logic, game semantics, uniformity,
  categorical semantics, explicit substitutions, abstract machines,
  implicit complexity and sublinear programming.
* TOPICS
  The LOLA workshop, affiliated with CSL-LICS, will bring together
  researchers interested in many aspects of the relationship between
  logic and low level languages and programs. Topics of interest
  include, but are not limited to:
  - Typed assembly languages,
  - Certified assembly programming,
  - Certified and certifying compilation,
  - Proof-carrying code,
  - Program optimization,
  - Modal logic and realizability in machine code,
  - Realizability and double orthogonality in assembly code,
  - Parametricity, modules and existential types,
  - General references, Kripke models and recursive types,
  - Continuations and concurrency,
  - Implicit complexity, sublinear programming and Turing machines,
  - Closures and explicit substitutions,
  - Linear logic and separation logic,
  - Game semantics, abstract machines and hardware synthesis,
  - Monoidal and premonoidal categories, traces and effects.
* IMPORTANT DATES
  Submission deadline: Friday 9 May 2014
  Author notification: Wednesday 21 May 2014
  Workshop: Sunday 13th July 2014
* SUBMISSION INFORMATION
  LOLA is an informal workshop aiming at a high degree of useful interaction
  amongst the participants, welcoming proposals for talks on work in progress,
  overviews of larger programmes, position presentations and short tutorials
  as well as more traditional research talks describing new results.
  The programme committee will select the workshop presentations from
  submitted proposals, which may take the form either of a two page
  abstract or of a longer (published or unpublished) paper describing
  completed work. The submissions will be made by easychair at
  https://www.easychair.org/conferences/?conf=lola2014



5TH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS AND FORMAL VERIFICATION (GandALF 2014)
  Preliminary Call for Papers
  September 10 - 12, 2014,
  Verona, Italy
  http://gandalf2014.di.univr.it
* AIM
  The aim of the symposium is to bring together researchers from academia
  and industry which are actively working in the fields of Games, Automata,
  Logics, and Formal Verification. The idea is to cover an ample spectrum of
  themes, ranging from theory to applications, and stimulate
  cross-fertilization. Papers focused on formal methods are especially
  welcome. Authors are invited to submit original research or tool papers on
  all relevant topics in these areas. Papers discussing new ideas that are
  at an early stage of development are also welcome.
* TOPICS
  The topics covered by the conference include, but are not limited to:
  - Automata Theory
  - Automated Deduction
  - Computational aspects of Game Theory
  - Concurrency and Distributed computation
  - Decision Procedures
  - Deductive, Compositional, and Abstraction Techniques for Verification
  - Finite Model Theory
  - First-order and Higher-order Logics
  - Formal Languages
  - Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
  - Games and Automata for Verification
  - Game Semantics
  - Logical aspects of Computational Complexity
  - Logics of Programs
  - Modal and Temporal Logics
  - Model Checking
  - Models of Reactive and Real-Time Systems
  - Program Analysis and Software Verification
  - Run-time Verification and Testing
  - Specification and Verification of Finite and Infinite-state Systems
  - Synthesis
* IMPORTANT DATES
  May 10th   Abstract submission
  May 25th   Paper submission
  June 25th  Notification
  July 25th  Camera-ready submission
* PUBLICATIONS
  The conference proceedings will be published by Electronic Proceedings in
  Theoretical Computer Science. A special issue of a major international
  journal to publish an extended and revised version of the best symposium
  papers is also under consideration.
* SUBMISSIONS
  Submitted papers should not exceed fourteen (14) pages using EPTCS format,
  be unpublished and contain original research. For papers reporting
  experimental results, authors are encouraged to make their data available
  with their submission. Submissions must be in PDF or PS format and will be
  handled via EasyChair
  (https://www.easychair.org/conferences/?conf=gandalf2014).
* PC CHAIRS
  - Adriano Peron, University Federico II of Napoli, Italy
  - Carla Piazza, University of Udine, Italy



DOCTORAL CONSORTIUM OF THE INTERNATIONAL CONFERENCE ON WEB REASONING AND RULE SYSTEMS (RR-DC 2014)
  Call for Participation
  http://rr2014.di.uoa.gr/?q=node/24
  Sept 15-17, Athens, Greece
* AIMS
  The Doctoral Consortium of the International Conference on Web Reasoning
  and Rule Systems (RR-DC) follows the success of its former editions held
  in Vienna (Austria) in September 2012, and in Mannheim (Germany) in July
  2013. The RR-DC 2014 will take place during RR 2014 in Athens, Greece.
  The RR-DC is intended for PhD students who are engaged in research in the
  field of Web Reasoning and Rules Systems and related areas. The aim of the
  RR-DC is to provide doctoral students with the unique opportunity to present
  and discuss their research directions and being supported in establishing
  fruitful collaborations with prominent researchers working in areas
  related to Web Reasoning.
* IMPORTANT DATES
  - Application Deadline: May 10th, 2014 <<< EXTENDED
  - Notification: May 24th, 2014
  - Camera Ready: June 6th, 2014
* GRANTS
  RR will be offering scholarships to participants to partially cover
  registration and/or accommodation fees. An additional number of grants
  is reserved to US Students to attend RR2014 and the co-located RW2014
  summer school. Applications instructions to obtain a grant are available
  from http://rr2014.di.uoa.gr/?q=grants
* SUBMISSION
  To apply for participation to the RR2014 Doctoral Consortium students
  are asked to submit
   1. Cover Letter (max 1 page)
   2. Research Summary (max 7 pages) of their PhD research
   3. Letter of Recommendation
  The exact requirements can be found on the website.
* BEST DC CONTRIBUTION AWARD
  The DC program committee will review student's applications and will
  assign the "Best RR-DC 2014 Contribution" award among participants.
  The award-winning contributor will present in the RR 2013 main program
  as regular (15 min) presentation, and will have the option to have
  its research summary included in the proceedings of the main conference
  in the form of a two-page extended abstract.
* CHAIR
  Francesco Ricca, University of Calabria, Italy



TURING CENTENARY RESEARCH PROJECT: MIND, MECHANISM AND MATHEMATICS
  Call for Participation
  2nd Workshop, Columbia University,
  New York City, May 12-14, 2014
  http://turing.colorwork.com
  http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?710
* VENUE
  The second annual workshop of the Turing Centenary Research Project will
  be held May 12-14 at the Morningside Campus of Columbia University, New
  York City. The research project, funded by the John Templeton Foundation,
  is a multidisciplinary activity focused on a number of issues related to
  computability in a broad sense - see:
  http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?704
  The first workshop was held in Milan, Italy, in June 2013:
  http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?709
  This more public event is open to all. As well as short talks from the
  winners of the 2012 Turing Centenary competition, this exciting event
  features a number of distinguished speakers from a spectrum disciplines.
  The meeting will be of particular interest to participants from
  mathematics, computer science, biology, linguistics, artificial
  intelligence, philosophy - extending to those concerned with
  computability-theoretic issues in the humanities, arts and social
  sciences.
* PROVISIONAL INVITED SPEAKERS
  ERIC ALLENDER (Rutgers), MARTIN DAVIS (New York University and UC
  Berkeley), RAY DOUGHERTY (New York University), STUART KAUFFMAN
  (University of Vermont), BENJAMIN KOO (Tsinghua University), RUSSELL
  MILLER (City University of New York), KLAUS SUTNER (Carnegie Mellon
  University), STEPHEN WOLFRAM (Wolfram Research)
* REGISTRATION
  Please feel free to register at
  http://turing.colorwork.com/Schedule.html
  for all events you are interested in attending. Registration is free -
  a small (optional) cash donation on the day is invited.
  Further information from the Co-Chairs:
  S Barry Cooper pmt6sbc@leeds.ac.uk, Gautam Dasgupta gd18@columbia.edu



WORKSHOP ON ALGORITHMICS OF INFINITE-STATE SYSTEMS (AISS 2014)
  Call for Presentations
  July 18, 2014, Vienna, Austria
  satellite workshop of CSL-LICS 2014
  http://www.informatik.uni-bremen.de/~goeller/AISS14/Algorithmics_on_Infinite-State_Systems.html
* The workshop provides the opportunity to assess recent scientific
  advances and exchange ideas on the algorithmic theory of infinite state
  systems. Infinite state systems arise in many areas of computer science.
  Typical examples are recursive programs, communicating systems with
  unbounded buffers, and real time systems. Important algorithmic techniques
  dealing with infinite state systems include model checking, reachability
  and equivalence checking.
* We invite submissions on the following topics (no order) as well as thereto
  related areas: abstract machine models for infinite state systems  (e.g.
  pushdown systems, higher-order pushdown systems, counter automata), Petri
  nets,  automatic structures, well-structured transition systems, rewriting
  formalisms for infinite state systems (e.g. ground tree rewriting),
  higher-order recursion schemes, algorithmic model theory, games on infinite
  arenas, model checking for infinite state systems (e.g. model checking
  for MSO, FO, CTL, LTL, mu-calculus), equivalence checking for infinite
  state systems (e.g. bisimulation equivalence checking) decomposition
  techniques for infinite state systems, (e.g. Feferman/Vaught decompositions)
  reachability in infinite state systems
* INVITED SPEAKERS
  Joel Ouaknine (University of Oxford) and Olivier Serre (Universite Paris 7)
* SUBMISSIONS
  Submissions should consist of an abstract of at most 4 pages. We do not plan
  to have a published proceedings or special issue for a journal. Theorefore,
  already published recent work is welcome too. Submissions should be made via
  the easy chair system:
  https://www.easychair.org/conferences/?conf=aiss2014
* IMPORTANT DATES
  Submissions by May 15, 2014
  Notification by June 1, 2014



COMPUTATIONAL LOGIC (DMV-PTM JOINT MEETING 2014)
  Call for Talk Proposals
  Poznań, 17-19 September 2014
  http://www.math.uni.opole.pl/DMV-PTM2014/
  Thematic Session as part of the DMV-PTM Mathematical Joint Meeting
* Traditionally, logic was a subject of philosophy and later a tool
  for mathematics. In the last fifty years, however, logic  has become
  an integral part of theoretical computer science and several
  important subjects in logic are being developed in close interaction
  with computer science. Examples include finite and computational
  model theory, automata theory, computer-aided verification, database
  theory and many other fields.
* In many of these fields, there is a strong computational aspect in
  the logical tools facilitated. German and Polish researchers have
  taken an important role in this development and work actively on
  applications of logic in computer science.
* We are therefore organising a special session on computational logic
  as part of a general meeting of the German and Polish Mathematical
  Societies. The aim of this session is to bring together logicians,
  mathematicians and computer scientists who use logic as a
  fundamental tool in their research, especially with a computational
  component.
* For further information including a tentative schedule please see
  http://www.math.uni.opole.pl/DMV-PTM2014/index.php
* CONFIRMED SPEAKERS
  - Mikolaj Bojanczyk (University of Warsaw)
  - Wojciech Buszkowski (AMU Poznan)
  - Martin Hofmann (LMU Munich)
  - Eryk Kopczynski (University of Warsaw)
  - Carsten Lutz (University of Bremen)
  - Martin Otto (TU Darmstadt)
  - Leszek Pacholski (University of Wroclaw)
  - Jakob Rehof (TU Dortmund)
  - Thomas Schwentick (TU Dortmund)
* SUBMISSION
  If you wish to participate and to give a talk, please send an email
  to any of the organisers by May 15, 2014.
* REGISTRATION
  To register please see http://dmv.ptm.org.pl/index.html.
* ORGANISERS
  - Stephan Kreutzer (Berlin), stephan.kreutzer@tu-berlin.de
  - Lidia Tendera (Opole), tendera@math.uni.opole.pl
  - Pawel Urzyczyn (Warsaw), urzy@mimuw.edu.pl
* We can offer a small amount of financial support to PhD-students. If
  you wish to apply, please write an email with subject DMV-PTM
  session to im@math.uni.opole.pl giving your name, affiliation,
  title of thesis, supervisor and year you are in. Deadline for
  applications is June 1, 2014.



10TH INTERNATIONAL WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM 2014)
  First Call for Papers
  July 13, 2014
  Vienna, Austria
  http://vsl2014.at/pages/DCM-index.html
* SCOPE
  Several new models of computation have emerged in the last few years, and
  many developments of traditional computational models have been proposed
  with the aim of taking into account the new demands of computer systems
  users and the new capabilities of computation engines. A new computational
  model, or a new feature in a traditional one, usually is reflected in a new
  family of programming languages, and new paradigms of software development.
  DCM 2014 is the tenth in a series of international workshops focusing on new
  computational models. The aim of this workshop is to bring together
  researchers who are currently developing new computational models or
  new features for traditional computational models, in order to foster their
  interaction, to provide a forum for presenting new ideas and work in
  progress, and to enable newcomers to learn about current activities in
  this area. DCM 2014 will be a one-day satellite event of CSL-LICS 2014,
  in the context of VSL 2014.
* TOPICS OF INTEREST
  Topics of interest include all abstract models of computation and their
  properties, and their applications to the development of programming
  languages and systems:
  - functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
  - quantum computation, including implementations and formal methods in quantum protocols;
  - probabilistic computation and verification in modeling situations;
  - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models;
  - general concurrent models including the treatment of mobility, trust, and security;
  - infinitary models of computation;
  - information-theoretic ideas in computing.
* IMPORTANT DATES
  - Submission Deadline for Extended Abstracts: 16 May 2014
  - Notification: 6 June 2014
  - Workshop: 13 July 2014
  - Submission Deadline for EPTCS Proceedings: 15 September 2014
* SUBMISSIONS
  Submit your paper in PDF format via the conference EasyChair submission page:
  https://www.easychair.org/conferences/?conf=dcm2014
  Submissions should be an abstract of at most 5 pages, written in English.
  Simultaneous submission to journals, conferences or other workshops is not
  permitted. Please use the EPTCS macro package and follow the instructions of
  EPTCS, following the EPTCS style:
  http://style.eptcs.org/
  A submission may contain an appendix, but reading the appendix should not
  be necessary to assess its merits. After the workshop authors are invited
  to submit a full paper of their presentation. Accepted contributions will
  appear in an issue of EPTCS.
* PROGRAM CHAIRS
  Ugo Dal Lago (Universita di Bologna)
  Russ Harmer (CNRS & ENS Lyon)



A CONFERENCE IN HONOUR OF PRAKASH PANANGADEN ON THE OCCASION OF HIS 60TH BIRTHDAY
  23--25 May 2014, University of Oxford, UK
  http://www.cs.ox.ac.uk/pf2014
* PRAKASH
  Prakash has made major contributions across a remarkably wide range of
  topics, including probabilistic and concurrent computation, logic and
  duality, and quantum information and computation. His work is
  characterised by the qualities of elegance, clarity and concern for
  fundamentals, and has been instrumental in making connections between
  different research areas and communities. Equally important for his
  many friends has been the infectious enthusiasm and enjoyment he
  brings to his scientific work, and the generous and sustained support
  and encouragement he has given to many junior colleagues.
* PROGRAMME
  The workshop will feature talks by many of Prakash's friends and
  collaborators. We anticipate that this will be a very enjoyable event,
  blending fun and science - how could a meeting for Prakash be
  otherwise! We warmly invite everyone to participate. Information on
  how to register can be found on the conference web page.
* SPEAKERS
  Abramsky / Brookes / Coecke / Danos / de Boer / Desharnais / Duncan
  / Gobault-Larrecq / Hayden / Jacobs / Jagadeesan / Jung / Kashefi /
  Knight / Kozen / Kupke / Kwiatkowska / Larsen / Mardare / Mislove /
  Ouaknine / Palamidessi / Plotkin / Precup / Rutten / Sadrzadeh / Scott
  / Selinger / Silva / Sorkin / van Breugel / Vicary / Winskel / Worrell / Ying
* SPRING SCHOOL
  This event is twinned with a Spring School in Quantum Structures in
  Physics and Computer Science, to be held on the dates 19--22 May 2014
  at the University of Oxford:
  http://www.cs.ox.ac.uk/ss2014



12TH ASIAN SYMPOSIUM ON PROGRAMMING LANGUAGES AND SYSTEMS (APLAS 2014)
  Call for Papers
  17-19 November 2014, Singapore
  http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/
* INVITED SPEAKERS
  Zhenjiang Hu         (NII, Japan)
  Dexter Kozen         (Cornell University, USA)
  Julien Verlaguet (Facebook, USA)
* BACKGROUND
  APLAS aims to stimulate programming language research by providing a
  forum for the presentation of latest results and the exchange of ideas
  in programming languages and systems.  APLAS is based in Asia, but is
  an international forum that serves the worldwide programming language
  community.
* TOPICS
  The symposium is devoted to foundational and practical issues in
  programming languages and systems.  Papers are solicited on topics such
  as
  - semantics, logics, foundational theory;
  - design of languages, type systems and foundational calculi;
  - domain-specific languages;
  - compilers, interpreters, abstract machines;
  - program derivation, synthesis and transformation;
  - program analysis, verification, model-checking;
  - logic, constraint, probabilistic and quantum programming;
  - software security;
  - concurrency and parallelism;
  - tools and environments for programming and implementation.
  Topics are not limited to those discussed in previous symposiums.
  Papers identifying future directions of programming and those
  addressing the rapid changes of the underlying computing platforms
  are especially welcome.  Demonstration of systems and tools in the
  scope of APLAS are welcome to the System and Tool presentations
  category.  Authors concerned about the appropriateness of a topic
  are welcome to consult with the program chair prior to submission.
* SUBMISSION
  We solicit submissions in two categories:
  - Regular research papers - describing original scientific research
  results, including tool development and case studies.  Regular
  research papers should not exceed 18 pages in the Springer LNCS
  format, including bibliography and figures.  They should clearly
  identify what has been accomplished and why it is significant.
  Submissions will be judged on the basis of significance, relevance,
  correctness, originality, and clarity.  In case of lack of space,
  proofs, experimental results, or any information supporting the
  technical results of the paper could be provided as an appendix or a
  link to a web page, but reviewers are not obliged to read them.
  - System and Tool presentations - describing systems or tools that support
  theory, program construction, reasoning, or program execution in the
  scope of APLAS.  System and Tool presentations are expected to be
  centered around a demonstration.  The paper and the demonstration
  should identify the novelties of the tools and use motivating
  examples.  System and Tool papers should not exceed 8 pages in the
  Springer LNCS format, including bibliography and figures.  Submissions
  will be judged based on both the papers and the described systems or
  tools.  It is highly desirable that the tools are available on the
  web.
  Papers should be submitted electronically via the submission web page:
  https://www.easychair.org/conferences/?conf=aplas2014
* DATES
  Abstracts due:   May 26, 2014 (Monday)
  Submission due:  June 2, 2014 (Monday)
  Notification:    August 6, 2014 (Wednesday)
  Final paper due: September 1, 2014 (Monday)
  Conference:         November 17-19, 2014 (Monday-Wednesday)
* ORGANIZERS
  General chair: Wei-Ngan Chin (National University of Singapore)
  Program chair: Jacques Garrigue (Nagoya University)



24TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014)
  Call for Papers
  University of Kent, Canterbury, UK,
  September 10-11, 2014
  http://www.iasi.cnr.it/events/lopstr14/
* DEADLINES
  Abstract submission:                     May 30, 2014
  Paper/Extended abstract submission:      June 6, 2014
* SERIES
  The aim of the LOPSTR series is to stimulate and promote international
  research and collaboration on logic-based program development. LOPSTR
  is open to contributions in logic-based program development in any
  language paradigm. LOPSTR has a reputation for being a lively,
  friendly forum for presenting and discussing work in progress. Formal
  proceedings are produced only after the symposium so that authors can
  incorporate this feedback in the published papers.
  The 24th International Symposium on Logic-based Program Synthesis and
  Transformation (LOPSTR 2014) will be held at the University of Kent,
  Canterbury, United Kingdom; previous symposia were held in Madrid,
  Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London,
  Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
  Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
  LOPSTR 2014 will be co-located with PPDP 2014 (International ACM SIGPLAN
  Symposium on Principles and Practice of Declarative Programming).
* TOPICS
  Topics of interest cover all aspects of logic-based program
  development, all stages of the software life cycle, and issues of both
  programming-in-the-small and programming-in-the-large. Both full
  papers and extended abstracts describing applications in these areas
  are especially welcome. Contributions are welcome on all aspects of
  logic-based program development.
  Survey papers that present some aspects of the above topics from a new
  perspective, and application papers that describe experience with
  industrial applications are also welcome.
  Papers must describe original work, be written and presented in
  English, and must not substantially overlap with papers that have been
  published or that are simultaneously submitted to a journal,
  conference, or workshop with refereed proceedings. Work that already
  appeared in unpublished or informally published workshop proceedings
  may be submitted (please contact the PC co-chairs in case of questions).
* IMPORTANT DATES
  Abstract submission:                            May 30, 2014
  Paper/Extended abstract submission:             June 6, 2014
  Notification:                                   July 18, 2014
  Camera-ready (for electronic pre-proceedings):  August 25, 2014
  Symposium:                                      September 10-11, 2014
* PROGRAM CHAIRS
  Maurizio Proietti       IASI-CNR, Italy (Program Co-Chair)
  Hirohisa Seki        Nagoya Institute of Technology, Japan (Program Co-Chair)
* SYMPOSIUM CO-CHAIRS
  Olaf Chitil and Andy King
  School of Computing
  University of Kent
  CT2 7NF Kent, UK
* ORGANIZING COMMITTEE
  Emanuele De Angelis, University of Chieti-Pescara and IASI-CNR, Italy
  Fabrizio Smith, IASI-CNR, Italy



27TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI 2015)
  Call for Course and Workshop Proposals
  August 3-14, 2015
  Universitat Pompeu Fabra, Barcelona, Spain
  http://esslli2015.org
* IMPORTANT DATES
  1 June 2014: Proposal submission deadline
  23 September 2014: Notification
  June 2015: Course material due
* TOPICS AND FORMAT
  Proposals for courses and workshops at ESSLLI'2015 are invited in all
  areas of Logic, Linguistics and Computing Sciences.
  Cross-disciplinary and innovative topics are particularly encouraged.
  Each course and workshop will consist of five 90 minute sessions,
  offered daily (Monday-Friday) in a single week. Proposals for
  two-week courses should be structured and submitted as two
  independent one-week courses, e.g. as an introductory course
  followed by an advanced one. In such cases, the ESSLLI programme
  committee reserves the right to accept just one of the two proposals.
* COSTS
  All instructional and organizational work at ESSLLI is performed
  completely on a voluntary basis, so as to keep participation fees to
  a minimum. However, organizers and instructors have their
  registration fees waved, and are reimbursed for travel and
  accommodation expenses up to a level to be determined and
  communicated with the proposal notification. ESSLLI can only
  guarantee reimbursement for at most one course/workshop organizer,
  and can not guarantee full reimbursement of travel costs for
  lecturers or organizers from outside of Europe. The ESSLLI
  organizers would appreciate any help in controlling the School's
  expenses by seeking complete coverage of travel and accommodation
  expenses from other sources.
* CATEGORIES
  Each proposal should fall under one of the following categories.
  FOUNDATIONAL COURSES
     Such courses are designed to present the basics of a research
     area, to people with no prior knowledge in that area. They should
     be of elementary level, without prerequisites in the course's
     topic, though possibly assuming a level of general scientific
     maturity in the relevant discipline. They should enable
     researchers from related disciplines to develop a level of
     comfort with the fundamental concepts and techniques of the
     course's topic, thereby contributing to the interdisciplinary
     nature of our research community.
  INTRODUCTORY COURSES
     Introductory courses are central to ESSLLI's mission. They are
     intended to introduce a research field to students, young
     researchers, and other non-specialists, and to foster a sound
     understanding of its basic methods and techniques. Such courses
     should enable researchers from related disciplines to develop
     some comfort and competence in the topic considered. Introductory
     courses in a cross-disciplinary area may presuppose general
     knowledge of the related disciplines.
  ADVANCED COURSES
     Advanced courses are targeted primarily to graduate students who
     wish to acquire a level of comfort and understanding in the
     current research of a field.
  WORKSHOPS
     Workshops focus on specialized topics, usually of current
     interest. Workshops organizers are responsible for soliciting
     papers and selecting the workshop programme. They are also
     responsible for publishing proceedings if they decide to have
     proceedings.
* PROPOSAL GUIDELINES
  Proposals must be submitted in PDF format via:
  https://www.easychair.org/conferences/?conf=esslli2015
* PROGRAMME COMMITTEE
  Achim Jung (Birmingham)
  Language and Computation:
       Aurelie Herbelot (Cambridge)
       Stefan Mueller (Berlin)
  Language and Logic:
       Edgar Onea (Goettingen)
       Galit Weidman-Sassoon (Bar-Ilan)
  Logic and Computation:
       Hubie Chen (Donostia-San Sebastian)
       Stephan Kreutzer (Berlin)
* QUERIES
  Please send any queries you may have to A.Jung@cs.bham.ac.uk



8TH INTERNATIONAL WORKSHOP ON REACHABILITY PROBLEMS (RP2014)
  22 - 24 September 2013
  University of Oxford, United Kingdom
  http://www.cs.ox.ac.uk/RP2014/
* VENUE
  The Department of Computer Science will organize the 8th International
  Workshop on Reachability Problems (RP'2014). This event will take place
  at the Department in the centre of Oxford, 22 - 24 September 2014.
* TOPICS
  Papers presenting original contributions related to reachability problems
  in different computational models and systems are being sought. This will
  also be the occasion to review recent breakthroughs by renown invited
  experts and survey emerging trends and emphasize on key open challenges.
  Participants are kindly encouraged to discuss on core scientific issues
  that need to be further tackled. The Reachability Workshop is specifically
  aimed at gathering together scholars from diverse disciplines and
  backgrounds interested in reachability problems that appear in
  - Algebraic structures
  - Computational models
  - Hybrid systems
  - Logic and Verification
* INVITED SPEAKERS
  - Byron Cook, UCL and Microsoft Research, UK.
  - Kousha Etessami, University of Edinburgh, UK.
  - Anca Muscholl, LaBRI Bordeaux, France.
  - Sylvain Schmitz, LSV and ENS-Cachan, France.
* SUBMISSIONS
  Papers presenting original contributions related to reachability problems
  in different computational models and systems are being sought. Topics of
  interest include (but are not limited to): Reachability for infinite state
  systems, rewriting systems; Reachability analysis in counter/timed/cellular/
  communicating automata; Petri-Nets; computational aspects of semigroups,
  groups and rings; Reachability in dynamical and hybrid systems; frontiers
  between decidable and undecidable reachability problems; complexity and
  decidability aspects; predictability in iterative maps and new computational
  paradigms. Authors are invited to submit a draft of a full paper with at
  most 12 pages (in LaTeX, formatted according to LNCS guidelines) via the
  conference web page. Proofs omitted due to space constraints must be put
  into an appendix to be read by the program committee members at their
  discretion. Submissions deviating from these guidelines risk rejection.
  Electronic submissions should be formatted in pdf. Simultaneous submission
  to other conferences or workshops with published proceedings is not allowed.
* IMPORTANT DATES
  - Submission deadline: 4 June 2014
  - Notification to authors: 4 July 2014
  - Final version: 14 July 2014
  - Workshop: 22 - 24 September 2014
* PRESENTATION-ONLY TRACK
  In addition to regular papers that will appear in our LNCS proceedings,
  we invite researchers to apply to give a presentation at RP 2014 without
  an accompanying paper.  Such presentations can be based on work that has
  appeared (or which is going to appear) in the proceedings of another
  conference, or which has not yet been submitted. These contributions will
  be judged solely on the basis of their attractiveness to the workshop.
  To apply to give such a presentation please submit a PDF file containing
  a short abstract (up to two pages) by e-mail [ rp2014@easychair.org ]
  by August 4th 2014, with  subject "RP2014 Presentation-Only Track".
  This abstract will not be published in the conference proceedings.
  Notification for the presentation-only track will be August 11th 2014.
* PROCEEDINGS
  The Conference Proceedings will be published as the volume of the Springer
  Verlag LNCS (Lecture Notes in Computer Science) series and distributed at
  the Conference. We plan also to publish selected papers in a special issue
  of a high quality journal following the regular referee procedure.



11TH INTERNATIONAL WORKSHOP ON DOMAINS AND APPLICATIONS (DOMAINS 2014)
  Call for papers
  September 8-10 2014
  Paris, France
  http://www.pps.univ-paris-diderot.fr/~varacca/domains/Domains_XI
* The Workshop on Domains is aimed at computer scientists and
  mathematicians alike who share an interest in the mathematical
  foundations of computation.
* Topics of interaction with domain theory for this workshop
  include, but are not limited to: program semantics;
  program logics; probabilistic computation; exact computation
  over the real numbers; lambda calculus; games; models of
  sequential computation; constructive mathematics; recursion
  theory; realizability; real analysis and computability;
  topology, metric spaces and domains; idempotent analysis
  and domains; locale theory; category theory; topos theory;
  type theory. A special emphasis will be put on the following
  topics: quasi-polish spaces; quantitative aspects in semantics.
* Important dates: abstract submission until June 15th, notification
  shortly after. Abstracts should be 1 or 2 pages. Submission on
  https://www.easychair.org/conferences/?conf=domains2014
* Proceedings: there will be a call for papers after the workshop.
  The papers will be refereed according to normal publication
  standards.



14TH WORKSHOP ON AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (AVOCS 2014)
  Call for Papers
  http://www.utwente.nl/avocs2014
  24-26th September, 2014
  University of Twente, Netherlands
* AIMS
  The aim of Automated Verification of Critical Systems (AVoCS) 2014 is
  to contribute to the interaction and exchange of ideas among members
  of the international research community on tools and techniques for
  the verification of critical systems. The subject is to be interpreted
  broadly and inclusively. It covers all aspects of automated
  verification, including model checking, theorem proving, SAT/SMT
  constraint solving, abstract interpretation, and refinement pertaining
  to various types of critical systems which need to meet stringent
  dependability requirements (safety-critical, business-critical,
  performance-critical, etc.). Contributions that describe different
  techniques, or industrial case studies are encouraged. The technical
  programme will consist of invited and contributed talks and also allow
  for short presentations of research ideas. The workshop will be
  relatively informal, with an emphasis on discussion.
  There are several studentships available in order to support PhD
  students who wish to participate in the workshop.
* TOPICS
  Topics include (but are not limited to)
  - Model Checking
  - Automatic and Interactive Theorem Proving
  - SAT, SMT or Constraint Solving for Verification
  - Abstract Interpretation
  - Specification and Refinement
  - Requirements Capture and Analysis
  - Verification of Software and Hardware
  - Specification and Verification of Fault Tolerance and Resilience
  - Probabilistic and Real-Time Systems
  - Dependable Systems
  - Verified System Development
  - Industrial Applications
* INVITED SPEAKERS
  The workshop will have three invited speakers:
  - Laura Kovacs (Chalmers, Sweden) will speak about automated assertion
    generation.
  - Alastair Donaldson (Imperial College, UK) will speak about verification
    of OpenCL kernels.
  - A third speaker will be announced soon.
* IMPORTANT DATES
  Submission (abstract for full paper): 16th June 2014
  Submission (full papers): 23rd June 2014
  Notification (full papers): 30th July 2014
  Submission (research ideas): 7th August 2014
  Notification (research ideas): 14th August 2014
  Submission of final versions: 1st September 2014
  Workshop: 24-26th September 2014
* FULL PAPERS
  Submissions of full papers to the workshop must not have
  been published or be concurrently considered for publication
  elsewhere. All submissions will be peer-reviewed and judged on the
  basis of originality, contribution to the field, technical and
  presentation quality, and relevance to the workshop. Final versions of
  the papers must be written in English and not exceed 15
  pages. Formatting details are provided on the website.
* RESEARCH IDEAS
  AVoCS'14 encourages the submissions of research ideas
  in order to stimulate discussions at the workshop. Reports on ongoing
  work or surveys on work published elsewhere are welcome. The Programme
  Committee will select research ideas on the basis of submitted
  abstracts according to significance and general interest. Research
  ideas must be written in English and not exceed 2 pages.
* PROCEEDINGS AND SPECIAL ISSUE
  At the workshop, pre-proceedings will be available in the form of a
  University of Twente Technical Report; this report will also include
  the research ideas.
  After the workshop, the authors of accepted full papers will have
  about one month in order to revise their papers for publication in the
  workshop post-proceedings which will appear in the Electronic
  Communications of the EASST Open Access Journal. Research ideas will
  not be part of the proceedings in the Open Access Journal.
  We will invite authors of a selection of the best papers presented at
  the workshop to submit extended versions of their work for publication
  in a special issue of Elsevier's journal Science of Computer
  Programming.
* PROGRAM CHAIRS
  Marieke Huisman, University of Twente, Netherlands (co-chair)
  Jaco van de Pol, University of Twente, Netherlands (co-chair)
* ORGANIZATION COMMITTEE
  Marieke Huisman
  Wojciech Mostowski (publicity chair)
  Jaco van de Pol



88TH WORKSHOP ON GENERAL ALGEBRA (AAA88)
  June 19-22, 2014
  Warsaw, Poland
  http://www.mini.pw.edu.pl/aaa88
* LOCATION
  The conference location is the new home of mathematics at the Warsaw
  University of Technology. The meeting falls within the Stefan Banach
  conference series. The scientific program will start on Friday, June 20,
  2014, at 9.00, and end on Sunday, June 22, 2014, at 13.00.
  The conference will be organized by the Algebra Group at the Warsaw
  University of Technology. Support is provided by Warsaw University of
  Technology and the Stefan Banach International Mathematical Center.
* TOPICS
  The main topics of the conference are related to the traditional areas
  of the AAA conferences, with special emphasis on the following:
  1. Non-classical algebraic structures;
  2. Universal algebra and lattice theory;
  3. Applications of algebra in logic, combinatorics and computer science;
  4. Classical algebraic structures, especially in connection with
  universal-algebraic methods.
* PROGRAMME
  The list of invited speakers includes:
  - Ales Drapal, Charles University, Prague, Czech Republic
  - Mai Gehrke, Universite Paris Diderot, Paris, France
  - Katarzyna Korwin-Slomczynska, Pedagogical University in Krakow, Poland
  - Jonathan D.H. Smith, Iowa State University, Ames, Iowa, USA
  - Agnes Szendrei, University of Colorado, Boulder, USA and Szegedi
    Tudomanyegyetem, Hungary
  - Mikhail Volkov, Ural Federal University, Ekaterinburg, Russia
  The program will comprise several longer keynote plenary lectures, a number
  of shorter plenary lectures, and a larger number of 20-minute contributed talks.
* FURTHER INFORMATION
  The conference website has been set up at http://www.mini.pw.edu.pl/aaa88
  Further information concerning the online registration and submission of
  abstracts, conference fee, accommodation, possible financial support, and
  conference proceedings will be provided on the conference website later.
  The site will be updated regularly.
* ORGANIZING COMMITTEE
  G. Binczak, T. Brengos, N. Dojer, A. Mucka, A. Pilitowska, A. Romanowska,
  M. Stronkowski, A. Zamojska-Dzienio, M. Ziembowski
* SCIENTIFIC COMMITTEE
  E. Aichinger, A. Pilitowska, A. Romanowska, J.D.H. Smith



26TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2014)
  (pending IEEE approval)
  Call for Papers
  November 10-12, 2014, Limassol, Cyprus
  http://ictai2014.cs.ucy.ac.cy
* AIMS AND SCOPE
  The annual IEEE International Conference on Tools with Artificial
  Intelligence (ICTAI) provides a major international forum where
  the creation and exchange of ideas related to artificial intelligence
  are fostered among academia, industry, and government agencies.
  The conference facilitates the cross-fertilization of these ideas and
  promotes their transfer into practical tools, for developing intelligent
  systems and pursuing artificial intelligence applications. The ICTAI
  encompasses all technical aspects of specifying, developing and
  evaluating the theoretical underpinnings and applied mechanisms
  of the AI-based components of computer tools such as algorithms,
  architectures and languages.
* TOPICS
  AI Foundations
  AI in Domain Specific Applications
  AI in Computer Systems
  AI in Data Analytics and Big Data
  Machine Learning and Data Mining
  Knowledge Representation, Reasoning and Cognitive Modelling
  AI and Decision Systems
  Uncertainty in AI
* SUBMISSION
  The submissions should contain original, high quality, not submitted
  or published elsewhere work. Papers should be submitted electronically
  through the EasyChair system in pdf format and should conform to IEEE
  specifications (single-spaced, double-column, 10-point font size, up to 8
  pages).
* PRESENTATION
  Each accepted paper should be presented by one of the authors and
  accompanied by at least one full registration fee payment, to guarantee
  publication in the proceedings. All accepted papers will be included in
  proceedings of ICTAI 2014 that will be published by the IEEE Computer
  Society.
*  IJAIT SPECIAL ISSUE
  Extended versions of the best papers of the conference will be invited
  for publication in a special issue of the International Journal on Artificial
  Intelligence Tools (IJAIT) (SCI Indexed).
* IMPORTANT DATES
  Paper submission: June 30, 2014
  Paper notification: July 30, 2014
  Camera-ready paper: August 30, 2014
* CONTACT
  George A. Papadopoulos
  Department of Computer Science
  University of Cyprus
  george-at-cs-dot-ucy-dot-ac-dot-cy



WORKSHOP ON LOGIC AND SYSTEMS BIOLOGY STUDENT/POSTDOC PARTICIPATION FUNDING (LSB 5)
  Call for Participation
  A FLoC workshop at the Vienna Summer of Logic (VSL 2014)
  Affiliated with CSL/LICS 2014
  Vienna, Austria, July 13, 2014
  http://perso.ens-lyon.fr/russell.harmer/lsb5.html
* The National Science Foundation of the United States is providing funds
  to support the travel expenses of students and postdoctoral fellows attending
  the Workshop on Logic and Systems Biology.
  For further information contact James Lynch (jlynch@clarkson.edu).



7TH INTERNATIONAL SCHOOL ON REWRITING (ISR 2014)
  Call for Participation
  August 25-29, 2014
  Universidad Tecnica Federico Santa Maria
  Valparaiso, Chile
  Co-located with the 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014)
  http://web.ing.puc.cl/~wollic
* REWRITING
  Rewriting is a branch of computer science whose origins go back
  to the origins of computer science itself (with Thue, Church,
  Post, and many other prominent researchers). It has strong links
  with mathematics, algebra, and logic, and it is the basis of
  well-known programming paradigms like functional and equational
  programming, which are taught at the universitary level in many
  countries. In these programming paradigms and corresponding
  languages, the notions of reduction, pattern matching,
  confluence, termination, strategy, etc., are essential.
  Rewriting provides a solid framework for understanding, using,
  and teaching all these notions. Rewriting techniques are also
  used in many other areas of software engineering (scripting,
  prototyping, automated transformation of legacy systems,
  refactoring, web services, etc.) and are implemented in popular
  systems like Mathematica, Autocad, and others. Rewriting
  techniques play a relevant role in computing research,
  education, and industry.
* AIMS
  The International School on Rewriting is promoted by the IFIP
  Working Group 1.6 Term Rewriting. The school is aimed at master
  and PhD students, researchers, and practitioners interested in
  the study of rewriting concepts and their applications.
  Two tracks are offered, including the lectures and the courses:
  - Track A: for newcomers in the field, or just for people
    who want to obtain a new, updated exposure.
  - Track B: for those who want to get deeper in the most
    recent developments and applications of rewriting.
* CONFIRMED LECTURERS
  Mauricio Ayala-Rincon, Universidade de Brasília, Brazil
  Eduardo Bonelli, Universidad de Quilmes, Argentina
  Claude Kirchner, INRIA, France
  Helene Kirchner, INRIA, France
  Aart Middeldorp. University of Innsbruck, Austria
  Pierre-Etienne Moreau, École des Mines de Nancy, France
  Camilo Rocha, Escuela Colombiana de Ingeniería, Colombia
  Johannes Waldmann, HTWK Leipzig, Germany
  Sarah Winkler, University of Innsbruck, Austria
* PROGRAMME
  The detailed programme can be found at:
  http://isr2014.inf.utfsm.cl/programme
* REGISTRATION FEES
  300 USD (early registration, until July 15, 2014)
  400 USD (late registration, from July 16, 2014)
* INFORMATION
  For more information, please visit our web site or contact
  isr2014@inf.utfsm.cl
* ORGANIZING COMMITTEE
  Mauricio Ayala-Rincon, UNB, Brazil
  Carlos Castro (chair), UTFSM, Chile
  Nicolas Galvez, UTFSM, Chile
  Claude Kirchner, INRIA, France
  Alvaro Luzzi, UTFSM, Chile
  Christophe Ringeissen, INRIA, France
  Maria Elena Rodriguez, UTFSM, Chile



JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING SPECIAL ISSUE ON FORMAL METHODS IN SOFTWARE PRODUCT LINE ENGINEERING
  Call for Papers
  http://ees.elsevier.com/jlap/
* SCOPE
  This special issue of the Journal of Logic and Algebraic Programming (JLAP)
  is devoted, but by no means limited, to the themes of the FMSPLE workshop
  series on formal methods and analysis in Software Product Line Engineering
  (SPLE). This is an open call for papers, therefore participants of the
  FMSPLE workshop series as well as others working on the themes of this
  special issue, are strongly encouraged to submit contributions.
* AIMS
  SPLE aims at developing a family of systems by reuse in order to reduce time
  to market and to increase product quality. The general motivation is to
  promote and stimulate the application of formal modelling and analysis
  techniques to problems that originate from the SPLE domain, and to
  strengthen in this way the ties between the SPLE community and theoretical
  computer scientists and formal methods researchers seeking to apply
  calculi, process algebras, type systems, logics, model checking,
  type checking, theorem proving, constraint solving, and so forth.
  Recent years have witnessed an increased application of formal modelling
  and analysis techniques in SPLE and this is starting to make an impact,
  as is confirmed by the growing number of papers that have been published
  in a variety of high-profile formal methods, SPLE, and (fundamental)
  software engineering conferences and journals.
* IMPORTANT DATES
  Submission of papers: July 15, 2014
  First review decision: December 15, 2014
  Revision due: February 15, 2015
  Acceptance notification: April 15, 2015
  Final manuscript due: June 15, 2015
  Expected publication: Summer 2015
* TOPICS OF INTEREST
  We solicit original papers on topics within the general scope of
  applying formal modelling and analysis techniques to software
  product lines.
* SUBMISSION
  We expect original articles (typically 20-30 pages; submission of
  larger papers will be evaluated depending on editorial constraints)
  that present high-quality contributions, which have not been previously
  published elsewhere and that are also not simultaneously
  submitted for publication elsewhere. All contributions must be written
  in English, must be submitted in PDF format and must comply with JLAP's
  author guidelines. Submissions are handled using the Elsevier Editorial
  System and can be uploaded via the link http://ees.elsevier.com/jlap/
  In the submission process, the authors must select the article type
  "FMSPLE".
* GUEST EDITORS
  Maurice ter Beek, ISTI-CNR, Pisa, Italy
  Dave Clarke, Uppsala University, Sweden & KU Leuven, Belgium
  Ina Schaefer, Technische Universitaet Braunschweig, Germany



FULL PROFESSORSHIP IN COMPUTER SCIENCE AT WARWICK
  http://www.jobs.ac.uk/job/AIP534/
* The Department of Computer Science at the University of Warwick invites
  applications from candidates with proven excellence in research in computer
  science for the new opening as Professor in Computer Science.
  Candidates are required to have a PhD in Computer Science or related
  discipline, should be able to demonstrate excellent research in computer
  science, should be capable of research leadership (to demonstrate an ability
  to secure funded research grants and co-supervising MSc and PhD students
  in Computer Science), and should have excellent teaching skills.
  They should also demonstrate the ambition to play a leading role in the
  Department of Computer Science. Special considerations will be given to
  candidates with interdisciplinary interests and industrial research experience.
  Contact Information: Professor Artur Czumaj (Head of Computer Science) at
  A.Czumaj@warwick.ac.uk. Closing date: 22 May 2014.



SOFTWARE ENGINEERING VACANCY AT RADBOUD UNIVERSITY NIJMEGEN
  http://www.ru.nl/vacatures/details/details_vacature_0?recid=530914
* At the Radboud University we have a vacancy for a full-time assistant
  professor Software Engineering (tenure track, associate professorship
  may be considered). Application deadline May 1, 2014.
* Responsibilities
  - to conduct research in one or more ICIS research areas (see below).
    ICIS’ main areas of research are Security, Model Based Systems and
    Intelligent Systems. The professorial staff at ICIS includes Bart Jacobs,
    Frits Vaandrager, Peter Lucas, Tom Heskes and Herman Geuvers.
  - teaching activities will be in the area of software engineering. A number
    of courses in software engineering are constructed around a student run
    'company', GipHouse, which produces real software products for real clients
    under the supervision of Marko van Eekelen. You will also be expected to
    supervise BSc, MSc and PhD theses. Some contribution to our extensive
    outreach programme towards school children and the general public would be
    appreciated. Administrative duties will include local and/or national
    committee memberships.
* Work environment
  The ICIS institute received an excellent rating in the latest national
  research evaluation exercise for computer science (2010). ICIS has
  educational programmes in both Information Science and Computer Science.
  In 2014 the Computer Science Bachelor's and Master's programmes ranked
  first, both in the Elsevier Magazine rankings and in the Dutch university
  information guide KeuzeGids Universiteiten, in which the Computer Science
  Master's programme also received the 'TOP' classification. Specific
  educational tracks are Security, Software Science, Data Science, eHealth
  and Mathematical Foundations.
* Contact
  Marko van Eekelen by phoning +31 24 3653410 or mailing M.vanEekelen@cs.ru.nl



POSTDOCTORAL POSITION AT ENS LYON
  http://www.ens-lyon.fr/LIP/PLUME/
* A 12-month post-doctoral position is available in the Plume team
  of the LIP laboratory at ENS de Lyon. The position is cofunded by
  the ANR project RECRE and the LIP laboratory. Research conducted
  in Plume team covers various aspects of programming languages semantics
  and logic in computer science.
* "RECRE" stands for "Realizability for classical logic, concurrency,
  references and rewriting". The project also includes topics relevant
  to the Curry-Howard correspondence, such as denotational semantics,
  linear logic, proof theory and type theory.
  For this position, we will welcome applications in topics relevant
  to RECRE, as well as at their intersection with other fields of logic
  and computer science such as program verification or logic and
  automata.
* Salary: around 2000 euros net per month.
  Starting date: September 1st 2014
  Applications: please send, before *May 4th 2014* a CV together with
  a one-page cover letter to Colin Riba.
  For any question, please contact Colin Riba.
* Contacts:
  - Colin Riba: colin.riba@ens-lyon.fr
  - Plume team: http://www.ens-lyon.fr/LIP/PLUME/



POSTDOCTORAL POSITION AT QUEEN MARY UNIVERSITY OF LONDON
  http://www.jobs.qmul.ac.uk/4740
* Applications are invited for a postdoctoral position in the area of
  semantics-based software verification, on the EPSRC-funded project
  "Program Reasoning with Nominal Game Semantics". We are looking for
  candidates with a strong background in programming language semantics
  and/or topics in verification, who can contribute to the design and
  implementation of program logics for higher-order programs.
  The project will be led by Nikos Tzevelekos. Other members of the School
  at Queen Mary working on related topics include Dino Distefano, Pasquale
  Malacaria, Michael Tautschnig and Greta Yorsh.
* Duration: 16 months
  Salary: GBP 31,113 - 34,626 pa
  Deadline: 17 May 2014
* Informal enquiries (nikos.tzevelekos@qmul.ac.uk) are very welcome.



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




Back to the LICS web page.