SIGLOG Monthly 169
April  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
  SIGLOG Monthly Bulletin
  LICS'15 Preview
  ACM SIGLOG Announcement
* DEADLINES
  Forthcoming Deadlines
* CALLS
  NLCS 2015 - Call for Papers
  CSL 2015 - Call for Papers
  MFPS XXXI - Call for Papers
  MeMo 2015 - Call for Papers
  WISTP 2015 - Call for Papers
  NAT@LOGIC 2015 - Call for Papers
  CONCUR 2015 - Call for Papers
  ACKERMANN AWARD 2015 - Call for Nominations
  HDRA 2015 - Call for Papers
  CADE-25 - Call for Posters and Encyclopedia Entries (Proof Systems)
  LPNMR 2015 - Call for Papers
  FORMATS 2015 - Call for Papers
  ICLP 2015 - Call for Papers
  ATVA 2015 - Call for Papers
  FCT 2015 - Call for Papers
  WL4AI 2015 - Call for Papers
  NFM 2015 - Call for Participation
  E. W. BETH DISSERTATION PRIZE 2015 - Call for Nominations
  LFMTP 2015 - Call for Papers
  TACL 2015 - Call for Participation (Conference/School)
  TIME 2015 - Call for Papers
  DOMAINS XII - Call for Abstracts and Participation
  GBMSC THEME 2 - Call for Abstracts and Participation
  QPL 2015 - Call for Papers
  FroCoS 2015 - Call for Papers
  AUTOMATHA 2015 - Call for Papers
  QUANTIFY 2015 - Call for Papers
  SSFT 2015 - Call for Participation
  ICTAC 2015 - Call for Papers
  SETTA 2015 - Call for Papers
  HaPoC 3 - 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


SIGLOG MONTHLY BULLETIN
* From the new year, the preparation of the LICS Newsletter is overseen by
  SIGLOG and its name is changing to SIGLOG Monthly Bulletin. The newsletter
  will be distributed monthly in the same way as before. Conference
  announcements should be sent to las-lics@lists.tu-berlin.de following
  the instructions at http://lics.rwth-aachen.de/newsletters/inst.html



LICS'15 PREVIEW
  http://lics.rwth-aachen.de/lics15/
* 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. There will be 4 invited talks, 2 of which joint with ICALP
  Track B. The 2 invited tutorial talks of 1.5 hours each will be embedded
  in the main programme.



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 will be the flagship
  conference of SIGLOG. SIGLOG will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter will 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.
* 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
* NLCS '15
  Paper submission deadline: April 2, 2015
  http://www.indiana.edu/~iulg/nlcs.html
* CSL 2015
  Abstract submission: April 3, 2015
  Paper Submission: April 10, 2015
  http://logic.las.tu-berlin.de/csl2015/
* MFPS XXXI
  Submission deadline: April 3, 2015
  http://events.cs.bham.ac.uk/mfps31/
* MeMo 2015
  Submission deadline: April 4, 2015
  https://discotec2015.inria.fr/memo-2015/
* WISTP 2015
  Paper submission: April 10, 2015
  http://www.wistp.org
* LOGIC AT NATAL 2015
  Submission deadline: April 12, 2015
  http://natalogic-2015.dimap.ufrn.br/
* CONCUR 2015
  Submission of Abstracts: April 13th, 2015
  Submission of Papers: April 20th, 2015 (firm)
  http://mafalda.fdi.ucm.es/concur2015
* ACKERMANN AWARD 2015
  Nomination deadline: April 15, 2015
* HDRA 2015
  Submission deadline: April 15, 2015
  http://rdp15.mimuw.edu.pl/index.php?site=hdra
* CADE-25 POSTERS & ENCYCLOPEDIA ENTRIES
  Submission deadline: April 19, 2015
  http://proofsystem.github.io/Encyclopedia/
* LPNMR 2015
  Paper registration: April 19th, 2015
  Paper submission:   April 24th, 2015
  http://lpnmr2015.mat.unical.it/
* FORMATS 2015
  Abstract submission: April 20, 2015
  Paper submission: April 27, 2015
  http://formats2015.unifi.it
* ICLP 2015
  Abstracts due:  April 20, 2015
  Papers due:  April 27, 2015
  http://booleconferences.ucc.ie/iclp2015
* ATVA 2015
  Abstract submission: April 22, 2015
  Paper submission: April 25, 2015
  Workshop proposal submission: May 5, 2015
  http://atva2015.ios.ac.cn/
* FCT 2015
  Submission deadline: April 25, 2015
  http://sites.google.com/site/fct2015gdansk/
* WL4AI 2015 (IJCAI-2015 Workshop)
  Submission deadline: April 27, 2015
  http://www.iiia.csic.es/wl4ai-2015/
* NFM 2015
  Conference: April 27-29, 2015
  http://www.NASAFormalMethods.org/nfm2015
* E. W. BETH DISSERTATION PRIZE 2015
  Deadline for Submissions: April 27th, 2015.
  http://www.folli.info/?page_id=84
* LFMTP 2015
  Abstract submission: April 30, 2015
  Paper submission: May 7, 2015
  http://lfmtp.org/2015
* TACL 2015
  Deadline for early registration (conference): April 30, 2015
  Deadline for registration (school): April 30, 2015
  School dates: June 15-19, 2015, University of Salerno (Italy)
  Conference dates: June 21-26, 2015, Ischia Island (Italy)
  http://logica.dmi.unisa.it/tacl/
* TIME 2015
  Submission deadline: April 30, 2015
  http://time2015.uni-kassel.de
* DOMAINS XII
  Abstract submission: May 1, 2015
  Conference: August 25-28, 2015
  http://booleconferences.ucc.ie/gbmsc2015/domainsxii
* GBMSC THEME 2
  Abstract submission: May 1, 2015
  Conference: August 27-28, 2015
  http://booleconferences.ucc.ie/gbmsc2015/theme2
* QPL 2015
  Submission deadline: 1 May 2015
  http://www.cs.ox.ac.uk/qpl2015
* 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
* 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
* 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/
* HaPoC 3
  Submission deadline: June 19, 2015
  http://hapoc2015.di.unipi.it
* 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/



