SIGLOG Monthly 168
March 1, 2015
*******************************************************************
* Past issues of the newsletter are available at
http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
SIGLOG Monthly Bulletin
ACM TOCL Editor-In-Chief Search
LICS'15 Preview
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
TACL 2015 - Call for Submissions/Participation
WWV 2015 - Call for Papers
CALCO 2015 - Call for Papers
TbiLLC 2015 - Call for Papers
NLCS 2015 - Call for Papers
CSL 2015 - Call for Papers
MFPS XXXI - Call for Papers
WISTP 2015 - Call for Papers
NAT@LOGIC 2015 - Call for Papers
CONCUR 2015 - Call for Papers
LPNMR 2015 - Preliminary Call for Papers
ACKERMANN AWARD 2015 - Call for Nominations
HDRA 2015 - Call for Papers
CADE-25 - Call for Posters and Encyclopedia Entries (Proof Systems)
FORMATS 2015 - Call for Papers
ICLP 2015 - Call for Papers
ATVA 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
TIME 2015 - Call for Papers
FroCoS 2015 - Call for Papers
QPL 2015 - Call for Papers
SSFT 2015 - Call for Participation
ICTAC 2015 - Call for Papers
SETTA 2015 - Call for Papers
DOMAINS XII - Call for Participation
GBMSC - Call for Participation
GBMSC THEME 2 - Call for Participation
ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
* BOOK ANNOUNCEMENT
All about Proofs, Proofs for All
* 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
Postdoc Positions on Software Synthesis in Multi-University NSF Project ExCAPE (USA)
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.siglog.org/newsletters/inst.html
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (TOCL) EDITOR-IN-CHIEF
* The term of the current Editor-in-Chief (EiC) of the ACM Transactions
on Computational Logic (TOCL) is coming to an end, and the ACM
Publications Board has set up a nominating committee to assist the
Board in selecting the next EiC. TOCL was established in 2000 and has
been experiencing steady growth, with 74 submissions received in 2014.
Nominations, including self nominations, are invited for a three-year
term as TOCL EiC, beginning on July 1, 2015. The EiC appointment may
be renewed at most one time. This is an entirely voluntary position,
but ACM will provide appropriate administrative support. The deadline
is March 30. For further details, see
http://tocl.acm.org/announcements/Call-for-Nominations.pdf
LICS'15 PREVIEW
http://lics.siglog.org/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
* TACL 2015
Submission deadline: March 15, 2015
Early registration deadline (school/conference): April 30, 2015
http://logica.dmi.unisa.it/tacl/
* WWV 2015
Abstract submission: March 18, 2015
Paper submission: March 25, 2015
http://wwv2015.isti.cnr.it/
* CALCO 2015
Abstract submission: March 22, 2015
Paper submission: April 2, 2015
http://coalg.org/calco15/
* TbiLLC 2015
Submission deadline: March 31, 2015
http://www.illc.uva.nl/Tbilisi/Tbilisi2015
* 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/
* 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
* LPNMR 2015
Paper registration: April 13, 2015
Paper submission: April 20, 2015
http://lpnmr2015.mat.unical.it/
* 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/
* 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/
* 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
* TIME 2015
Submission deadline: April 30, 2015
http://time2015.uni-kassel.de
* FroCoS 2015
Abstract submission: May 4, 2015
Full paper submission: May 10, 2015
http://frocos2015.ii.uni.wroc.pl/
* QPL 2015
Submission deadline: 1 May 2015
http://www.cs.ox.ac.uk/qpl2015
* 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/
* DOMAINS XII
Conference: August 25-28, 2015
http://booleconferences.ucc.ie/gbmsc2015/domainsxii
* GBMSC
Conference: August 17-28, 2015
http://booleconferences.ucc.ie/gbmsc2015
* GBMSC THEME 2
Conference: August 27-28, 2015
http://booleconferences.ucc.ie/gbmsc2015/theme2
* 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
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 submissions 15 March 2015
Notification of acceptance 15 April 2015
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)
11TH INTERNATIONAL WORKSHOP ON AUTOMATED SPECIFICATION AND VERIFICATION OF WEB SYSTEMS (WWV 2015)
Call for Papers
June 23rd, 2015
Oslo (Norway)
affiliated with FM 2015
http://wwv2015.isti.cnr.it/
* IMPORTANT DATES
Abstract submission March 18, 2015
Paper submission March 25, 2015
Notification of acceptance May 8, 2015
Camera ready versions May 31, 2015
Workshop WWV 2015 June 23, 2015
* SCOPE
The Workshop on Automated Specification and Verification of Web
Systems (WWV) is a yearly interdisciplinary forum for researchers
originating from the following areas: declarative, rule-based
programming, formal methods, software engineering and web-based
systems. WWV fosters the cross-fertilisation and advancement of
hybrid methods from such areas. During its ten earlier editions,
the WWV workshop series has established itself as a lively,
friendly event with many interactions and discussions.
* PAPERS
WWV welcomes papers of either theoretical or applied interest,
including case studies or experience reports, in all areas of
web-based systems (web services, cloud platforms,
Internet-of-Things, social networks, big data), including but
not limited to:
- Formal methods and rigorous software and system engineering
- Declarative, rule-based approaches
- Product line and feature-oriented engineering
- Programming and design languages and models
- Specification, certification, transformation, and synthesis
- Analysis, verification, model checking, and debugging
- Semi-structured data, linked data, and semantic web
- Security, trust, privacy, reputation, confidentiality, and integrity
- Quality, metrics, usability, and accessibility
- Testing, evaluation, and optimisation
- Middleware, platforms, and frameworks
* INVITED SPEAKERS
Dino Distefano Queen Mary University, London, UK
Jose Meseguer University of Illinois, USA
* SUBMISSION
We solicit the submission of original, unpublished contributions
not under review for publication elsewhere. Contributions are
expected to comprise research papers (with novel, previously
unpublished results), experience reports of real-world
applications, tool descriptions, and short papers (e.g. describing
work-in-progress or exploratory ideas). All papers must be
prepared in LaTeX using the EPTCS style
- Full papers should not exceed 16 pages (typeset 11 points).
- Short papers should not exceed 8 pages.
* PUBLICATION
All contributions will be evaluated by at least three reviewers,
chosen by the Program Committee. The PC will select the best
papers based on their quality, relevance to the workshop, and
potential to instigate discussion.
An open call for a special issue in a highly-reputed journal on
the topic of the WWV workshop is envisaged. This has been common
practice for WWV since 2009.
* PROGRAM CHAIRS
Maurice H. ter Beek ISTI-CNR, Pisa, Italy
Alberto Lluch Lafuente Technical University of Denmark
6TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2015)
Call for Papers
June 24-26, 2015
Nijmegen, Netherlands
http://coalg.org/calco15/
* SCOPE
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.
It is a high-level, bi-annual conference formed by joining the forces
and reputations of CMCS (the International Workshop on Coalgebraic
Methods in Computer Science), and WADT (the Workshop on Algebraic
Development Techniques). Previous CALCO editions took place in
Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009),
Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will
be held in Nijmegen, the Netherlands, colocated with MFPS XXXI.
* INVITED SPEAKERS
Andy Pitts - University of Cambridge, UK (joint with MFPS)
Chris Heunen - University of Oxford, UK
Matteo Mio - CNRS, ENS Lyon, FR
Daniela Petrisan - Radboud University, Nijmegen, NL
* TOPICS OF INTEREST
We invite submissions of technical papers that report results of
theoretical work on the mathematics of algebras and coalgebras, the
way these results can support methods and techniques for software
development, as well as experience with the transfer of the resulting
technologies into industrial practice. We encourage submissions in
topics included or related to those listed below.
- Abstract models and logics
- Specialised models and calculi
- Algebraic and coalgebraic semantics
- System specification and verification
- Corecursion in Programming Languages
- Algebra and Coalgebra in quantum computing
* NEW TOPIC
This edition of CALCO will feature a new topic, and submission of papers
in this area is particularly encouraged.
- String Diagrams and Network Theory
* SUBMISSION GUIDELINES
Prospective authors are invited to submit full papers in English
presenting original research. Submitted papers must be unpublished and
not submitted for publication elsewhere. Experience papers are
welcome, but they must clearly present general lessons learned that
would be of interest and benefit to a broad audience of both
researchers and practitioners. Submissions will be handled via EasyChair
https://www.easychair.org/conferences/?conf=calco2015
* IMPORTANT DATES --
Abstract submission: March 22, 2015
Paper submission: April 2, 2015
Author notification: May 6, 2015
Final version due: June 3, 2015
* PC CHAIRS
Larry Moss (co-chair), Indiana University, US
Pawel Sobocinski (co-chair), University of Southampton, UK
* ORGANISING COMMITTEE
Alexandra Silva, Bart Jacobs, Nicole Messink, Sam Staton
* PUBLICITY
Fabio Zanasi
* CALCO Early Ideas Overview
The CALCO Early Ideas Workshop invites submissions on the same topics
as the CALCO conference: reporting results of theoretical work on the
mathematics of algebras and coalgebras, the way these results can
support methods and techniques for software development, as well as
experience with the transfer of the resulting technologies into industrial practice.
The list of topics of particular interest is shown on the main CALCO 2015 page.
We encourage PhD students and young researchers to submit Early Idea papers
to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in
the abstract that the paper is to be considered for an Early Ideas talk.
THE 11TH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION
Call for Papers
21-26 September 2015
Tbilisi, Georgia
http://www.illc.uva.nl/Tbilisi/Tbilisi2015
* AIMS
The Eleventh International Tbilisi Symposium on Language, Logic and
Computation will be held on 21-26 September 2015 in Tbilisi, Georgia. The
Programme Committee invites submissions for contributions
on all aspects of language, logic and computation. Work of an
interdisciplinary nature is particularly welcome. Areas of interest
include, but are not limited to:
- Algorithmic game theory
- Computational social choice
- Constructive, modal and algebraic logic
- Formal models of multiagent systems
- Historical linguistics, history of logic
- Information retrieval, query answer systems
- Language evolution and learnability
- Linguistic typology and semantic universals
- Logic, games, and formal pragmatics
- Logics for artificial intelligence
- Natural language syntax, semantics, and pragmatics
- Natural logic, inference and entailment in natural language
- Distributional and probabilistic models of information and meaning
* SUBMISSIONS
Authors can submit an abstract of three pages (including references) at the
EasyChair conference system here:
http://www.easychair.org/conferences/?conf=tbillc2015
* PROGRAMME
The programme will include the following invited lectures and tutorials.
- Tutorials
Logic: Brunella Gerla (University of Insubria)
Language: Lisa Matthewson (University of British Columbia)
Computation: Joel Ouaknine (Oxford University)
- Invited Lectures
Rajesh Bhatt (University of Massachusetts )
Melvin Fitting (Graduate School and University Center of New York)
Helle Hansen (Delft University of Technology)
George Metcalfe (Bern University)
Sarah Murray (Cornell University)
Mehrnoosh Sadrzadeh (Queen Mary, University of London)
* WORKSHOPS
There will also be a workshop on Automata and Coalgebra, organised by
Helle Hansen and Alexandra Silva and a workshop on "How to make things
happen in grammar: Encoding Obligatoriness?, organised by Rajesh Bhatt and
Vincent Homer.
* CHAIRS
Daniel Altshuler (Chair, Heinrich-Heine-University Duesseldorf)
Luca Spada (Chair, ILLC, University of Amsterdam and University of Salerno)
* PUBLICATION INFORMATION
Post-proceedings of the symposium will be published in the LNCS series of
Springer.
* IMPORTANT DATES
Submission deadline (extended): 31 March 2015
Notification (extended): 31 May 2015
Final abstracts due (extended): 1 July 2015
Registration deadline: 1 August 2015
Symposium: 21-26 September 2015
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.
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).
13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
Preliminary 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 13, 2015
- Paper submission: April 20, 2015
- Notification: June 1, 2015
- Final versions due: June 15, 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
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 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)
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.
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.
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]
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.
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
DOMAINS XII
Call for 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
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
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)
* 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)
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)
ALL ABOUT PROOFS, PROOFS FOR ALL
http://www.collegepublications.co.uk/logic/mlf/?00023
http://www.easychair.org/smart-program/VSL2014/APPA-index.html
* EDITORS
David Delahaye and Bruno Woltzenlogel Paleo
* CHAPTERS AND THEIR AUTHORS
- Proofs for Satisfiability Problems
Armin Biere, Marijn Heule
- Proofs in Satisfiability Modulo Theories
Clark Barrett, Pascal Fontaine, Leonardo de Moura
- Proof Generation for Saturating First-Order Theorem Provers
Stephan Schulz, Geoff Sutcliffe
- Higher-Order Automated Theorem Provers
Christoph Benzmueller
- Interactive Theorem Provers from the Perspective of Isabelle/Isar
Makarius Wenzel
- Introduction to the Calculus of Inductive Constructions
Christine Paulin-Mohring
- Deduction Modulo Theory
Gilles Dowek
- Foundational Proof Certificates
Dale Miller
- Deep Inference
Alessio Guglielmi
- On Proof Mining by Cut-Elimination
Alexander Leitsch
- Event-B
Jean-Raymond Abrial
- Computer-Aided Proofs in Cryptography
Gilles Barthe, François Dupressoir, Benjamin Gregoire,
Benedikt Schmidt, Pierre-Yves Strub
College Publication 2015, 247 Pages
ISBN: 978-1-84890-166-7
* This book provides a snapshot of the current state of the art
in proof search and proof production as implemented in contemporary
automated reasoning tools. Furthermore, various trends in proof theory
are surveyed; and applications of formal proofs are illustrated.
* The chapter in this book are based on the tutorials given at the
APPA workshop affiliated to the Vienna Summer of Logic.
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 RESEACH 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: March 1, 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
POSTDOC POSITIONS ON SOFTWARE SYNTHESIS IN MULTI-UNIVERSITY MULTI-DISCIPLINARY NSF PROJECT ExCAPE
https://excape.cis.upenn.edu/postdoc-openings.html
* BACKGROUND
The goal of ExCAPE is to transform the way programmers develop software by
advancing the theory and practice of software synthesis. To achieve this
goal, the ExCAPE team brings together expertise in theoretical foundations
(computer-aided verification, control theory, program analysis), design
methodology (human-computer interaction, model-based design, programming
environments), and applications (concurrent programming, network protocols,
robotics, system architecture).
* POSITIONS AND FUNDINGS
ExCAPE has funding available for multiple post-doctoral research positions
for the academic year 2015-2016. We seek applicants with domain expertise
necessary to advance the practice of synthesis in one of the challenge
problems (https://excape.cis.upenn.edu/challenge_problems.html) as well as
applicants with expertise in theory and tools for synthesis. Each
post-doctoral researcher will be advised by two PIs. For more information,
please feel free to contact any of the PIs
(https://excape.cis.upenn.edu/people.html#PIs).
* UNIVERSITIES
Cornell University, Massachusetts Institute of Technology
Rice University; University of California, Berkeley; University of California,
Los Angeles; University of Illinois, Urbana-Champaign; University of Maryland,
College Park; University of Michigan; and University of Pennsylvania.
* FURTHER INFORMATION
For further information please contact Dr. Dana Fisman (fisman@seas.upenn.edu),
ExCAPE's Associate Director.
Back to the LICS web page.