SIGLOG Monthly 170
May  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
  LICS'15 Preview
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  FroCoS 2015 - Call for Papers
  AUTOMATHA 2015 - Call for Papers
  CALCO EARLY IDEAS - Call for Papers
  QUANTIFY 2015 - Call for Papers
  SSFT 2015 - Call for Participation
  EPS (CADE-25) - Call for Posters and Encyclopedia Entries
  DIMAP LOGIC DAY - Call for Participation
  ICTAC 2015 - Call for Papers
  SETTA 2015 - Call for Papers
  CCC 2015 - Call for Papers
  HaPoC 3 - Call for Papers
  SR 2015 - Call for Papers
  WoLLIC - Call for Participation
  GBMSC - Call for Participation
  ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
* JOB ANNOUNCEMENTS
  PhD Studentship in Algorithms and Complexity at Royal Holloway, University of London
  New Doctoral Program on Logical Methods in Computer Science (LogiCS), Vienna


LICS'15 PREVIEW
  http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/
* LICS'15 will colocate with ICALP 2015, 6-10 July, in Kyoto.
  Masahito Hasegawa (RIMS, Kyoto) is the Conference Chair.
  The PC is chaired by Catuscia Palamidessi.
* INVITED SPEAKERS
  - Daniel Kifer (Pennsylvania State University, USA)
    Title: Privacy and the Price of Data
  - Anca Muscholl (Universite Bordeaux, France)
    Title: Automated Synthesis of Distributed Controllers
  - Peter O'Hearn (Facebook and University College London, UK)
    Title: From Categorical Logic to Facebook Engineering
  - Luke Ong (University of Oxford, UK)
    Title: Recent Advances in Higher-order Model Checking
  - Andrew Pitts (University of Cambridge, UK)
    Title: Names and Symmetry in Computer Science (tutorial)
  - Geoffrey Smith (Florida International University, USA)
    Title: Quantitative Information Flow (tutorial)
* ACCEPTED PAPERS
  http://lics.rwth-aachen.de/lics15/accepted
* WORKSHOPS
  Workshop on Logic and Computational Complexity (LCC 2015)
  Workshop on Natural Language and Computer Science 3 (NLCS 3)
  Workshop on Quantum Computational Complexity (QCC)
  Workshop on Realistic Models for Algorithms in Wireless Networks (WRAWN)
  Workshop on Syntax and Semantics for Low-Level Languages (LOLA 2015)
  Workshop on the Verification of Higher-Order Programs (HOPA)
  Young Researchers Forum on Automata, Languages and Programming (YR-ICALP 2015)
* REGISTRATION (to be opened soon)
  Early registration deadline: June 12, 2015
  http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/registration.html
* LOCAL WEBSITE
  http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/



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



DATES
* FroCoS 2015
  Abstract submission: May 4, 2015
  Full paper submission: May 10, 2015
  http://frocos2015.ii.uni.wroc.pl/
* AUTOMATHA 2015
  Conference: May 6-9, 2015
  http://www.automatha.uni-leipzig.de
* CALCO EARLY IDEAS 2015
  Submission: May 8, 2015
  https://coalg.org/calco15/ei.html
* QUANTIFY 2015
  Paper submission: May 8, 2015
  Workshop: August 1, 2015
  http://fmv.jku.at/quantify15/
* SSFT 2013
  Summer school: May 17-22, 2015
  http://fm.csl.sri.com/SSFT15
* EPS (CADE-25)
  Submission: May 31, 2015
  http://proofsystem.github.io/Encyclopedia/
* DIMAP LOGIC DAY
  Workshop: June 1, 2015
  http://www2.warwick.ac.uk/fac/cross_fac/dimap/events/dimap-logic-day-2015/
* ICTAC 2015
  Abstract submission: June 1, 2015
  Paper submission: June 5, 2015
  Submission deadline: June 5, 2015
  http://www.ictac2015.co
* SETTA 2015
  Abstract deadline: June 12, 2015
  Paper submission: June 19, 2015
  http://cs.nju.edu.cn/setta/