THIRD WORKSHOP ON NATURAL LANGUAGE AND COMPUTER SCIENCE (NLCS'15)
  July 5, 2015
  Kyoto, Japan
  http://www.indiana.edu/~iulg/nlcs.html
  Affiliated with ICALP 2015 & LICS 2015
  Endorsed by the Association for Computational Linguistics Special Interest
  Group on Computational Semantics
* AIMS AND SCOPE
  Formal tools coming from logic and category theory are important in both
  natural language semantics and in computational semantics. Moreover,
  work on these tools borrows heavily from all areas of theoretical computer
  science. In the other direction, applications having to do with natural
  language has inspired developments on the formal side. The workshop invites
  papers on both topics. Specific topics includes, but are not limited to:
  - logic for semantics of lexical items, sentences, discourse and dialog
  - continuations in natural language semantics
  - formal tools in textual inference, such as logics for natural language inference
  - applications of category theory in semantics
  - linear logic in semantics
  - formal approaches to unifying data-driven and declarative approaches to semantics
* INVITED SPEAKERS
  Makoto Kanazawa, National Institute of Informatics
  Gerard de Melo, Tsinghua University
* PAPER SUBMISSIONS
  Extended abstracts of up to 10 pages may be submitted through Easychair:
  https://easychair.org/conferences/?conf=nlcs15
* ORGANIZERS
  Valeria de Paiva
  Makoto Kanazawa
  Larry Moss
* IMPORTANT DATES
  Paper submission deadline:      April 2, 2015
  Author notification:    May 1, 2015
  Electronic versions of papers due:      May 14, 2015
  Workshop: July 5, 2015



COMPUTER SCIENCE LOGIC 2015 (CSL 2015)
  Call for Papers
  7-10 September 2015
  Berlin, Germany
  http://logic.las.tu-berlin.de/csl2015/
* AIM AND SCOPE
  Computer Science Logic (CSL) is the annual conference of the European
  Association for Computer Science Logic (EACSL). The conference is
  intended for computer scientists whose research activities involve
  logic, as well as for logicians working on  issues significant for
  computer science.
* LOCATION
  The 24th EACSL Annual Conference on Computer Science Logic will be
  held at the Technical University Berlin from  Monday, 7 September 2015
  to Thurday, 10 September 2015.
* LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)
  - automated deduction and interactive theorem proving
  - constructive mathematics and type theory
  - equational logic and term rewriting
  - automata and games, game semantics
  - modal and temporal logic
  - model checking
  - decision procedures
  - logical aspects of computational complexity
  - finite model theory
  - computational proof theory
  - bounded arithmetic and propositional proof complexity
  - logic programming and constraints
  - lambda calculus and combinatory logic
  - domain theory
  - categorical logic and topological semantics
  - database theory
  - specification, extraction and transformation of programs
  - logical aspects of quantum computing
  - logical foundations of programming paradigms
  - verification and program analysis
  - linear logic
  - higher-order logic
  - nonmonotonic reasoning
* IMPORTANT DATES
  Abstract submission: 3 April 2015
  Paper Submission:    10 April 2015
  Paper Notification:   13 June 2015
  Conference:       7 - 10 September 2015
* INVITED SPEAKERS
  - Martín Abadi (Google and Santa Cruz)
  - Elham Kashefi (Edinburgh)
  - Markus Lohrey (Siegen)
  - Ryan Williams (Stanford)
* SUBMISSION
  Authors are invited to submit papers of not more than 15 pages in
  LIPIcs style presenting work not previously published. Papers are to
  be submitted through Easychair. Submitted papers must be in English
  and must provide sufficient detail to allow the PC to assess the
  merits of the paper. Full proofs may appear in a technical appendix
  which will be read at the reviewers' discretion. Authors are strongly
  encouraged to include a well written introduction which is directed at
  all members of the program committee.
* SATELLITE EVENTS
  - The 11th  International Workshop on Fixed Points in Computer Science (FICS'15)
  will be held on 11 and 12 September 2015 as a co-located event of CSL'15.
  - YuriFest: we will celebrate Yuri Gurevich's 75th birthday with a
  symposium in his honour on 11 September 2015 as a co-located event
  of CSL'15.
  - The annual meeting of the GI Fachgruppe Logik will be organised at
  the Technical University Berlin in conjunction with CSL'15.
* PC CHAIR
  Stephan Kreutzer (Technical University Berlin, pc chair)
* ORGANISING COMMITTEE:
  - Christoph Dittmann (Technical University Berlin)
  - Viktor Engelmann (Technical University Berlin)
  - Stephan Kreutzer (Technical University Berlin, Chair)
  - Jana Pilz (Technical University Berlin)
  - Roman Rabinovich (Technical University Berlin)
  - Sebastian Siebertz (Technical University Berlin)



MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS XXXI (MFPS 2015)
  Call for Papers
  22-25 June 2015, Nijmegen, Netherlands
  http://events.cs.bham.ac.uk/mfps31/
* MFPS SERIES
  MFPS conferences are dedicated to the areas of mathematics, logic,
  and computer science that are related to models of computation in general,
  and to semantics of programming languages in particular. This is a forum
  where researchers in mathematics and computer science can meet
  and exchange ideas. The participation of researchers in neighbouring
  areas is strongly encouraged. This edition of MFPS will be co-located
  with CALCO.
* IMPORTANT DATES
  Submission: April 3, 2015
  Notification: May 15, 2015
  Final version: May 29, 2015
* INVITED SPEAKERS
  Andrew Pitts, Thierry Coquand, Paul B. Levy, Guy McCusker, Sam Staton
* INVITED TUTORIAL SPEAKERS
  Matija Pretnar, Daniela Petrisan, Andrzej Murawski
* SPECIAL SESSIONS
  algebraic effects, game semantics, homotopy type theory, quantitative semantics
* MORE INFO
  For more information please consult the web page.



2ND INTERNATIONAL WORKSHOP ON META MODELS FOR PROCESS LANGUAGES (MeMo 2015)
  Call for Papers
  June 5, 2015
  Grenoble, France
  Satellite workshop of DisCoTec 2015
  https://discotec2015.inria.fr/memo-2015/
* AIMS
  The MeMo workshops aim to bring together researchers and practitioners
  working on and with metamodels, i.e. framework theories which provide
  general, structural results simplifying and driving the development of models
  of systems and languages.
* TOPICS
  Topics include (but are not limited to): algebraic/bialgebraic specifications,
  bigraphical reactive systems, coalgebras, psi-calculus, concurrent logical
  frameworks, enriched Lawvere theories, mathematical operational semantics,
  metalanguages for deductive systems, monads, SOS formats, term and graph
  transformation systems, tile models, ULTraS and FuTS.
* IMPORTANT DATES
  4 April 2015 AoE: Submission of full papers and tool presentations (NEW!)
  28 April 2015: Notification to authors (papers & tool presentations)
  28 April 2015: Submission of posters
  5 May 2015: Submission of camera-ready for pre-proceedings
  5 May 2015: Notification of posters to authors
  5 June 2015: MeMo in Grenoble
* MORE
  Detailed information can be found on the webpage.



9TH WISTP INTERNATIONAL CONFERENCE ON INFORMATION SECURITY THEORY AND PRACTICE
  Call for Papers
  August 24-25, 2015
  Crete, Greece
  http://www.wistp.org
* Future ICT technologies, such as the concepts of Ambient Intelligence,
  Cyber-physical Systems, and Internet of Things provide a vision of the
  Information Society in which: a) people and physical systems are surrounded
  with intelligent interactive interfaces and objects, and b) environments
  are capable of recognising and reacting to the presence of different
  individuals or events in a seamless, unobtrusive, and invisible manner.
  The success of future ICT technologies will depend on how secure these
  systems are and to what extent they protect the privacy of individuals and
  individuals trust them. In 2007, Workshop in Information Security Theory
  and Practice (WISTP) was created as a forum for bringing together
  researchers and practitioners in related areas and to encourage interchange
  and cooperation between the research community and the industrial/consumer
  community. Based on the growing interest of the participants, 2015 edition
  is becoming a conference - The 9th WISTP International Conference on
  Information Security Theory and Practice (WISTP'2015).
* IMPORTANT DATES
  - Paper Submission due: April 10, 2015
  - Notification to authors: May 30, 2015
  - Camera ready due: June 10, 2015
* SPONSOR
  Co-Sponsored by IFIP WG 11.2 Pervasive Systems Security.
* Detailed information can be found on the webpage.



LOGIC AT NATAL (NAT@LOGIC 2015)
  Call for Papers
  Aug 31-Sep 4, 2015
  Natal, Brazil
  http://natalogic-2015.dimap.ufrn.br/
* NAT@Logic 2015 is a pool of workshops related to Logic
  in Computer Science, in Philosophy, and in Mathematics.
  These include:
  + LSFA X
    (10th Workshop on Logical and Semantic Frameworks, with Applications)
  + GeTFun 3.0
    (3rd Workshop on Generalizations of Truth-Functionality)
  + Filomena 2
    (2nd Workshop on Philosophy, Logic and Applied Metaphysics)
  + LFIs^15
    (Workshop commemorating the 15 years of the LFIs)
  + TRS Reasoning School
    (TRS = TRS Reasoning School)
  The full programme will boast 10 keynote speakers, plus at least 60
  contributed talks and 15 tutorials.
* Paper submission: 12 Apr 2015.



26TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2015)
  Call for Papers
  1-4 September, 2015
  Madrid, Spain
  http://mafalda.fdi.ucm.es/concur2015
