SIGLOG Monthly 171
June 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
LICS'15 Call for Participation
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
ICTAC 2015 - Call for Papers
HIGHLIGHTS 2015 - Call for Papers
SETTA 2015 - Call for Papers
MFPS/CALCO 2015 - Call for Participation
CCC 2015 - Call for Papers
FICS 2015 - Call for Papers
HaPoC 3 - Call for Papers
GTTV 2015 - Call for Papers
LNMR 2015 - Call for Papers
SR 2015 - Call for Papers
FSTTCS 2015 - Call for Papers
BLC 2015 - Call for Papers
WoLLIC 2015 - Call for Participation
DCM 2015 - Call for Papers
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
PhD Studentships at Middlesex University London
New Doctoral Program on Logical Methods in Computer Science (LogiCS), Vienna
Two postdoc positions in logic, KR, database theory, and CSP, University of Bremen
ICALP/LICS'15
Call for Participation
July 4-10, 2015
Kyoto, Japan
http://www.kurims.kyoto-u.ac.jp/icalp-lics2015
EARLY REGISTRATION DEADLINE: June 12 (local time)
* Joint Conference of The 42nd International Colloquium on Automata,
Languages, and Programming (ICALP 2015) and The Thirtieth Annual
ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
will be held in July 6-10, 2015, in Kyoto.
* Eleven invited talks and about 240 papers on all areas of theoretical
computer science and logic in computer science will be presented at
Grand Prince Hotel Kyoto. Also, seven workshops will take place at
Kyoto University on July 4 and 5.
* INVITED SPEAKERS
Piotr Indyk (MIT, USA)
Ken-ichi Kawarabayashi (NII, Japan)
Daniel Kifer (Pennsylvania State University, USA)
Valerie King (University of Victoria, Canada)
Thomas Moscibroda (Microsoft Research and Tsinghua University, China)
Anca Muscholl (Universite Bordeaux, France)
Peter O'Hearn (Facebook and University College London, UK)
Luke Ong (University of Oxford, UK)
Andrew Pitts (University of Cambridge, UK)
Geoffrey Smith (Florida International University, USA)
Ryuhei Uehara (JAIST, Japan)
* WORKSHOPS
Workshop on Logic and Computational Complexity (LCC 2015)
Workshop on Natural Language and Computer Science 3 (NLCS 3)
Workshop on Quantum Computational Complexity (QCC)
Workshop on Realistic Models for Algorithms in Wireless Networks (WRAWN)
Workshop on Syntax and Semantics for Low-Level Languages (LOLA 2015)
Workshop on the Verification of Higher-Order Programs (HOPA)
Young Researchers Forum on Automata, Languages and Programming (YR-ICALP 2015)
* REGISTRATION
The registration page and the hotel reservation page are already open.
The early registration deadline is June 12 (local time). For more
details please visit our conference webpage:
http://www.kurims.kyoto-u.ac.jp/icalp-lics2015
* LOCAL ORGANIZERS
Masahito Hasegawa (Kyoto University)
Atsushi Igarashi (Kyoto University)
Kazuo Iwama (Kyoto University)
Kazuhisa Makino (Kyoto University)
* CONTACT
icalp-lics2015@kurims.kyoto-u.ac.jp
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer)
and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science is the flagship
conference of SIGLOG. SIGLOG will also actively seek association agreements
with other conferences in the field. A SIGLOG newsletter (SIGLOG News)
is also published quarterly in an electronic format with community news,
technical columns, members' feedback, conference reports, book reviews
and other items of interest to the community.
* One can join SIGLOG by visiting
https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
It is possible to join SIGLOG without joining ACM (the SIGLOG membership
fee is $25 and $15 for students).
DATES
* ICTAC 2015
Abstract submission: June 1, 2015
Paper submission: June 5, 2015
Submission deadline: June 5, 2015
http://www.ictac2015.co
* HIGHLIGHTS 2015
Submission deadline: June 12, 2015
http://highlights-conference.org
* ICALP/LICS 2015
Early registration deadline: June 12, 2015 (local time)
http://www.kurims.kyoto-u.ac.jp/icalp-lics2015/
* SETTA 2015
Abstract deadline: June 12, 2015
Paper submission: June 19, 2015
http://cs.nju.edu.cn/setta/
* MFPS/CALCO 2015
Early registration deadline: June 14, 2015
http://mfpscalco2015.cs.ru.nl/
* CCC 2015
Abstract submission deadline: 15 June 2015
http://www.cs.swan.ac.uk/ccc2015/
* FICS 2015
Abstract submission: June 16, 2015
Paper submission: June 23 2015
http://www.irit.fr/FICS2015/
* HaPoC 3
Submission deadline: June 19, 2015
http://hapoc2015.di.unipi.it
* GTTV 2015
Paper registration: June 22, 2015
Paper submission: June 29, 2015
https://sites.google.com/site/gttv2015/
* LNMR 2015
Paper registration: June 22
Submission deadline: June 29
http://lnmr2015.insight-centre.org/
* SR 2015
Abstract submission: July 1, 2015
Paper submission: July 3, 2015
https://sites.google.com/site/sr2015homepage/
* FSTTCS 2015
Paper submission: July 13, 2015
http://www.fsttcs.org
* BLC 2015
Abstract deadline: July 15, 2015
http://www.newton.ac.uk/event/blc-2015
* WoLLIC 2015
Workshop: July 20-23, 2015
http://www.indiana.edu/~iulg/wollic/
* DCM 2015
Submission Deadline for Extended Abstracts (5 pages): August 3, 2015
http://dcm-workshop.org.uk/2015/
* 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/
12TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING (ICTAC 2015)
Call for Papers
29-31 October 2015
Cali, Colombia
http://www.ictac2015.co
* SERIES
The ICTAC conference series aims at bringing together practitioners and
researchers to exchange ideas and experiences addressing challenges in
theoretical aspects of computing as well as in exploiting theory through
methods and tools for system development. ICTAC also aims to promote
cooperation between participants and institutions from developing and
industrial countries in research and education.
* THEMES AND TOPICS OF PAPERS
Topics of interest include theories of computation and programming,
foundations of software engineering and formal techniques in software design
and verification, as well as tools that support formal techniques for
software modeling, system design and verification.
* INVITED SPEAKERS
Jean-Raymond Abrial
Volker Diekert
Cesar Munoz
Catuscia Palamidessi
Davide Sangiorgi
Moshe Vardi
Glynn Winskel
* ASSOCIATED EVENTS
- ICTAC Summer School on Formal Methods (October 25-27)
- DCM 2015: 11th International Workshop on Developments in Computational
Models (October 28)
* PAPER SUBMISSION
Important Dates
- 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).
HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2015)
Call for Presentations
Prague, 15-18 September 2015
http://highlights-conference.org
* AIMS
HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games
and Automata which aims at integrating the community working in these
fields. A visit to Highlights conference should offer a wide picture
of the latest research in the area and a chance to meet everybody in
the field, not just those who happen to publish in one particular
proceedings volume. The participants present their best work, be it
published elsewhere or yet unpublished.
* DATES
The conference is three days long (Sept. 16-18) and it is preceeded
by the Highlights tutorial day (Sept. 15). The contributed talks are
around ten minutes. The participation costs are modest (around 80 Euro)
and some cheap accomodation close to conference site is arranged.
Prague is easy to reach.
* SUBMISSION DEADLINE
June 12, 2015
The instructions and detailed information about Highlights 2015
are available at http://highlights-conference.org.
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
31ST CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS XXXI) AND 6TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2015)
Call for Participation
June 22-25, 2015 (MFPS)
http://events.cs.bham.ac.uk/mfps31/
June 24-26, 2015 (CALCO)
http://coalg.org/calco15/
Nijmegen, Netherlands
http://mfpscalco2015.cs.ru.nl
* EARLY REGISTRATION DEADLINE
June 14, 2015
* MFPS
MFPS conferences are devoted to those areas of mathematics, logic,
and computer science that are related to models of computation, in
general, and to the semantics of programming languages, in
particular. The series has particularly stressed providing a forum
where researchers in mathematics and computer science can meet and
exchange ideas about problems of common interest. As the series also
strives to maintain breadth in its scope, the conference strongly
encourages participation by researchers in neighbouring areas.
* CALCO
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).
* JOINT INVITED SPEAKER
Andy Pitts - University of Cambridge, UK
* MFPS invited speakers
Thierry Coquand - Chalmers University of Technology, Sweden
Paul B. Levy - University of Birmingham, UK
Guy McCusker - University of Bath, UK
Sam Staton - Radboud University, Nijmegen, NL
* CALCO invited speakers
Chris Heunen - University of Oxford, UK
Matteo Mio - CNRS, ENS Lyon, FR
Daniela Petrisan - Radboud University, Nijmegen, NL
* MFPS SPECIAL SESSIONS
- Game semantics, organised by Andrzej Murawski, Warwick
- Concurrent separation logic, organised by Philippa Gardner, Imperial College
- Nominal techniques, organised by Daniela Petrisan, Radboud
- Algebraic effects, organised by Matija Pretnar, Ljubljana
The special session will include an invited tutorial talk, delivered by
the session organiser.
* CALCO EARLY IDEAS WORKSHOP
CALCO 2015 will run together with the CALCO Early Ideas Workshop, with
dedicated Early Ideas sessions at the end of each conference day. Additional
information is available at https://coalg.org/calco15/ei.html .
* REGISTRATION
To register for MFPS/CALCO, please fill out the registration form available at
https://limesurvey.science.ru.nl/index.php/118286/lang-en .
SIGLOG members attending MFPS and/or Calco receive a discount.
CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY - FROM LOGIC TO ALGORITHMS (CCC 2015)
Call for Papers
Schloss Aspenstein, Kochel am See (near Munich)
14-18 September 2015
http://www.cs.swan.ac.uk/ccc2015/
* CCC is a workshop series bringing together researchers from real analysis,
computability theory, and constructive mathematics. The overall aim is to
apply logical methods in these disciplines to provide a sound foundation
for obtaining exact and provably correct algorithms for computations with
real numbers and related analytical data, which are of increasing importance
in safety critical applications and scientific computation. The workshop
will take place in Kochel am See at the border of the alps.
* SCOPE
The workshop specifically invites contributions in the areas of exact
real number computation, effective topology, Scott's domain theory,
Weihrauch's type two theory of effectivity, category-theoretic approaches
to computation on infinite data, hierarchies of unsolvability and related
areas.
* INVITED SPEAKERS
Martin Escardo (Birmingham, UK)
Daniel da Silva Graca (Faro, Portugal)
Mathieu Hoyrup (Nancy, France)
Vassilis Gregoriades (Darmstadt, Germany)
Takayuki Kihara (JAIST, Japan)
Thomas Powell (Innsbruck, Austria)
* TUTORIAL SPEAKERS
Andre Nies (Auckland, New Zealand)
Olivier Bournez (Palaiseau, France)
* SUBMISSION
Abstract submission deadline: 15 June 2015
Upload your submission via EasyChair
https://easychair.org/conferences/?conf=ccc20151
* PRE-REGISTRATION
Pre-Registration
As the number of rooms at Schloss Aspenstein is limited, pre-registration
is recommended. Please send an email to m.seisenberger@swansea.ac.uk.
* PROGRAMME CHAIR
Dieter Spreen (Siegen)
* ORGANIZING COMMITTEE
Ulrich Berger (Swansea, UK)
Peter Hertling (Munich, Germany)
Monika Seisenberger (Swansea, UK)
Dieter Spreen (Siegen).
10TH INTERNATIONAL WORKSHOP ON FIXED POINTS IN COMPUTER SCIENCE (FICS 2015)
Call for Papers
11 and 12 September 2015
Berlin, Germany
http://www.irit.fr/FICS2015/
Affiliated to CSL 2015
* AIM
Fixed points play a fundamental role in several areas of computer science.
They are used to justify (co)recursive definitions and associated reasoning
techniques. The construction and properties of fixed points have been
investigated in many different settings such as: design and implementation
of programming languages, logics, verification, databases. The aim of this
workshop is to provide a forum for researchers to present new original results.
* TOPICS
Topics include, but are not restricted to: fixed points in algebra and
coalgebra, in formal languages and automata, in game theory, in programming
language semantics, in process algebras and process calculi, in functional
programming and type theory, in logic programming and theorem proving, in
finite model theory, in category theory (for CS) logic in computer science,
in the mu-calculus and modal logics.
* IMPORTANT DATES
June 16 2015: abstract submission
June 23 2015: paper submmission
July 27 2015: notification of acceptance
August 24 2015: final version of the paper
* TWO INVITED SPEAKERS
yet to be determined by the members of the Program Committee.
* SUBMISSION
Please see the webpage http://www.irit.fr/FICS2015/ for further information.
* PROGRAM CHAIRS
Matteo Mio and Ralph Matthes
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 (Universite 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
3RD WORKSHOP ON GROUNDING, TRANSFORMING, AND MODULARIZING THEORIES WITH VARIABLES (GTTV'15)
Call for Papers
27 September, Lexington, KY, USA.
Workshop collocated with LPNMR 2015
URL: https://sites.google.com/site/gttv2015/
* IMPORTANT DATES
- Paper registration: 22 June
- Paper submission: 29 June
- Notification of acceptance: 17 August
- Camera ready submission: 1 September
- Workshop: 27 September, 2015
* DESCRIPTION
Although many efficient solvers used in formal reasoning operate at the
propositional level, in most application domains for knowledge
representation and reasoning the use of variables is crucial for
allowing compact and flexible formal descriptions. As a result, a common
situation in many different areas of formal reasoning is to deal with
high level descriptions containing variables while using a propositional
solver as a back-end. The technique of removing variables, replacing
them by their possible ground instances, is commonly known as Grounding,
and has attracted research interest from quite diverse areas such as
Logic Programming and Non-Monotonic Reasoning, Theorem Proving,
Planning, Deductive Databases, Formal Methods, and others.
* INVITED SPEAKERS
Andreas Pieris, Vienna University of Technology
Roland Kaminski, Potsdam University
* SUBMISSIONS
All submissions must be written in English and formatted according to
the Springer LNCS/LNAI author instructions.
http://www.springer.com/comp/lncs/Authors.html
Two types of contributions are accepted: Technical papers and System
descriptions. Technical papers must present original research and not
exceed 13 pages including title page, references and figures. We also
encourage introductory system descriptions that help different groups
make their work known to the others. For system presentations a length
of 6 pages is recommended.
Paper submission is electronic and managed through the following
easychair GTTV'15 webpage
https://www.easychair.org/conferences/?conf=gttv15
* MULTIPLE SUBMISSION POLICY
GTTV'15 will not accept any paper which, at the time of submission, has
already been published or accepted for publication in a journal or
previous conference. However, authors may freely submit their papers
elsewhere during or after GTTV'15 review period, since GTTV'15 is a
specialized workshop without archival proceedings and intended for a
limited audience.
* ORGANIZING COMMITTEE
Marc Denecker, KU Leuven
Tomi Janhunen, Aalto University
Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
2ND INTERNATIONAL WORKSHOP ON LEARNING AND NONMONOTONIC REASONING (LNMR 2015)
Call for Papers
27-30 September 2015, Lexington, KY, USA
http://lnmr2015.insight-centre.org/
co-located with the
13th International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR 2015)
http://lpnmr2015.mat.unical.it/
* AIMS AND SCOPE
This workshop follows from its first edition in 2013 in an attempt to
provide an open forum for the identification of problems and discussion of
possible collaborations among researchers with complementary expertise.
To facilitate interactions between researchers in the areas of (machine)
learning and nonmonotonic reasoning, we welcome contributions focusing on
problems and perspectives concerning both learning and nonmonotonic reasoning.
* SUBMISSIONS
We solicit original papers which are not published elsewhere. Papers should
be written in English and be formatted according to the Springer Verlag
LNCS style, which can be obtained from http://www.springeronline.com. Every
paper should not exceed 12 pages including the title page, references and
figures. All submissions will be peer-reviewed and all accepted papers must
be presented at the workshop. Paper submission will be electronic through
the LNMR-15 Easychair site: https://easychair.org/conferences/?conf=lnmr2015.
* PROCEEDINGS
Workshop organizers are considering to publish an on-line proceedings in
a formal way. The details will be announced later. Based on the quality of
submissions, a special journal issue will also be considered.
* IMPORTANT DATES
Paper registration: June 22
Submission deadline: June 29
Notification: August 17
Final version due: September 1
Workshop: 1 or 2 days in September 27-30
* WORKSHOP CO-CHAIRS
Alessandra Mileo, INSIGHT Centre for Data Analytics, NUI Galway, Ireland
Alessandra Russo, Dept. of Computing, Imperial College London, UK
SR 2015 - 3rd INTERNATIONAL WORKSHOP ON STRATEGIC REASONING
Call for Papers
September 21-22, 2015, Oxford, England
https://sites.google.com/site/sr2015homepage/
* The SR international workshop is an annual event that aims to bring
together researchers working on different aspects of strategic reasoning
and game-based approaches to logic, semantics, and formal verification
in computer science, artificial intelligence, and multi-agent systems,
both from a theoretical and a practical point of view.
* Proceedings: We plan to produce a special issue of the Journal of
Information and Computation with extended versions of selected papers.
* Important dates:
- July 1 2015: Abstract submission deadline
- July 3 2015: Paper submission deadline
- July 31 2015: Acceptance notification
- Sept 21-22 2015: SR 2015 Workshop
* Invited Speakers: Johan van Benthem (Stanford/Amsterdam Universities),
Joseph Halpern (Cornell University), Marta Kwiatkowska (Oxford University),
Moshe Vardi (Rice University)
* Detailed information can be found in the webpage above.
35TH FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2015)
Call for Papers
December 16-18, 2015, Bangalore, India
http://www.fsttcs.org
* AIMS
The FSTTCS conference, organized by IARCS (the Indian Association for
Research in Computing Science), is a forum for presenting original results
in foundational aspects of Computer Science and Software Technology.
* SCOPE
Representative areas include, but are not limited to, the following:
algorithms and data structures, algorithmic graph theory and combinatorics,
approximation algorithms, automata and formal languages, combinatorial
optimization, communication complexity, computational biology, computational
complexity, computational geometry, computational learning theory,
cryptography and security, game theory and mechanism design, logic in computer
science, model theory, modal and temporal logics, models of concurrent and
distributed systems, models of timed, reactive, hybrid and stochastic systems,
parallel, distributed, and online algorithms, parameterized complexity,
principles and semantics of programming languages, program analysis and
transformation, proof complexity, quantum computing, randomness in computing,
specification, verification, and synthesis, theorem proving, decision
procedures, and model checking, theoretical aspects of mobile and high
performance computing.
* IMPORTANT DATES
Paper submission: July 13, 2015; Notification: October 16, 2015.
BRITISH LOGIC COLLOQUIUM (BLC 2015)
Call for Abstracts
Cambridge, England
2-4 September 2015
http://www.newton.ac.uk/event/blc-2015
* MEETING
The 2015 meeting of the British Logic Colloquium will be held in
Cambridge on 2nd-4th September. It will be preceded by BLC PhD day
(1st-2nd September). This is a general Logic meeting covering a
variety of topics within mathematical, philosophical and computer
science logic. The meeting will include ten invited talks (speakers
listed below) and a number of contributed talks. Anyone wishing to
contibute a talk should send an abstract (of about 250 words) to
blc-2015@cl.cam.ac.uk by 15 July, 2015.
* REGISTRATION
Registration is now open: http://www.newton.ac.uk/event/blc-2015
* INVITED SPEAKERS
Andreas Blass (Michigan); Victoria Gitman (New York); Ian Pratt-Hartman
(Manchester); Alexander Kechris (Pasadena); Jonathan Kirby (East Anglia);
Agi Kurucz (London); Itay Neeman (Los Angeles); Arno Pauly (Cambridge);
Andrew Pitts (Cambridge); Mehrnoosh Sadrzadeh (London)
* BURSARIES
There is a limited number of bursaries available for students who wish
to attend. See webpage for details
* PHD DAY
The BLC PhD day provides an opportunity for postgraduates
to meet and discuss their research or area of interest with fellow
young logicians. If you wish to attend the PhD day, please email
blc-2015-phd@maths.cam.ac.uk, including your Name, Affiliation and
whether or not you would like to present a talk or a poster.
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 Quebec 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
11TH WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM 2015)
Call for Papers
October 28, 2015, Cali - Colombia
http://dcm-workshop.org.uk/2015/
Satellite event of ICTAC 2015 (http://www.ictac2015.co)
* AIM
The DCM workshop aims to bring together researchers who are currently
developing new computational models or new features for traditional
computational models, in order to foster their interaction, to provide
a forum for presenting new ideas and work in progress, and to enable
newcomers to learn about current activities in this area.
* TOPICS OF INTEREST
Topics of interest include all abstract models of computation and
their applications to the development of programming languages and
systems. This includes (but is not limited to):
- Functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
- Quantum computation, including implementations and formal methods in
quantum protocols;
- Probabilistic computation and verification in modelling situations;
- Chemical, biological and bio-inspired computation, including spatial models,
self-assembly, growth models;
- Models of concurrency, including the treatment of mobility, trust, and security;
- Infinitary models of computation;
- Information-theoretic ideas in computing.
* IMPORTANT DATES
- Submission Deadline for Extended Abstracts (5 pages): 3 Aug 2015
- Notification:13 Sep 2015;
- Pre-proceedings version due: 5 Oct 2015
- Workshop: 28 Oct 2015
- Deadline for EPTCS Proceedings : 7 Dec 2015
* CHAIRS
- Cesar Munoz, NASA (USA)
- Jorge A. Perez, University of Groningen (NL)
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
PHD STUDENTSHIPS AT MIDDLESEX UNIVERSITY LONDON
http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships
* Middlesex University London is offering a number of fully funded doctoral
research studentships. These are three-year scholarships, covering a
maintenance award and fee payments, currently £14,057 and £4,052 (UK/EU rate)
respectively, including London weighting and free of tax and national
insurance contributions.
* The Foundations of Computing group, part of the School of Science and
Technology, is keen to support qualified candidates (preferably with a
masters degree in a relevant area) who are interested in applying for this
program and who wish to pursue a PhD in areas such as
- software analysis
- theory of programming languages
- formal proofs
- program verification and model checking
- algorithms and complexity
- computational geometry
- quantum computing.
For more information on our group, please visit:
http://www.cs.mdx.ac.uk/foundations/
Interested candidates should initially contact one of the group members
http://www.cs.mdx.ac.uk/foundations/sample-page/
as soon as possible to informally discuss a possible project (candidates are
asked to submit a personal research statement as part of their application)
* For general inquires, please contact: Panos Giannopoulos
. The formal deadline for applications is 5th of
June but candidates should contact our group by 29th of May at latest.
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 application Deadline: July 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
TWO POSTDOC POSITIONS IN LOGIC, KR, DATABASE THEORY AND CSP AT BREMEN
* The University of Bremen, Department 3 (Mathematics and Computer
Science), invites applications for two postdoc positions in Computer Science
- Salary Scale TV-L 13 (100%)
in the ERC-funded project "Custom-Made Ontology-Based Data Access".
The position is available from August 1st, 2015, subject to clearance
by the University administration, and is limited to five years.
The project addresses ontology-based data access (OBDA) with
description logics and other decidable fragments of first-order logic
such as the guarded fragment. It brings together research in
logic-based knowledge representation, database theory, and constraint
satisfaction problems to provide custom-tailored OBDA theory and tools
for applications. We are interested both in candidates with a pure
theory background and in candidates which have a solid background in
theory, but are also interested in system building.
* The appointed candidate will carry out research in the described
project and will be given the opportunity to pursue a scientific
qualification (habilitation). There are no teaching duties associated
with the positions. Our working language is English.
The positions require a PhD in computer science, logic, or mathematics
or a comparable qualification. Good knowledge of at least one of the
involved areas is mandatory. The successful candidate will work in the
group "Theory of Artificial Intelligence" led by Carsten Lutz.
The University of Bremen aims to increase the proportion of female
employees in science. Therefore women are particularly encouraged to
apply.
* Priority will be given to disabled persons in case of equal
professional and personal qualification. Applicants with a migration
background are welcome.
Please send your application by June 11th, 2015, quoting the vacancy ID
A91/15, on paper to Prof. Dr. Carsten Lutz, Fachbereich 3, Universitaet
Bremen, Postfach 33 04 40, 28334 Bremen, Germany
or in electronic form to hederich@informatik.uni-bremen.de
Back to the LICS web page.