* CCC 2015
  Abstract submission deadline: 15 June 2015
  http://www.cs.swan.ac.uk/ccc2015/
* HaPoC 3
  Submission deadline: June 19, 2015
  http://hapoc2015.di.unipi.it
* SR 2015
  Abstract submission: July 1, 2015
  Paper submission: July 3, 2015
  https://sites.google.com/site/sr2015homepage/
* WoLLIC 2015
  Workshop: July 20-23, 2015
  http://www.indiana.edu/~iulg/wollic/
* GBMSC
  Conference: August 17-28, 2015
  http://booleconferences.ucc.ie/gbmsc2015
* 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/



10TH INTERNATIONAL SYMPOSIUM ON FRONTIERS OF COMBINING SYSTEMS (FroCoS 2015)
  Call for Papers
  Wroclaw, Poland
  September 21-24, 2015
  http://frocos2015.ii.uni.wroc.pl/
* GENERAL INFORMATION
  The 10th International Symposium on Frontiers of Combining Systems
  (FroCoS 2015) will be held in Wroclow, Poland, from September 21 to
  September 24, 2015. Its main goal is to disseminate and promote
  progress in research areas related to the development of techniques
  for the integration, combination, and modularization of formal
  systems together with their analysis.
  FroCos 2015 will be co-located with the 23rd International
  Conference on Automated Reasoning with Analytic Tableaux and Related
  Methods (TABLEAUX 2015) to be held also on September 21-24, 2015.
  The local organization of both events is handled by Hans de Nivelle.
* SCOPE OF CONFERENCE
  FroCoS 2015 seeks to offer a common forum for research in the general
  area of combination, modularization, and integration of systems, with
  emphasis on logic-based ones, and of their practical use.
  Typical topics of interest include (but are not limited to):
  - combinations of logics (such as higher-order, first-order, temporal,
  modal, description or other non-classical logics);
  - combination and integration methods in SAT and SMT solving;
  - combination of decision procedures, satisfiability procedures, constraint
  solving techniques, or logical frameworks;
  - combinations and modularity in ontologies;
  - integration of equational and other theories into deductive systems;
  - hybrid methods for deduction, resolution and constraint propagation;
  - hybrid systems in knowledge representation and natural language semantics;
  - combined logics for distributed and multi-agent systems;
  - logical aspects of combining and modularizing programs and specifications;
  - integration of data structures into constraint logic programming and deduction;
  - combinations and modularity in term rewriting;
  - applications of methods and techniques to the verification and analysis of information systems.
* PUBLICATION DETAILS
  The proceedings of the symposium will be published in the Springer LNAI/LNCS series.
* PAPER SUBMISSIONS
  The program committee seeks high-quality submissions describing
  original work, written in English, not overlapping with published or
  simultaneously submitted work to a journal or conference with
  archival proceedings. Selection criteria include accuracy and
  originality of ideas, clarity and significance of results, and
  quality of presentation. The page limit in Springer LNCS style is 16 pages.
* IMPORTANT DATES
  Deadline (abstracts): 04.05.2015
  Deadline (full papers): 10.05.2015
  Author notification: 22.06.2015
  Final version due: 20.07.2015
  Workshops/Tutorials: 19-20.09.2015
  Conference: 21-24.09.2015
* PROGRAM CHAIRS
  Carsten Lutz, University of Bremen [co-chair]
  Silvio Ranise, Fondazione Bruno Kessler [co-chair]



JEWELS OF AUTOMATA: FROM MATHEMATICS TO APPLICATIONS (AUTOMATHA 2015)
  Call for Participation
  Leipzig, May 6 - 9, 2015
  http://www.automatha.uni-leipzig.de