* GENERAL
  CONCUR 2015 will co-locate with the 12th QEST, the 13th FORMATS, the 10th
  TGC, WS-FM/BEAT, and a collection of workshops, thus producing our
  "Madrid meet 2015" meeting. The CONCUR 2015 conference chairs are
  Luca Aceto (Reykjavik University) and David de Frutos-Escrig (Universidad
  Complutense de Madrid). CONCUR is the main annual meeting devoted to
  Concurrency Theory.
* IMPORTANT DATES
  Submission of Abstracts: April 13th, 2015
  Submission of Papers: April 20th, 2015 (firm)
  Notification: June 15th, 2015
  Final version: July 3rd, 2015
* PROCEEDINGS
  For the first time this year CONCUR will have an open publication of its
  proceedings, initiating a new collection in LIPIcs (Leibniz International
  Proceedings in Informatics), published under an open access license by
  Dagstuhl Publishing. Authors will retain full rights over their work.
  The accepted papers will be published under a CC-BY license.
* INVITED SPEAKERS
  Alexandra Silva, Radboud University, The Netherlands
  Mohammad Reza Mousavi, Halmstad University, Sweden
  James Worrell, University of Oxford, UK
  Gianluigi Zavattaro, Università di Bologna, Italy
* 25TH ANNIVERSARY SPEECH
  Matthew Hennessy, Trinity College Dublin, Ireland
* TOPICS
  Submissions are solicited in semantics, logics, verification and analysis
  of concurrent systems. This includes (but is not strictly limited to):
  Basic models, Logics for concurrency, Models of specialized systems
  (biology-inspired, hybrid systems, mobile and collaborative, probabilistic,
  real-time ... ), Verification and analysis techniques, Related programming
  models and Security issues.
* SUBMISSION GUIDELINES
  Authors are invited to submit a draft of at most 13 pages including
  references. The usage of pdflatex and the LIPIcs style file
  (see http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/)
  are mandatory. Submissions will be sent via EasyChair
  (https://easychair.org/conferences/?conf=concur2015).



ACKERMANN AWARD 2015 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
  Call for Nominations
* Nominations are now invited for the 2015 Ackermann Award.
  PhD dissertations in topics specified by the EACSL and LICS
  conferences, which were formally accepted as PhD theses at a
  university or equivalent institution between 1.1.2013 and 31.12.2014
  are eligible for nomination for the award. The deadline for submission
  is 15 April 2015.
* SUBMISSION DETAILS
  Nominations can be submitted from 1 January 2015 and should be sent
  to the chair of the Jury, Anuj Dawar, by e-mail:anuj.dawar@cl.cam.ac.uk
* THE AWARD
  The 2015 Ackermann award will be presented to the recipient(s) at the
  annual conference of the EACSL, 7-10 September 2015, in Berlin (Germany).
  The award consists of
  - a certificate,
  - an invitation to present the thesis at the CSL/LICS conference,
  - the publication of the laudatio in the CSL/LICS proceedings,
  - travel support to attend the conference, and
  - an invitation to present the work to the Kurt Goedel Society in Vienna.
  The jury is entitled to give the award to more (or less) than one
  dissertation in a year.
* JURY
  The jury consists of:
  - Thierry Coquand (Chalmers University of Gothenburg);
  - Anuj Dawar (University of Cambridge), the president of EACSL;
  - Dexter Kozen (Cornell University), ACM SigLog representative;
  - Orna Kupferman (Hebrew University of Jerusalem);
  - Daniel Leivant (Indiana University, Bloomington);
  - Luke Ong (University of Oxford);
  - Jean-Eric Pin (CNRS and University of Paris 7);
  - Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
* HOW TO SUBMIT
  The candidate or his/her supervisor should submit
  1. the thesis (ps or pdf file);
  2. a detailed description (not longer than 20 pages) of the thesis
     in ENGLISH (ps or pdf file);
  3. a supporting letter by the PhD advisor and two supporting letters by
     other senior researchers (in English); supporting letters can also be
     sent directly to Anuj Dawar (anuj.dawar@cl.cam.ac.uk);
  4. a short CV of the candidate;
  5. a copy of the document asserting that the thesis was accepted as
     a PhD thesis at a recognized University (or equivalent institution) and
     that the candidate has received his/her PhD within the specified period.
  The submission should be sent by e-mail as attachments to the chairman of
  the jury, Anuj Dawar: anuj.dawar@cl.cam.ac.uk, with the following subject
  line and text:
  - Subject: Ackermann Award Submission
  - Text: Name of candidate, list of attachments
  Submission can be sent via several e-mail messages. If this is the case,
  please indicate it in the text. Letters of support and documents can
  also be faxed to: Anuj Dawar, Ackermann Award, +44 1223 334678.
  The Jury has the right to declare submissions to be out of scope or not
  to meet the requirements.
* The Award is sponsored by the Kurt Goedel Society.



FIFTH WORKSHOP ON HIGHER-DIMENSIONAL REWRITING AND APPLICATIONS (HDRA 2015)
  Call for Papers
  28-29 June 2015
  Warsaw, Poland
  http://rdp15.mimuw.edu.pl/index.php?site=hdra
  Co-located with the RDP, RTA and TLCA conferences
* HISTORY
  Over recent years, rewriting methods have been generalized from strings and
  terms to richer algebraic structures such as operads, monoidal categories,
  and more generally higher-dimensional categories. These extensions of
  rewriting fit in the general scope of higher-dimensional rewriting theory,
  which has emerged as a unifying algebraic framework. This approach allows
  one to perform homotopical and homological analysis of rewriting systems
  (Squier theory). It also provides new computational methods in combinatorial
  algebra (Artin-Tits monoids, Coxeter and Garside structures), in homotopical
  and homological algebra (construction of cofibrant replacements, Koszulness
  property). The workshop is open to all topics concerning higher-dimensional
  generalizations and applications of rewriting theory.
* INVITED SPEAKERS
  John Baez
  TBA
* IMPORTANT DATES
  - Submission: April 15, 2015
  - Notification: May 6, 2015
  - Final version: May 20, 2015
  - Conference: 28-29 June, 2015
* SUBMITTING
  Submissions should consist in an extended abstract, in pdf format,
  approximatively 5 pages long, in standard article format. The page for
  uploading those is https://easychair.org/conferences/?conf=hdra2015
* PROCEEDINGS
  The accepted extended abstracts will be made available electronically
  before the workshop.
* ORGANIZERS
  - Yves Guiraud (INRIA / Universite Paris 7)
  - Philippe Malbos (Universite Claude Bernard Lyon 1)
  - Samuel Mimram (Ecole Polytechnique)



CADE-25 POSTER SESSION & TASK-FORCE TOWARDS AN ENCYCLOPEDIA OF PROOF SYSTEMS (EPS)
  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 of proof 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/
* IMPORTANT DATES
  - Submission: April 19
  - Notification: May 15



13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
  Call for Papers
  Lexington, KY, USA
  September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
  (Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
* AIMS AND SCOPE
  LPNMR 2015 is the thirteenth in the series of international meetings on
  logic programming and non-monotonic reasoning. LPNMR is a forum for
  exchanging ideas on declarative logic programming, non-monotonic reasoning,
  and  knowledge representation. The aim of the conference is to facilitate
  interactions between researchers and practitioners interested in the
  design and implementation of logic-based programming languages and
  database systems, and those working in knowledge representation and
  nonmonotonic reasoning. LPNMR strives to encompass theoretical and
  experimental studies that have led or will lead to the construction of
  systems for declarative programming and knowledge representation, as well
  as their use in practical applications. This edition of LPNMR will feature
  several workshops, a special session dedicated to the 6th ASP Systems
  Competition, and will be collocated with the 4th Algorithmic Decision
  Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral Consortium will be
  a part of the program.
  Authors are invited to submit papers presenting original and unpublished
  research on all aspects of non-monotonic approaches in logic programming
  and knowledge representation. We invite submissions of both long and
  short papers.
* TOPICS
  Conference topics include, but are not limited to:
  1. Foundations of LPNMR Systems
  2. Implementation of LPNMR systems
  3. Applications of LPNMR
* SUBMISSION
  LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers
  (6 pages) in the following categories:
  - Technical papers
  - System descriptions
  - Application descriptions
  The indicated number of pages includes title page, references and
  figures. All submissions will be peer-reviewed and accepted papers will
  appear in the conference proceedings published in the Springer-Verlag
  Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
  author of each accepted paper is expected to register for the conference
  to present the work.
  The Program Committee chairs are planning to arrange for the best papers to
  be published in a special issue of a premiere journal in the field.
  LPNMR 2015 will not accept any paper which, at the time of submission, is
  under review or has already been published or accepted for publication in
  a journal or another conference. Authors are also required not to submit
  their papers elsewhere during LPNMR's review period. However, these
  restrictions do not apply to previous workshops with a limited audience
  and without archival proceedings.
* ASSOCIATED WORKSHOPS
  LPNMR 2015 will include specialized workshops to be held on September 27
  prior to the main conference. Currently planned workshops include:
  - Grounding, Transforming, and Modularizing Theories with Variables
  Organizers: Marc Denecker, Tomi Janhunen
  - Action Languages, Process Modeling, and Policy Reasoning
  Organizer: Joohyung Lee
  - Natural Language Processing and Automated Reasoning
  Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
  - Learning and Nonmonotonic Reasoning
  Organizers: Alessandra Russo and Alessandra Mileo
* IMPORTANT DATES (TENTATIVE)
  Paper registration: April 19th, 2015
  Paper submission:   April 24th, 2015
  Notification:       June 1st, 2015
  Final versions due: June 15th, 2015
* VENUE
  Lexington is a medium size, pleasant and quiet university town. It
  is located in the heart of the so-called Bluegrass Region in
  Central Kentucky. The city is surrounded by beautiful horse farms
  on green pastures dotted with ponds and traditional architecture
  stables, and small race tracks, and bordered by white or black
  fences. The Horse Museum is as beautifully located as it is
  interesting. Overall, the city has a nice feel that mixes well old
  and new. The conference will be held in the Hilton Lexington
  Downtown hotel.
* GENERAL CHAIR
  Victor Marek, University of Kentucky, KY, USA
* PROGRAM CHAIRS
  Giovambattista Ianni, University of Calabria, Italy
  Mirek Truszczynski, University of Kentucky, KY, USA
* WORKSHOPS CHAIR
  Yuliya Lierler, University of Nebraska at Omaha, NE, USA
* PUBLICITY CHAIR
  Francesco Calimeri, University of Calabria, Italy
* CONTACT
  lpnmr2015@mat.unical.it



13TH INTERNATIONAL CONFERENCE ON FORMAL MODELLING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015)
  Call for Papers
  Madrid, Spain
  September 2-4, 2015
  http://formats2015.unifi.it
* TOPICS
  The aim of FORMATS is to promote the study of fundamental and
  practical aspects of timed systems, and to bring together researchers
  from different disciplines that share interests in modelling and
  analysis of timed systems.  Typical topics include (but are not
  limited to):
  - Foundations and Semantics:  Theoretical foundations of timed systems
  and languages; comparison between different models (timed
  automata, timed Petri nets, hybrid automata, timed process
  algebra, max-plus algebra, probabilistic models).
  - Methods and Tools:  Techniques, algorithms, data structures, and
  software tools for analyzing timed systems and resolving temporal
  constraints (scheduling, worst-case execution time analysis,
  optimization, model checking, testing, constraint solving, etc.).
  - Applications:  Adaptation and specialization of timing technology in
  application domains in which timing plays an important role
  (real-time software, hardware circuits, and problems of
  scheduling in manufacturing and telecommunication).
* SUBMISSION
  FORMATS 2015 solicits high-quality papers reporting research results
  and/or experience reports related to the topics mentioned above.
  Submitted papers must contain original, unpublished contributions, not
  submitted for publication elsewhere.  The papers should be submitted
  electronically in PDF, following the Springer LNCS style guidelines.
  Submissions should not exceed 15 pages in length.
* PUBLICATION AND SPECIAL ISSUE
  The proceedings of FORMATS 2015 will be published by Springer in the
  Lecture Notes in Computer Science series.
  A special issue dedicated to FORMATS will be hosted in the Journal of
  Real Time Systems, Springer, collecting the extensions of papers
  selected by quality and fitness to the Journal scope, and subject to
  additional revision.
* IMPORTANT DATES
  - Abstract submission: April 20, 2015
  - Paper submission: April 27, 2015
  - Notification of acceptance: June 10, 2015
  - Final version due:  June 22, 2015
  - Conference: September 2-4, 2015
* PROGRAM CHAIRS
  Sriram Sankaranarayanan (University of Colorado at Boulder, USA)
  Enrico Vicario (University of Florence, Italy)
* COLOCATION
  FORMATS 2015 will be colocated with QEST, CONCUR, TGC, EPEW, and WS-FM/BEAT,
  EXPRESS/SOS, PV, TRENDS, YR-CONCUR and FOCLASA as part of Madrid Meet 2015
  (http://mafalda.fdi.ucm.es/madrid2015/), a week on quantitative and formal
  methods for computer safety, reliability, and performance.



31ST INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2015)
  Call for Papers
  Cork, Ireland
  August 31 - September 4, 2015
  http://booleconferences.ucc.ie/iclp2015
* HISTORY
  Since the first conference held in Marseilles in 1982, ICLP has been
  the premier international conference for presenting research in logic
  programming. ICLP 2015 will be co-located with the 21st International
  Conference on Principles and Practice of Constraint Programming (CP
  2015) and is part of "The Year of George Boole", a celebration of the
  life and work of George Boole who was born in 1815 and worked at the
  University College of Cork.
* IMPORTANT DATES
  Abstracts due:  April 20, 2015
  Papers due:  April 27, 2015
  Notification to authors:    June 5, 2015
  Camera ready versions due:  July 21, 2015
  Conference: August 31-September 4, 2015
* CONFERENCE SCOPE
  Contributions are sought in all areas of logic programming, including
  but not restricted to:
  - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
    Knowledge Representation.
  - Implementation: Compilation, Virtual Machines, Parallelism, Constraint
    Handling Rules and Tabling.
  - Environments: Program Analysis, Transformation, Validation,
    Verification, Debugging, Profiling, Testing.
  - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
    Order, Types, Modes, Assertions, Programming Techniques.
  - Related Paradigms: Inductive and Coinductive Logic Programming,
    Constraint Logic Programming, Answer-Set Programming, SAT,
    Constraints, Computational Argumentation, Abductive Logic Programming,
    Functional Logic Programming.
  - Applications: Databases, Data Integration and Federation, Software
    Engineering, Natural Language Processing, Web and Semantic Web,
    Agents, Artificial Intelligence, Bioinformatics, Social Networks and
    Social Choice.
  In addition to the presentations of accepted papers, the technical
  program will include invited talks, advanced tutorials, the doctoral
  consortium, the Prolog contest and several workshops.
* SUBMISSION DETAILS
  There are two categories for submissions:
  -- Regular papers, including: (1) technical papers for describing
     technically sound, innovative ideas that can advance the state of
     logic programming; (2) application papers, with emphasis on impact
     on some application domains; (3) system and tool papers, with
     emphasis on novelty, practicality, usability and availability of
     the systems and tools described.
  -- Technical communications aimed at describing recent developments,
     new projects, and other materials not ready for publication as
     regular papers.
  All regular papers and technical communications will be presented
  during the conference. All submissions must be written in English and
  describe original, previously unpublished research, and must not
  simultaneously be submitted for publication elsewhere.
  Regular papers must not exceed 12 pages plus bibliography: however the
  papers may include appendices beyond 12 pages. Technical
  communications must not exceed 10 pages. Submissions must be made in
  the TPLP format (see http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf)
  via the EasyChair submission system, available at
  www.easychair.org/conferences/?conf=iclp2015.
* PAPER PUBLICATION
  All accepted regular papers will be published in the journal Theory
  and Practice of Logic Programming (TPLP), Cambridge University Press
  (CUP), in one or more special issues. In order to ensure the quality
  of the final version, papers may be subject to two rounds of
  refereeing (within the decision period). Accepted technical
  communications will be published in archival form. The program
  committee may also recommend papers submitted as regular to be
  published as technical communications.
* ICLP 2015 ORGANIZATION
  - General Co-Chairs:
    Barry O'Sullivan      University College Cork, Ireland
    Roland Yap            National University of Singapore
  - Program Co-Chairs:
    Thomas Eiter          TU Wien, Austria
    Francesca Toni        Imperial College London, UK
  - Local Arrangements Co-Chairs:
    Barry O'Sullivan      University College Cork, Ireland
    Ken Brown             University College Cork, Ireland
  - Workshops Chair:
    Mats Carlsson         SICS, Uppsala, Sweden
  - Doctoral Consortium Chairs:
    Marina De Vos         University of Bath, UK
    Yuliya Lierler        University of Nebraska at Omaha, USA
  - LP/CP Programming Contest Chair:
    Neng-Fa Zhou,         City University of New York,  USA
    Peter Stuckey,        NICTA and the University of Melbourne, Australia
  - Publicity Chair:
    Ian Miguel            University of St Andrews, UK



13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2015)
  October 12-15, 2015
  Shanghai, China
  http://atva2015.ios.ac.cn/