* GENERAL
  The conference AutoMathA 2015 will survey a wide picture of research in
  automata theory and related mathematical fields. It will consist of 26
  invited lectures which will describe significant progress over the past
  years, and will be a meeting point for both young and senior researchers
  to learn and to discuss about automata theory, its connections with
  mathematics and its applications. For young researchers the conference
  will serve as an “Advanced Spring School of Automata Theory”. All lectures
  will have the same length of about 50 minutes and will deal with significant
  progress over the past years. They will serve as surveys on such recent work,
  not necessarily focusing only on work of the speaker. There will be only
  informal proceedings (with slides or texts); so the results presented are
  usually already published (or accepted) elsewhere. This event is a follow-up
  of the multidisciplinary programme Automata: from Mathematics to Applications
  (AutoMathA, 2005 - 2010) of the European Science Foundation and of its
  final conference "Highlights of AutoMathA" in Vienna 2010.
* INVITED SPEAKERS
  Jean-Paul Allouche (Paris), Mikolaj Bojanczyk (Warsaw), Patricia
  Bouyer-Decitre (Cachan), Thomas Brihaye (Mons), Olivier Carton (Paris),
  Thomas Colcombet (Paris), Volker Diekert (Stuttgart), Michael Elberfeld
  (Aachen), Uli Fahrenberg (Rennes), Nathanael Fijalkow (Paris), Paul Gastin
  (Cachan), Artur Jez (Saarbruecken), Ines Klimann (Paris), Dexter Kozen
  (Ithaca), Dietrich Kuske (Ilmenau), Kim Larsen (Aalborg), Ranko Lazic
  (Warwick), Markus Lohrey (Siegen), Cyril Nicaud (Marne-la-Vallee), Igor
  Potapov (Liverpool), Jacques Sakarovitch (Paris), Thomas Schwentick
  (Dortmund), Marinella Sciortino (Palermo), Ludwig Staiger (Halle), Moshe
  Vardi (Houston), James Worrell (Oxford)
* POSTER
  http://www.automatha.uni-leipzig.de/AutoMathA.pdf



CALCO EARLY IDEAS (CALCO 2015)
  Call for Contributions
  24-26 June, 2015, Nijmegen, Netherlands
  https://coalg.org/calco15/ei.html
  satellite event of
  the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
* The programme of CALCO 2015 will include special sessions reserved for the
  CALCO Early Ideas Workshop, featuring presentations of work in progress
  and original research proposals. PhD students and young researchers
  are particularly encouraged to contribute. Attendance at the workshop is
  open to all conference participants. The CALCO Early Ideas Workshop invites
  submissions on the same topics as the CALCO conference.
* Important dates:
  - Submission: May 8, 2015
  - Author notification: May 22, 2015
  - Final version: June 5, 2015
* Detailed information can be found on the webpage:
  https://coalg.org/calco15/ei.html.



QUANTIFY 2015 - 2nd INTERNATIONAL WORKSHOP ON QUANTIFICATION
  Call for Papers
  August 1 2015
  Berlin, Germany
  http://fmv.jku.at/quantify15/
  Affiliated to and co-located with CADE 2015
* AIM
  The goal of QUANTIFY 2015 is to provide an interdisciplinary forum
  for researchers who investigate the impact of quantification from
  a theoretical as well as from a practical point of view. The
  workshop is concerned with all aspects of quantification in logics
  such as QBF, QCSP, SMT, and theorem proving.
* TOPICS
  Topics of Interest: complexity results, encodings with and without
  quantification and comparisons thereof, applications of quantification,
  implementations of reasoning tools, case studies and experimental results,
  intersections between the different research communities working on
  quantification, surveys of state of the art approaches to handling
  quantification
* IMPORTANT DATES
  May    8 2015: paper submission
  May   29 2015: notification of acceptance
  June  23 2015: camera-ready version of papers
  August 1 2015: workshop
* INVITED SPEAKER
  Olaf Beyersdorff, University of Leeds
* SUBMISSION
  Please see the webpage http://fmv.jku.at/quantify15/ for further information.