* BACKGROUND
  The purpose of ATVA is to promote research on theoretical and practical
  aspects of automated analysis, verification and syn-thesis by providing
  a forum for interaction between the regional and the international research
  communities and industry in the field.
* SCOPE
  ATVA 2015 solicits high-quality submissions in areas related to the theory
  and practice of automated analysis and verification of hardware and software
  systems. Topics of interest include, but are not limited to:
  - Formalisms for modeling hardware, software and embedded systems
  - Specification and verification of finite-state, infinite-state and
    parameterized systems
  - Program analysis and software verification
  - Analysis and verification of hardware circuits, systems-on-chip and
    embedded systems
  - Analysis of real-time, hybrid, priced/weighted and probabilistic systems
  - Deductive, algorithmic, compositional, and abstraction refinement
    techniques for analysis and verification
  - Analytical techniques for safety, security, and dependability
  - Testing and runtime analysis based on verification technology
  - Analysis and verification of parallel and concurrent hardware/software systems
  - Verification in industrial practice
  - Applications and case studies
  Theory papers should preferably be motivated by practical problems, and
  applications should be based on sound theory and should solve problems of
  practical interest.
* IMPORTANT DATES
  April 22, 2015 Abstract submission deadline (AOE)
  April 25, 2015 Paper submission deadline (AOE)
  May 5, 2015 Submission of workshop proposals
  Jun 8, 2015 Paper acceptance/rejection notification
  Jun 10, 2015 Announcement of the accepted papers
  July 5, 2015 Camera-ready copy deadline
* GENERAL CHAIR
  Jifeng He (East China Normal University, China)
* PROGRAMME CHAIRS
  Bernd Finkbeiner (Saarland University, Germany)
  Geguang Pu (East China Normal University, China)
  Lijun Zhang (Institute of Software, Chinese Academy of Sciences)
* PUBLICITY CHAIRS
  David N. Jansen (Radboud Universiteit, Netherlands)
  Huibiao Zhu (East China Normal University, China)
* WORKSHOP CHAIR
  Jun Sun (National University of Singapore, SG)
* KEYNOTES
  Dino Distefano (Queen Mary, University of London, UK)
  Joost-Pieter Katoen (RWTH Aachen University, Germany)
  Jay Strother Moore (University of Texas-Austin, USA)



20TH INTERNATIONAL SYMPOSIUM ON FUNDAMENTALS OF COMPUTATION THEORY (FCT 2015)
  Call for Papers
  August 17-19, 2015
  Gdansk, Poland
  http://sites.google.com/site/fct2015gdansk/
* SUBMISSION
  Authors are invited to submit original research papers in all areas related
  to the Foundations of Computer Science (algorithms, formal methods, emerging
  fields of study). Submissions should be made via the conference website,
  no later than April 25, 2015 (anytime in the world). No simultaneous
  submission to other conferences with published proceedings is allowed.
* GENERAL
  FCT is a biennial series of conferences in the field of theoretical
  computer science. It was established in 1977 for researchers interested in
  all aspects of theoretical computer science, and in particular
  algorithms, complexity, formal and logical methods.
  The 20th edition of FCT will be held in Gdansk, a 1000-year old city on
  the Baltic coast in northern Poland, with a medieval Old Town
  picturesquely set on the banks of the Motlawa River.
* INVITED SPEAKERS
  Marek Karpinski, Peter Widmayer, and Antonin Kucera.
* IMPORTANT DATES
  Submission deadline:  April 25, 2015
  Notification to authors: June 4, 2015
  Symposium: August 17-19, 2015
* SCOPE
  The program committee is soliciting original and significant research
  contributions to the Fundamentals of Computation Theory, including (but
  not limited to) algorithms, formal methods and emerging fields (ad hoc,
  dynamic and evolving systems; algorithmic game theory; computational biology;
  foundations of cloud computing and ubiquitous systems; quantum information
  and quantum computing).
* PUBLICATION
  Conference proceedings will be published in the Springer "Lecture Notes
  in Computer Science" series. Selected papers will be invited to a special
  issue of the journal "Discrete Mathematics & Theoretical
  Computer Science", devoted to FCT'15. It is required that each accepted
  paper be presented at the conference by one of its authors.
* PROGRAM CHAIRS
  Adrian Kosowski, Inria and Universite Paris Diderot (co-chair)
  Igor Walukiewicz, CNRS and Universite de Bordeaux (co-chair)