FIFTH SUMMER SCHOOL ON FORMAL TECHNIQUES (SSFT'15)
  May 17-22, 2015
  Menlo College, Atherton, CA, USA
  http://fm.csl.sri.com/SSFT15
* GENERAL
  Techniques based on formal logic, such as model checking, satisfiability,
  static analysis, and automated theorem proving, are finding a broad range
  of applications in modeling, analysis, verification, and synthesis. This
  school, the fifth in the series, will focus on the principles and practice
  of formal techniques, with a strong emphasis on the hands-on use and
  development of this technology. It primarily targets graduate students
  and young researchers who are interested in studying and using formal
  techniques in their research. A prior background in formal methods is
  helpful but not required. Participants at the school will have a seriously
  fun time experimenting with the tools and techniques presented in the
  lectures during laboratory sessions.
* LECTURERS
  The lecturers at the school include: Arie Gurfinkel (SEI CMU),
  Cathy Meadows (NRL), Bart Jacobs (KU Leuven),  and Kim Guldstrand Larsen
  (Aalborg University, Denmark). We expect to support travel, food, and
  accomodation for students registered at US universities. Others will be
  charged around US$550. All are encouraged to apply at
  http://fm.csl.sri.com/SSFT15



EPS - CADE-25 POSTER SESSION & TASK-FORCE (TOWARDS AN ENCYCLOPEDIA OF PROOF SYSTEMS)
  Call for Posters and Encyclopedia Entries
  1st of August 2015
  Berlin, Germany
  http://proofsystem.github.io/Encyclopedia/
* DESCRIPTION
  In this jubilee edition of CADE, we would like to commemorate the
  multitude ofproof systems that form the theoretical foundations for
  automated deduction. To achieve this goal, this alternative workshop
  proposes to bring the whole community together in a task-force to
  produce a concise encyclopedia of proof systems. Every entry in this
  encyclopedia will follow a given template and will preferably be
  exactly one page long, displaying the inference rules of the proof
  system and possibly a few clarifying remarks. The one-page
  encyclopedia entries will be displayed as posters during CADE (the
  Conference on Automated Deduction). Submission instructions are
  available in the website:
  http://proofsystem.github.io/Encyclopedia/
  https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf
* IMPORTANT DATES
  - Submission: May 31
  - Notification: June 15



DIMAP LOGIC DAY
  Call for Participation
  June 1st, 2015
  University of Warwick
  http://www2.warwick.ac.uk/fac/cross_fac/dimap/events/dimap-logic-day-2015/
* EVENT
  The goal is to bring together the UK community of researchers and graduate
  students interested in the study of logics, automata and games, and their
  applications.
* INVITED SPEAKERS
  Nathalie Bertrand (Rennes)
  Antonin Kucera (Brno)
  Slawomir Lasota (Warsaw)
  Davide Sangiorgi (Bologna)
  Sylvain Schmitz (Cachan)
  James Worrell (Oxford)
* VENUE
  Warwick Mathematics Institute, Room B3.02 (3rd floor), University of Warwick
  DIMAP Logic Day will start at about 10am and will finish at about 6pm.
* PROVISIONAL PROGRAMME
  http://www2.warwick.ac.uk/fac/cross_fac/dimap/events/dimap-logic-day-2015/programme/
* REGISTRATION
  There is no fee but participants are request to register by May 25.



12TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING (ICTAC 2015)
  Call for Papers
  29-31 October 2015
  Cali, Colombia
  http://www.ictac2015.co
* SERIES
  The ICTAC conference series aims at bringing together practitioners and
  researchers to exchange ideas and experiences addressing challenges in
  theoretical aspects of computing as well as in exploiting theory through
  methods and tools for system development.  ICTAC also aims to promote
  cooperation between participants and institutions from developing and
  industrial countries in research and education.
* THEMES AND TOPICS OF PAPERS
  Topics of interest include theories of computation and programming,
  foundations of software engineering and formal techniques in software design
  and verification, as well as  tools that support formal techniques for
  software modeling, system design and verification.
* INVITED SPEAKERS
  Jean-Raymond Abrial
  Volker Diekert
  Cesar Munoz
  Catuscia Palamidessi
  Davide Sangiorgi
  Moshe Vardi
  Glynn Winskel
* ASSOCIATED EVENTS
  - ICTAC Summer School on Formal Methods (October 25-27)
  - DCM 2015: 11th International Workshop on Developments in Computational Models (October 28)
* PAPER SUBMISSION
  Important Dates
  - Abstract submission: Monday, June 1, 2015.
  - Paper submission:   Friday, June 5, 2015.
  - Author notification:  Monday, July 20, 2015.
  - Camera ready:  Monday, August 3, 2015.
* PAPER CATEGORIES AND FORMAT
  We call for submissions, related to the above areas and topics, according
  to the following three categories:
  - Regular papers, with original research contributions;
  - Short papers, on recent work or proposals of emerging challenges;
  - Tool papers, on tools that support formal techniques for software modeling,
    system design and verification. Submissions should adhere to the LNCS
    format (see http://www.springer.de/comp/lncs/authors.html for details).
    Regular papers should not exceed 18 pages. Short and tool papers should
    not exceed 10 pages.
  Submissions to the colloquium must not have been published or be concurrently
  considered for publication elsewhere. All submissions will be judged on the
  basis of originality, contribution to the field, technical and presentation
  quality, as well as their relevance to the conference.
  Papers must be submitted by using www.easychair.org/conferences/?conf=ictac2015.
* PROCEEDINGS
  As for the past editions, the proceedings of ICTAC 2015 will be published
  by Springer in the series Lecture Notes in Computer Science (LNCS).
* SPECIAL ISSUE
  Extended versions of selected papers from ICTAC 2015 will be invited to
  a special issue of Mathematical Structures in Computer Science
  (http://journals.cambridge.org/action/displayJournal?jid=MSC).
* CHAIRS
  - Martin Leucker, University of Luebeck (DE).
  - Camilo Rueda, Pontificia Universidad Javeriana - Cali (CO).
  - Frank Valencia, CNRS and LIX, Ecole Polytechnique (FR).
* CONTACT CHAIR
  - Frank D. Valencia (frank.valencia@gmail.com).



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



CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY - FROM LOGIC TO ALGORITHMS (CCC 2015)
  Call for Papers
  Schloss Aspenstein, Kochel am See (near Munich)
  14-18 September 2015
  http://www.cs.swan.ac.uk/ccc2015/
* CCC is a workshop series bringing together researchers from real analysis,
  computability theory, and constructive mathematics. The overall aim is to
  apply logical methods in these disciplines to provide a sound foundation
  for obtaining exact and provably correct algorithms for computations with
  real numbers and related analytical data, which are of increasing importance
  in safety critical applications and scientific computation. The workshop
  will take place in Kochel am See at the border of the alps.
* SCOPE
  The workshop specifically invites contributions in the areas of exact
  real number computation, effective topology, Scott's domain theory,
  Weihrauch's type two theory of effectivity, category-theoretic approaches
  to computation on infinite data, hierarchies of unsolvability and related
  areas.
* INVITED SPEAKERS
  Martín Escardó (Birmingham, UK)
  Daniel da Silva Graça (Faro, Portugal)
  Mathieu Hoyrup (Nancy, France)
  Vassilis Gregoriades (Darmstadt, Germany)
  Takayuki Kihara (JAIST, Japan)
  Thomas Powell (Innsbruck, Austria)
* TUTORIAL SPEAKERS
  André Nies (Auckland, New Zealand)
  Olivier Bournez (Palaiseau, France)
* SUBMISSION
  Abstract submission deadline: 15 June 2015
  Upload your submission via EasyChair
  https://easychair.org/conferences/?conf=ccc20151
* PRE-REGISTRATION
  Pre-Registration
  As the number of rooms at Schloss Aspenstein is limited, pre-registration
  is recommended. Please send an email to m.seisenberger@swansea.ac.uk.
* PROGRAMME CHAIR
  Dieter Spreen (Siegen)
* ORGANIZING COMMITTEE
  Ulrich Berger (Swansea, UK)
  Peter Hertling (Munich, Germany)
  Monika Seisenberger (Swansea, UK)
  Dieter Spreen (Siegen).



THIRD INTERNATIONAL CONFERENCE FOR THE HISTORY AND PHILOSOPHY (HaPoC 3)
  Call For Papers
  8-11 October, 2015, Pisa
  http://hapoc2015.di.unipi.it
* GENERAL
  The DHST commission for the history and philosophy of computing
  (www.hapoc.org) is happy to announce the third HAPOC conference. The
  series aims at creating an interdisciplinary focus on computing,
  stimulating a dialogue between the historical and philosophical
  viewpoints.
* TOPICS
  Topics include but are not limited to
  - History and Philosophy of Computation (interpretation of the
  Church-Turing thesis; models of computation; logical/mathematical
  foundations of computer science; information theory...)
  - History and Philosophy of Programming (classes of programming
  languages; philosophical status of programming...)
  - History and Philosophy of the Computer (from calculating machines to
  the future of the computer; user interfaces; abstract architectures...)
  - History and Epistemology of the use of Computing in the sciences
  (simulation vs. modelisation; computer-assisted proofs; linguistics...)
  - Computing and the Arts: historical and conceptual issues (temporality
  in digital art; narration in interactive art work...)
  - Social, ethical and pedagogical aspects of Computing (pedagogy of
  computer science; algorithms and copyright; Internet, culture, society...)
* INVITED SPEAKERS
  Nicola Angius (Universita di Sassari, IT),
  Lenore Blum (Carnagie Mellon University, USA),
  David Allan Grier (IEEE & George Washington University, USA),
  Furio Honsell (Universita di Udine, IT),
  Pierre Mounier-Kuhn (CNRS & Universite Paris-Sorbonne, F),
  Franck Varenne (Université de Rouen, F).
* SUBMISSIONS
  We cordially invite researchers working in a field relevant to the
  topics of the conference to submit a short abstract of approximately 200
  words and an extended abstract of at most a 1000 words (references
  included) to www.easychair.org/conferences/?conf=hapoc2015
  Abstracts must be written in English and anonymised.
  Please check out the website of HaPoC 2015 for more information on the
  conference at http://hapoc2015.sciencesconf.org
  A post-proceedings volume is going to appear in the IFIP Advances in
  Information and Communication Technology series, published by Springer.
* IMPORTANT DATES
  Submission deadline: June 19, 2015
  Notification of acceptance: July 19, 2015



SR 2015 - 3rd INTERNATIONAL WORKSHOP ON STRATEGIC REASONING
  Call for Papers
  September 21-22, 2015, Oxford, England
  https://sites.google.com/site/sr2015homepage/
* The SR international workshop is an annual event that aims to bring
  together researchers working on different aspects of strategic reasoning
  and game-based approaches to logic, semantics, and formal verification
  in computer science, artificial intelligence, and multi-agent systems,
  both from a theoretical and a practical point of view.
* Proceedings: We plan to produce a special issue of the Journal of
  Information and Computation with extended versions of selected papers.
* Important dates:
  - July      1  2015:  Abstract submission deadline
  - July      3  2015:  Paper submission deadline
  - July     31  2015:  Acceptance notification
  - Sept  21-22  2015:  SR 2015 Workshop
* Invited Speakers: Johan van Benthem (Stanford/Amsterdam Universities),
  Joseph Halpern (Cornell University), Marta Kwiatkowska (Oxford University),
  Moshe Vardi (Rice University)
* Detailed information can be found in the webpage above.



22ND WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2015)
  Call for Participation
  July 20th-23rd, 2015, Bloomington, IN, USA
  http://www.indiana.edu/~iulg/wollic
* AIMS
  WoLLIC is an annual international forum on inter-disciplinary research
  involving formal logic, computing and programming theory, and natural
  language and reasoning. Each meeting includes invited talks and tutorials
  as well as contributed papers.
* INVITED SPEAKERS
  Adriana Compagnoni (Stevens Institute, USA)
  Nina Gierasimczuk (University of Amsterdam)
  John Harrison (Intel, USA)
  Peter Jipsen (Chapman U, USA)
  Andre Joyal (U du Québec Montreal, Canada)
  Chung-chieh Shan (Indiana U, USA)
  Alexandra Silva (Radboud U Nijmegen, The Netherlands)
  Mehrnoosh Sadrzadeh (Queen Mary, UK)
* STUDENT GRANTS
  ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply
  for a modest travel grant (deadline: May 1st, 2015).
* DETAIS
  Detailed information can be found on the webpage
  www.indiana.edu/~iulg/wollic



GEORGE BOOLE MATHEMATICAL SCIENCES CONFERENCE (GBMSC 2015)
  Call for Participation
  17-25 August 2015
  Cork, Ireland
  http://booleconferences.ucc.ie/gbmsc2015
* CONTEXT
  As part of the celebrations of Boole's bicentenary, the George Boole
  Mathematical Sciences (GBMS) Conference (including Domains XII) will be
  held in University College Cork (UCC) during the last two weeks of
  August 2015. George Boole (1815-1864) was the first professor of
  mathematics at Cork. Boole's efforts to mathematize logical thinking
  caused a lasting paradigm shift in the 19th century which enlarged the
  scope and potency of modern mathematics, and provided a wealth of ideas
  for applications in diverse scientific areas resulting in ground-breaking
  innovations during the 20th century and beyond. This event will include
  100-150 lectures on selected areas:
  - Theme 1: Boole and Beyond in Quantum Information Theory
  - Theme 2: From Boole's Algebra of Logic to Boolean Algebra, and Beyond
  - Theme 3: Complex and Boolean NetworksGeometry and Visualization
  - Theme 4: Geometry and Visualization
  - Theme 5: Harmonic Analysis
  - Theme 6: Invariants from Moduli Spaces
  - Theme 7: Mathematical Financial Modelling Post-Crisis
  - Theme 8: Quantum Probabilistic Symmetries and Quantized Boolean Algebras
  The following events are embedded in and associated with the conference:
  - 2015 Annual Meeting of the Irish Mathematical Society (IMS)
  - Domains XII
  - When Boole Meets Shannon



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)



PHD STUDENTSHIP IN ALGORITHMS AND COMPLEXITY AT ROYAL HOLLOWAY, UNIVERSITY OF LONDON
  http://www.cs.rhul.ac.uk/home/tzameret/PhD_Post.html
* The Department of Computer Science at Royal Holloway,
  University of London is offering a three-year full-time PhD
  studentship in algorithms and complexity starting in October
  2015. The studentship includes a full tuition-fee waiver and a
  maintenance award in line with the level recommended by
  Research Councils UK (exact value to be confirmed, circa GBP
  16,000 (USD 25,000 or EUR 20,000)). The student will be hosted
  in the Center for Algorithms and Applications and will work
  under the supervision of Dr Iddo Tzameret
  (http://www.cs.rhul.ac.uk/home/tzameret/).
* THE PROJECT is broadly in the area of computational complexity
  with an emphasis on satisfiability and the complexity of
  proofs. The successful candidate will investigate fundamental
  aspects of the Boolean satisfiability problem SAT from possibly
  different aspects - combinatorial, algebraic and logical - with
  a possibility to engage as well in applied or empirical study
  of SAT-solving and other applications related to SAT, depending
  on the preferences and qualifications of the candidate.
* For more information about the post see:
  http://www.cs.rhul.ac.uk/home/tzameret/PhD_Post.html
* STARTING DATE: October 1, 2015
* HOW TO APPLY:
  Applications should be made as soon as possible through the
  online application system at Royal Holloway, University of London:
  https://www.royalholloway.ac.uk/studyhere/researchdegrees/applying/home.aspx
  and will remain open until the position is filled.
* For any informal inquiries about the position, please contact
  Dr Iddo Tzameret at: Iddo.Tzameret@rhul.ac.uk



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




Back to the LICS web page.