WEIGHTED LOGICS FOR AI: LOGIC, UNCERTAIN BELIEFS, PREFERENCES, PARTIAL TRUTH (WL4AI'15)
  Call for Papers
  July 25-27, 2015
  Buenos Aires, Argentina
  http://www.iiia.csic.es/wl4ai-2015/
* WEIGHTED LOGICS
  In this workshop, continuation of the successful workshops with the
  same name held at ECAI-2012 and IJCAI-2013, the aim is to bring
  together researchers to discuss about the different motivations for
  the use of weighted logics in AI, the different types of calculi that
  are appropriate for these needs, and the problems that arise when
  putting them at work. Any paper on a weighted logical system in
  relation to any of the following topics (but not limited to) with an
  AI perspective is welcome:
  - weighted argumentation systems
  - uncertain extensions of description logics
  - logical aspects of graded BDI agents
  - graded emotions
  - graded truth
  - belief revision in weighted logics
  - inconsistency handling in weighted logics
  - information fusion in weighted logics
  - proof systems and decision procedures for weighted logics
  - uncertainty extensions of logic programs
  - weighted systems and non monotonic reasoning
  - preference modeling
  - logics of graded trust and reputation
  Authors are especially encouraged to discuss the intended semantics of
  the weights they use in their paper. Details about submission guidelines
  will be posted shortly.
* IMPORTANT DATES (TENTATIVE)
  - April 27, 2015: Deadline for submission of contributions to the workshop
  - May 20, 2015: Notification on workshop paper submissions
  - May 30, 2015: Deadline for sending the final camera ready copy to
  workshop organizers
* WORKSHOP CO-CHAIRS
  Marcelo Finger, University of Sao Paulo, Brazil
  Lluis Godo, IIIA-CSIC, Spain
  Henri Prade, IRIT-CNRS, France
  Guilin Qi, Southeast University, China



7TH NASA FORMAL METHODS SYMPOSIUM
  Call for Participation
  April 27-29, 2015
  http://www.NASAFormalMethods.org/nfm2015
  Pasadena, California, USA
* THEME
  The widespread use and increasing complexity of mission- and safety-critical
  systems require advanced techniques that address their specification,
  verification, validation, and certification. The NASA Formal Methods
  Symposium is a forum for theoreticians and practitioners from academia,
  industry, and government, with the goals of identifying challenges and
  providing solutions to achieving assurance in mission- and safety-critical
  systems. The focus of the symposium is on formal methods, and aims to foster
  collaboration between NASA researchers and engineers and the wider
  aerospace and academic formal methods communities.
* TOPICS
  Topics of interest include, but are not limited to:
  Model checking, Theorem proving, SAT and SMT solving, Symbolic execution,
  Static analysis, Runtime verification, Systematic testing, Program
  refinement, Compositional verification, Modeling and specification formalisms,
  Model-based development, Model-based testing, Requirement engineering,
  Formal approaches to fault tolerance, Security and intrusion detection,
  Applications of formal methods
* INVITED SPEAKERS
  - Dino Distefano
  Software Engineer at Facebook, California, USA
  Professor at Queen Mary University of London, UK.
  - Viktor Kuncak
  Leads Lab for Automated Reasoning and Analysis at EPFL, Lausanne, Switzerland.
  - Rob Manning
  Chief Engineer at NASA/JPL.
* LOCATION, COST, REGISTRATION AND HOTEL ROOM BOOKING
  The symposium will take place at the Hilton Hotel, Pasadena, California, USA
  There will be no registration fee for participants.
  All interested individuals, including non-US citizens, are welcome to attend;
  however, all attendees must register (but please only register if you intend
  to attend). Registration form and hotel booking websites are reachable
  from the main website. A block of rooms at a low price are reserved with
  booking deadline of March 26.
* PC CHAIRS
  Klaus Havelund, NASA Jet Propulsion Laboratory, USA
  Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
  Rajeev Joshi, NASA Jet Propulsion Laboratory, USA



E. W. BETH DISSERTATION PRIZE 2015
  Call for Nominations
  http://www.folli.info/?page_id=84
* HISTORY
  Since 2002, FoLLI (the Association for Logic, Language, and Information)
  has awarded the E.W. Beth Dissertation Prize to outstanding dissertations
  in the fields of Logic, Language, and Information.
  We invite submissions for the best dissertation which resulted in a Ph.D.
  degree awarded in 2014. The prize will be awarded at the ESSLLI summer
  school in Barcelona.
* WHO QUALIFIES
  Nominations of candidates are admitted who were awarded a Ph.D. degree in
  the areas of Logic, Language, or Information between January 1st, 2014 and
  December 31st, 2014. Theses must be written in English; however, the
  Committee accepts submissions of English translations of theses originally
  written in other languages, and for which a PhD was awarded in the preceding
  two years (i.e. between January 1st, 2012 and December 31st, 2013). There
  is no restriction on the nationality of the candidate or on the university
  where the Ph.D. was granted.
* PRIZE
  The prize consists of:
  -a certificate
  -a donation of 2500 euros provided by the E.W. Beth Foundation
  -an invitation to submit the thesis (or a revised version of it) to the FoLLI
  Publications on Logic, Language and Information (Springer).
* HOW TO SUBMIT
  See  http://www.folli.info/?page_id=84
  Queries: Ian Pratt-Hartmann (ipratt@cs.man.ac.uk)
* IMPORTANT DATES
  Deadline for Submissions: April 27th, 2015.
  Notification of Decision: July 6th, 2015.
  ESSLLI summer school: August 3rd-14th, 2015
* COMMITTEE
  Raffaella Bernardi (Trento), Johan Bos (Groningen), Julian Bradfield
  (Edinburgh), Wojciech Buszkowski (Poznan), Michael Kaminski (Technion, Haifa),
  Marco Kuhlmann (Linkoping), Larry Moss (Bloomington), Valeria de Paiva
  (Nuance Communications), Ian Pratt-Hartmann (chair) (Manchester), Ruy de
  Queiroz (Recife), Mehrnoosh Sadrzadeh (Queen Mary, London), Rineke Verbrugge
  (Groningen)



11TH INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND META-LANGUAGES: THEORY AND PRACTICE (LFMTP 2015)
  Call for papers
  1 August 2015
  Berlin, Germany
  Affiliated with CADE-25
  http://lfmtp.org/2015
* LFMTP is an annual forum where researchers in the area of type theories,
  logical frameworks and meta-languages report on recent foundational and
  applied advances in these fields.  The workshop brings together designers,
  implementers, and practitioners working on these areas.
* IMPORTANT DATES
  - 30 April 2015: abstract submission
  - 7 May 2015: paper submission
  - 12 June 2015: notifications to authors
* Detailed information can be found on the webpage.



TACL2015 - TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC
  Call for Conference Submissions and School Participation
  School: 15 - 19 June 2015, University of Salerno (Italy)
  Conference: 21 - 26 June 2015, Ischia Island (Italy)
  http://logica.dmi.unisa.it/tacl/
* AIMS
  The programme of the conference TACL 2015 will focus on three
  interconnecting mathematical themes central to the semantic study of logics
  and their applications: algebraic, categorical, and topological methods.
  This year the school will be held at the campus of the University of Salerno
  and will include four tutorials, each consisting of 1.5 hour lectures for
  five days.
* IMPORTANT DATES
  Deadline for early registration (conference)  30 April 2015
  Deadline for registration (school)            30 April 2015
* INVITED SPEAKERS
  Olivia Caramello (Institut des Hautes Etudes Scientifiques), Agata Ciabattoni
  (Technische Universitaet Wien), Maria Manuel Clementino (Universidade de
  Coimbra), Emil Jerabek (Academy of Sciences of the Czech Republic), Andre
  Joyal (Universite du Quebec), Keith A. Kearnes (University of Colorado),
  Daniele Mundici (University of Florence), Paulo Oliva (Queen Mary University
  of London), Jorge Picado (Universidade de Coimbra), Michael Pinsker
  (University Paris Diderot)
* SCHOOL LECTURERS
  Guram Bezhanishvili (New Mexico State University), Brian Davey (La Trobe
  University), Ieke Moerdijk (Nijmegen University), Luke Ong (Oxford University)



22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2015)
  Call for papers
  Symposium on September 23 - 25, 2015, Kassel Germany
  http://time2015.uni-kassel.de
  Submission deadline on April 30th
* TIME 2015 aims to bring together researchers interested in reasoning about
  temporal aspects of information in any area of Computer Science. The
  symposium has a wide remit and intends to cater both for theoretical aspects
  and well-founded applications. One of the key aspects of the time symposium
  is its interdisciplinarity with attendees from distinct areas such as
  artificial intelligence, database management, logic and verification, and
  beyond. The symposium will encompass three tracks on temporal representation
  and reasoning in AI, Databases, as well as Logic and Verification.
* Submissions of high quality papers describing research results are solicited.
  Submitted papers should contain original, previously unpublished content,
  should be written in English, and must not be simultaneously submitted for
  publication elsewhere. Submitted papers will be refereed for quality,
  correctness, originality, and relevance.
* Invited Speakers: Giuseppe de Giacomo, Sapienza Universita di Roma;
  Carlo Zaniolo, UCLA; Benedikt Bollig, ENS Cachan
* Proceedings and Special Issue: Accepted papers will be presented at the
  symposium and included in the published by the IEEE Conference Publishing
  Services (CPS). The authors of the best papers of the conference will be
  invited to submit an extended version of their contribution to a special
  issue appearing in the journal Information & Computation.



DOMAINS XII
  Call for Abstract and Participation
  http://booleconferences.ucc.ie/gbmsc2015/domainsxii
  25-28 Aug 2015
* DOMAINS
  The international conference Domains is aimed at computer scientists
  and mathematicians alike who share an interest in the mathematical
  foundations of computation. Previous Domains meetings include Paris (2014),
  Swansea (2011), Sussex (2008) and Novosibirsk (2007). Domains is an open
  and interactive event, welcoming talks on topics related to domains and
  related aspects (list included below) as well as talks pertaining to the
  general Boole theme of the overarching mathematical sciences conference.
  Conference publication will be considered pending participant interest.
  Domains XII will be embedded in the George Boole Mathematical Sciences
  (GMBS) Conference.
* INVITED SPEAKERS
  - Stephen Brookes (Carnegie Mellon)
  - Thierry Coquand (Gothenburg)
  - Abbas Edalat (Imperial College)
  - Jean Goubault-Larrecq (LSV, CNRS & ENS de Cachan)
  - Chris Heunen (Oxford)
  - Gordon Plotkin (Edinburgh)
  - Dana Scott (Carnegie Mellon)
* TOPICS
  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
* IMPORTANT DATES
  Registration: opened March 28
  Submission of Abstracts: by May 1
  Please send abstracts to: m.schellekens@cs.ucc.ie
  Notification of acceptance: June 1
  Late registration: as of June 15 to August 15



GBMS THEME 2: FROM BOOLE'S ALGEBRA OF LOGIC TO BOOLEAN ALGEBRA, AND BEYOND
  Call for Participation
  27-28 August 2015
  Cork, Ireland
  http://booleconferences.ucc.ie/gbmsc2015/theme2
* CONTEXT
  The international conference "From Boole's Algebra of Logic to Boolean
  Algebra, and Beyond" will take place during the celebrations of
  Boole's bicentenary at University Cork. As an open and interactive
  event, the conference welcomes talks on topics related to the main
  theme, Boole's Algebra of Logic, Boolean Algebra as well as other
  developments emanating from Boole's work or presentations pertaining
  to the history of Boole's work and related discoveries. Conference
  publication will be considered pending participant interest.
  "From Boole's Algebra of Logic to Boolean Algebra, and Beyond" will be
  embedded in the George Boole Mathematical Sciences (GMBS) Conference.
* INVITED SPEAKERS
  - Stanley Burris (University of Waterloo)
  - Amirouche Moktefi (Tallinn University of Technology)
  - Don Monk (University of Colorado Boulder)
  - Hillary Priestley (University of Oxford)
  - Stevo Todorcevic (University of Toronto and CNRS, Paris)
* IMPORTANT DATES
  Registration: opens March 28
  Submission of Abstracts: by May 1
  Please send abstracts to: m.schellekens@cs.ucc.ie
  Notification of acceptance: June 1
  Late registration: as of June 15 to August 15
* STEERING COMMITTEE
  - Steven Givant (Mills College)
  - Wilfrid Hodges (University of London)
  - Angus Mcintyre (Queen Mary London)
  - Michel Schellekens (UCC)
  - Dana Scott (Carnegie Mellon)
* ORGANIZERS
  - Aoife Hennessy (WIT)
  - Michel Schellekens (UCC)



12TH INTERNATIONAL WORKSHOP ON QUANTUM PHYSICS AND LOGIC (QPL 2015)
  Call for Papers and Participation
  July 13-17, 2015
  Oxford, United Kingdom
  http://www.cs.ox.ac.uk/qpl2015
* SERIES
  QPL is a workshop that brings together researchers working on mathematical
  foundations of quantum physics, quantum computing, spatio-temporal causal
  structures, and related areas such as computational linguistics. Of
  particular interest are topics that use logical tools, ordered algebraic
  and category-theoretic structures, formal languages, semantical methods
  and other computer science methods for the study of physical behaviour in general.
* IMPORTANT DATES
  Submission deadline: 1 May 2015;
  Notification: 1 June 2015
* INVITED SPEAKERS
  Paul Busch (York), Dan Browne (London), Chris Douglas (Oxford)
* TUTORIALS
  Paul Busch (York), Dan Browne (London), Oscar Dahlsten (Oxford),
  Pawel Sobocinski (Southampton)
* Registration is now open
* Detailed information can be found on the webpage.



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



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



12TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING
  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



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



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.