SIGLOG Monthly 181
April 1, 2016
*******************************************************************
* 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 2016 - Call for Student Volunteers
2016 SIGLOG Election - Update
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
FSCD 2016 - Satellite events and upcoming deadlines
RuleML 2016 - Call for Papers
LFCS 30TH ANNIVERSARY CELEBRATION + WADLERFEST - Call for Participation
HDRA 2016 - Call for Papers
FORMATS 2016 - Call for Papers
GETFUN 4.0 - Call for Papers
VMW 2016 - Call for Applications for Student Travel Scholarships
QBF 2016 - Call for Papers
HSST 2016 - Call for Participation and Abstracts
SYNT 2016 - Call for Papers
FMICS-AVoCS 2016 - Call for Papers
WISTP 2016 - Call For Papers
FMCAD 2016 - Call For Papers
CRITIS 2016 - Call For Papers
RV 2016 - Call For Papers
ILP2016 - Call For Papers
SETTA 2016 - Call For Papers
GandALF 2016 - Call For Papers
RuleML 2016 Challenge - Call for Papers
IJCAR 2016 WORKSHOP - Call for Position Statements
HIGHLIGHTS 2016 - Call for Presentations
SECURECOMM 2016 - Call For Papers
TIME 2016 - First Call for Papers
SSBSS 2016 - Call for Participation
ICDT 2017 - Call for Papers
* JOB ANNOUNCEMENTS
PHD & POSTDOC POSITION AT TU DORTMUND
PHD STUDENTSHIP IN THE HISTORY AND PHILOSOPHY OF COMPUTING
PHD & POSTDOC POSITION AT JACOBS UNIVERSITY BREMEN
THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
Call for Student Volunteers
July 5-8, 2016, New York City, USA
* APPLICATION FORM: http://goo.gl/forms/7f4Pg6blBU
* APPLICATION DEADLINE: 1 May 2016 at 23:59 EST
* DETAILS: http://lics.siglog.org/lics16/volunteers.html
* LICS 2016 will be held in New York City from July 5-8 2016, with
affiliated workshops July 9-10. The LICS 2016 Program for Student
Volunteers gives full- or part-time university students from around
the world the opportunity to attend and contribute to a premier
forum for all areas of logic in computer science. As a LICS 2016
Student Volunteer, you will interact closely with researchers,
academics and practitioners from various disciplines and meet other
students from around the world.
* LICS is pleased to offer a number of opportunities for student
volunteers, who are vital to the efficient operation and continued
success of the conference each year. The student volunteer program
is a chance for students from around the world to participate in the
conferences whilst assisting us in preparing and running the event.
* Job assignments for student volunteers include assisting with
technical sessions, workshops, tutorials and panels, checking badges
at doors, operating the information desk, helping with traffic flow,
and general assistance to keep the conferences running smoothly.
* In return, volunteers are granted free registration to the conferences
free access to affiliated workshops, and free access to the Logic
Mentoring Workshop (LMW).
* All students are required to submit the online application by the
deadline listed above. Late applications will be accepted only if
there is space available.
* For additional information, clarification, or answers to questions
please contact the Conference Chair (Eric Koskinen) at
lics2016@erickoskinen.com. For further details, please see this web
page: http://lics.siglog.org/lics16/volunteers.html
2016 SIGLOG ELECTION -UPDATE
* SIGLOG will hold elections in 2016. The slate of candidates can be
found on the ACM election page http://www.acm.org/elections/sigs/elections
and is as follows:
* CHAIR
Frank de Boer
Prakash Panangaden
Simona Ronchi Della Rocca
Aravinda Prasad Sistla
* VICE-CHAIR
Veronique Cortier
Martin Hofmann
Luke Ong
Leszek Pacholski
Frank Pfenning
* SECRETARY
Zakaria Chihani
Elaine Pimentel
Alexandra Silva
* TREASURER
Amy Felty
Vivek Nigam
R. Ramanujam
Natarajan Shankar
* IMPORTANT DATES:
- 15 April 2016 - Election site goes live. SIG members are sent an email
notification with voting instructions.
- 3 June 2016 - All ballots due/online election voting site closed.
- 1 July 2016 - Elections completed, all candidates notified of results
by or before this date. Winners take office.
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
* FSCD 2016
Satellite events and upcoming deadlines
22 June -- 26 June 2016, Porto, Portugal
http://fscd2016.dcc.fc.up.pt/
http://fscd2016.dcc.fc.up.pt/programme/workshopList/
* RuleML 2016
Call for Papers
Stony Brook, NY, 6-9 July, 2016
http://2016.ruleml.org/calls
Extended Paper Submission Date: April 4, 2016
* LFCS 30TH ANNIVERSARY CELEBRATION + WADLERFEST
Call for Participation
11-13 April 2016, Edinburgh
LFCS30: http://events.inf.ed.ac.uk/lfcs30/
WadlerFest: http://events.inf.ed.ac.uk/wf2016/
* HDRA 2016
Call for Papers
25-26 June 2016, Porto, Portugal
http://hdra.gforge.inria.fr/
Co-located with the FSCD conference
Submission: 15 April, 2016
* FORMATS 2016
Second Call for Papers
August 24-26, 2016, Quebec City, Canada
http://formats2016.lsv.fr
Abstract Submission: April 15, 2016
Paper Submission: April 22, 2016
* GETFUN 4.0
Call For Papers
Jul 1-2, 2016, Coimbra, Portugal
http://sqig.math.ist.utl.pt/GeTFun/4.0
Abstract Submission: April 15, 2016
* VMW 2016
Call for Applications for Student Travel Scholarships
http://i-cav.org/2016/vmw/
Deadline for submission of applications: April 15, 2016
co-located with CAV in Toronto, Canada, July 18, 2016
* QBF 2016
Call for Papers
July 4 2016, Bordeaux, France
http://fmv.jku.at/qbf16/
Paper submission deadline: 20 April 2016
* HSST 2016
Call for participation and abstracts
June 13 - 16, 2016, Halmstad University, Sweden
http://ceres.hh.se/mediawiki/index.php/HSST_2016
* SYNT 2016 - First Call for Papers
Toronto, Canada, July 17, 2016
http://formal.epfl.ch/synt/2016/
Paper submission: April 22, 2016
* FMICS-AVoCS 2016
Call for Papers
26-29 September 2016, Pisa, Italy
http://fmics-avocs.isti.cnr.it/
Abstract submission: April 18, 2016
Paper submission: April 25, 2016
* WISTP 2016
Call for Papers
Heraklion, Crete, Greece -- 26-27 September 2016
http://www.wistp.org/
Paper Submission due: 3 May 2016
* FMCAD 2016
First Call for Papers
Mountain View, CA, USA, October 3-6, 2016
http://www.fmcad.org/FMCAD16
Abstract Submission: May 02, 2016
Paper Submission: May 09, 2016
* CRITIS 2016
Call for Papers
Paris, France, October 10-12, 2016
http://www.critis2016.org
Submission of full papers: May 10, 2016
* RV 2016 - 1st Call for Papers
September 23-30, Madrid, Spain
http://rv2016.imag.fr
Abstract deadline: May 8, 2016
Paper and tutorial deadline: May 15, 2016
* ILP2016 - Call For Papers
Call For Papers
September 4th - 6th, 2016, London, UK
http://ilp16.doc.ic.ac.uk
Long paper submission: 13 May 2016
Short Paper submission: 24 July 2016
* SETTA 2016
Call for Papers
Nov. 9-11, 2016, Beijing, China
http://lcs.ios.ac.cn/setta/
Abstract Submission: May 12, 2016
Full Paper Submission: May 19, 2016
* GandALF 2016
Call for Papers
September 14-16, Catania, Italy
http://gandalf2016.dmi.unict.it
Abstract submission: May 20
Paper submission: May 27
* RuleML 2016 Challenge
Call for Papers
6-9 July, 2016, Stony Brook University, USA
http://2016.ruleml.org/challenge
Paper Submission: June 1st, 2016
* IJCAR 2016 Workshop Path not taken
Call for Position Statements
2nd July 2016 in Coimbra, Portugal
Submission deadline: 1st June 2016
* HIGHLIGHTS 2016
Call for Presentations
September 6-9, 2016, Brussels, Belgium
http://highlights-conference.org
Submission deadline: June 3, 2016
* SECURECOMM 2016
Call For Papers
October 10-12, 2016, Guangzhou, People's Rupublic of China
http://securecomm.org
Paper Submission due: June 15, 2016
* TIME 2016
First Call for Papers
October 17-19, 2016, Technical University of Denmark, Denmark
http://time2016.compute.dtu.dk/
Paper submission: June 20th, 2016
* SSBSS 2016
Call for Participation
8-14 July 2016, Volterra (Pisa), Tuscany, Italy
* ICDT 2017
Call for papers
27-31 March, 2017, Venice, Italy
http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html
Paper deadine (2nd submission cycle): September 18, 2016
FIRST INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR
COMPUTATION AND DEDUCTION (FSCD'16)
Satellite events and upcoming deadlines
22 June -- 26 June 2016, Porto, Portugal
http://fscd2016.dcc.fc.up.pt/
http://fscd2016.dcc.fc.up.pt/programme/workshopList/
* Various meetings and workshops are colocated with FSCD 2016. The
following is a summary of them, with the upcoming deadlines (based
on the data as of 18 March 2016). For the latest information please
visit each event's webpage.
* Upcoming deadlines (in the chronological order):
- ITRS: March 28-31, 2016
- LSFA: April 8, 2016
- LFMTP: April 8-13, 2016
- LINEARITY: April 8-15, 2016
- HDRA: April 15, 2016
- WWV: April 16, 2016
- HoTT/UF: April 20, 2016
- WPTE: April 22, 2016
- HOR: April 25, 2016
- DCM: April 29, 2016
- UNIF: May 1, 2016
* FSCD Satellite events:
* 6th Workshop on Classical Logic and Computation (CL&C):
http://www.di.unito.it/~stefano/CL&C/CL&C16.htm
* 12th Workshop on Developments in Computational Models (DCM):
http://dcm-workshop.org.uk/2016/
* 2nd Workshop on Higher-Dimensional Rewriting and Applications (HDRA):
http://hdra.gforge.inria.fr/
* 8th Workshop on Higher-Order Rewriting (HOR):
http://www.diku.dk/hjemmesider/ansatte/simonsen/HOR2016/
* 2nd Workshop on Homotopy Type Theory / Univalent Foundations (HoTT/UF):
http://hott-uf.gforge.inria.fr/
* IFIP Working Group 1.6: Term Rewriting:
http://cbr.uibk.ac.at/ifip-wg1.6/
* 8th Workshop on Intersection Types and Related Systems (ITRS):
http://www-kb.is.s.u-tokyo.ac.jp/ITRS2016/
* 4th Workshop on Linearity (LINEARITY):
http://www.cs.cmu.edu/~linearity16/
* 18th Workshop on Logical Frameworks and Meta-Languages: Theory and
Practice (LFMTP): http://dlicata.web.wesleyan.edu/events/lfmtp2016/
* 11th Workshop on Logical and Semantic Frameworks, with Applications (LSFA):
http://lsfa2016.mat.unb.br/
* 30th Workshop on Unification (UNIF):
http://users.mat.unimi.it/users/ghilardi/UNIF2016/
* 3rd Workshop on Rewriting Techniques for Program Transformations and
Evaluation (WPTE): http://project.inria.fr/wpte2016/
* 12th Workshop on Automated Specification and Verification of Web Systems
(WWV): http://www.lucavigano.com/WWV2016/
THE 10TH INTERNATIONAL WEB RULE SYMPOSIUM (RULEML 2016)
Call for Papers
Stony Brook, NY, 6-9 July, 2016
http://2016.ruleml.org/calls
* The annual International Web Rule Symposium (RuleML) is the leading
international event in the field of rules and their applications.
RuleML 2016, the tenth event in this series, will be held at Stony
Brook University, USA. RuleML is the leading conference to build
bridges between academia and industry in the field of rules and its
applications, especially as part of the semantic technology
stack. It is devoted to rule-based programming and rule-based
systems including production rules systems, logic programming rule
engines, and business rules engines/business rules management
systems; Semantic Web rule languages and rule standards (e.g.,
RuleML, SWRL, RIF, PRR, SBVR, DMN, CL, Prolog); rule-based event
processing languages (EPLs) and technologies; and research on
inference rules, transformation rules, decision rules, production
rules, and ECA rules.
* Important dates:
Extended Paper Submission Date: April 4, 2016
Author Notification: May 4, 2016
Camera Ready: May 18, 2016
Conference: 6-9 July, 2016
* Student Travel Support
Some financial support is available to enable student authors to
travel to the Symposium.
LFCS 30TH ANNIVERSARY CELEBRATION + WADLERFEST
Call for Participation
11-13 April 2016, Edinburgh
LFCS30: http://events.inf.ed.ac.uk/lfcs30/
WadlerFest: http://events.inf.ed.ac.uk/wf2016/
* Founded in 1986 by Rod Burstall, Robin Milner, Gordon Plotkin and Matthew
Hennessy, the Laboratory for Foundations of Computer Science is a community
of theoretical computer scientists with interests in research topics such as
concurrency, semantics, categories, algebra, types, logic, algorithms,
complexity, databases, and modelling, and their applications in Computer
Science and beyond. LFCS30, a celebration of thirty years of innovation in
these areas, will take place in Edinburgh on 13th April with a programme of
talks from current and former members of the LFCS, visitors, and friends.
* LFCS30 will be preceded by WadlerFest, a celebration of Philip Wadler's 60th
birthday, on 11-12 April. Phil will be presented with a festschrift entitled
"A list of successes that can change the world".
* For more information and registration instructions, see the above webpages.
SECOND EDITION OF THE WORKSHOP ON HIGHER-DIMENSIONAL REWRITING
AND APPLICATIONS (HDRA 2016)
Call for Papers
25-26 June 2016, Porto, Portugal
http://hdra.gforge.inria.fr/
Co-located with the FSCD conference
* 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 the study of
coherence of higher-dimensional algebraic structures, 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, including
- higher-dimensional rewriting: polygraphs / computads, higher-dimensional
generalizations of string/term/graph rewriting systems, etc.
- homotopical invariants of rewriting systems: homotopical and homological
finiteness properties, Squier theory, algebraic Morse theory, coherence
results in algebra and higher-dimensional category theory, etc.
- linear rewriting: presentations and resolutions of algebras and operads,
Grobner bases and generalizations, homotopy and homology of algebras and
operads, Koszul duality theory, etc.
- applications of higher-dimensional and linear rewriting and their interactions
with other fields: calculi for quantum computations, algebraic lambda-calculi,
proof nets, topological models for concurrency, homotopy type theory,
combinatorial group theory, etc.
- implementations: the workshop will also be interested in implementation issues
in higher-dimensional rewriting and will allow demonstrations of prototypes of
existing and new tools in higher-dimensional rewriting.
* Invited speakers
- Michael Batanin (to be confirmed)
- Joachim Kock
- Pawel Sobocinski
* Important dates
- Submission: 15 April, 2016
- Notification: 11 May, 2016
- Final version: 27 May, 2016
- Conference: 25-26 June, 2016
* Organizers
- Yves Guiraud (INRIA / Universite Paris 7)
- Philippe Malbos (Universite Claude Bernard Lyon 1)
- Samuel Mimram (Ecole Polytechnique)
14TH INTERNATIONAL CONFERENCE ON FORMAL MODELING AND ANALYSIS OF TIMED
SYSTEMS (FORMATS 2016)
First Call for Papers
http://formats2016.lsv.fr
August 24-26, 2016, Quebec City, Canada
colocated with CONCUR'16 and QEST'16
Submission: April 15 (Abstract), April 22 (Paper)
* Topics
- Foundations and Semantics
Theoretical foundations of timed systems and languages; new models
and logics or analysis and comparison of existing models (like
automata, Petri nets, or process algebras involving quantitative
time; hybrid automata; probabilistic automata and logics).
- Methods and Tools
Techniques, algorithms, data structures, and software tools for
analyzing or synthesizing timed or hybrid systems and for 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,
embedded control, hardware circuits, and problems of scheduling in
manufacturing and telecommunication).
* Submission site: https://easychair.org/conferences/?conf=formats2016
* Important Dates
- Abstract Submission: April 15, 2016
- Paper Submission: April 22, 2016
- Notification: June 4, 2016
- Final paper due: June 11, 2016
- Conference: August 24-26, 2016
* General Chair
- Josee Desharnais, (U. Laval, Canada)
* PC Charis
- Martin Franzle (U. Oldenburg, Germany)
- Nicolas Markey (U. Paris-Saclay, France)
* Invited Speakers
- Scott Smolka, (U. Stony Brook, USA)
- Oleg Sokolsky, (U. Pennsylvania, USA)
- Ufuk Topcu, (U. Texas, USA)
4TH WORKSHOP ON COMPOSITIONAL MEANING IN LOGIC (GETFUN 4.0)
Jul 1-2, 2016, Coimbra, Portugal
http://sqig.math.ist.utl.pt/GeTFun/4.0
* Affiliated with IJCAR 2016
http://www.uc.pt/en/congressos/ijcar2016
* Abstract submission deadline: 15 Apr 2016
VERIFICATION MENTORING WORKSHOP 2016 (VMW 2016)
Call for Applications for Student Travel Scholarships
http://i-cav.org/2016/vmw/
Deadline for submission of applications: April 15, 2016
co-located with CAV in Toronto, Canada, July 18, 2016
* We are organizing a one‐day workshop called the Verification
Mentoring Workshop (VMW). It is co‐ located with the International
Conference on Computer Aided Verification (CAV), to be held in
Toronto, July 17‐23, 2015. CAV is a premier conference in the area
of verification, dedicated to the advancement of the theory and
practice of computer‐aided formal analysis methods for hardware and
software systems. The goal of VMW is to attract early‐stage graduate
students to pursue research careers in the area of computer‐aided
verification and formal methods.
* Invited talks at the workshop will cover a broad overview of
research topics in the area (so students can follow sessions of
interest at CAV), the range of career options and perspectives
(academia, industry, research labs, etc), and an insight into
reviewing process (for papers, grant and job
applications). Participation of women and under‐represented
minorities is especially encouraged.
* We will provide travel scholarships to student participants
(graduates, and rising Senior or Senior undergraduates), where the
scholarships will cover registration for the VMW workshop and CAV
conference, accommodations, plus travel expenses. The workshop
website http://i-cav.org/2016/vmw is now accepting applications.
* Important Dates:
Deadline for submission of applications: April 15, 2016
Notification of travel scholarships awarded: May 1, 2016
VMW Workshop: July 18, 2016
* Organizers of VMW 2015:
Aarti Gupta, Princeton, USA
Ruzica Piskac, Yale, USA
Andrey Rybalchenko, Microsoft Research, UK
4th INTERNATIONAL WORKSHOP ON QUANTIFIED BOOLEAN FORMULAS (AND BEYOND) (QBF 2016)
Call for Papers
July 4 2016, Bordeaux, France
http://fmv.jku.at/qbf16/
* The goal of the International Workshop on Quantified Boolean
Formulas (and Beyond) is to bring together researchers working on
theoretical and practical aspects of QBF solving and applications.
Apart from topics related to QBF, topics of interest include the
theory and practice of quantification in other formalisms like
quantified constraint satisfaction problems (QCSP), satisfiability
modulo theories (SMT) or theorem proving. The workshop is affiliated
to and co-located with the SAT conference 2016, July 5-8, 2016.
* Important dates:
- Apr 20 2016: paper submission
- May 23 2016: notification of acceptance
- Jun 20 2016: camera-ready versions
* Topics of interest (not limited to the following): QBF applications;
encodings; benchmarks; certificates; proofs; proof formats; proof
checkers; decision procedures; QBF solving; implementation details;
structural QBF solving; heuristics; preprocessing; quantifiers in
SMT, QCSP, and theorem proving;
* Please see the workshop website for further information:
http://fmv.jku.at/qbf16/
THE 6TH HALMSTAD SUMMER SCHOOL ON TESTING (HSST 2016)
Call for participation and abstracts
June 13 - 16, 2016, Halmstad University, Sweden
http://ceres.hh.se/mediawiki/index.php/HSST_2016
* SCOPE. Software testing accounts for a major part of software
development cost and effort, yet the current practice of software
testing is often insufficiently structured and disciplined. There
have been various attempts in the past decades to bring more rigour
and structure into this field, resulting in several
industrial-strength processes, techniques and tools for different
levels of testing. The 6th Halmstad Summer School on Testing
provides an overview of the state of the art in testing, including
theory, industrial cases, tools and hands-on tutorials by
internationally-renowned researchers.
* TUTORIALS.
- Automatic Software Verification with the Infer Static Analyzer
(Dino Distefano, Queen Mary, University of London and Facebook,
UK)
- Testing and Verification Methods for Many-Core Concurrency
(Alastair F. Donaldson, Imperial College, UK)
- Is Mutation Analysis Ready for Prime Time? (Jeff Offutt, George
Mason University, USA)
- Fault Model-Based Testing from State-Oriented Models (Alexandre
Petrenko, Computer Research Institute of Montreal (CRIM), Canada)
- The Role of Testing and Tools for Innovation (Per Runeson, Lund
University, Sweden)
- Fault Tree Analysis (Marielle Stoelinga, University of Twente, The
Netherlands)
* Ph.D. Symposium
We have 6 time slots for Ph.D. presentations, where each student
gets to present her/his research project (and possibly results) and
receive feedback from our experts. We solicit abstracts of 2 pages
in the EasyChair Style in order to make a selection
(see:http://www.easychair.org/publications/for_authors ). The
abstract should contain a clear overview of the problem description,
approach, (existing results, if any,) and future milestone.
Abstract submissions can be made already via
https://easychair.org/conferences/?conf=hsst2016 .
* IMPORTANT DATES
- The deadline for submissions is May 15, 2016.
- The registration deadline is April 15, 2016.
* Further details:
http://ceres.hh.se/mediawiki/index.php/HSST_2016
5TH WORKSHOP ON SYNTHESIS (SYNT 2016)
Call For Papers
Toronto, Canada, July 17, 2016
http://formal.epfl.ch/synt/2016/
* Contributions of interest include algorithms, complexity and
decidability analysis, as well as reproducible heuristics,
implemented tools, and experimental evaluation.
* Application domains include software, hardware, embedded, and
cyberphysical systems. Computation models include functional,
reactive, hybrid and timed systems. Identifying, formalizing, and
evaluating synthesis in particular application domains is
encouraged.
* Of interest are both approaches that explore alternative development
methods and approaches that improve upon the automation of design,
compilation, and optimization techniques currently in widespread
use.
* All appropriate underlying methods are of interest, including above
formal methods and techniques that build upon computer-aided
verification, but also machine learning techniques. All formalizable
forms of specifications of potential practical interest are
considered, including contracts, temporal logic specifications,
quantitative objectives, partial systems, and input/output examples.
* Of great interest is understanding and making productive use of
relationships between synthesis and related topics such as repair,
fault localization, testing, discovery of inductive invariants,
parameter optimization, constraints solving, theorem proving
(including SMT, superposition-based, inductive, and higher-order
theorem proving).
* We strongly encourage submissions that will connect current advances
in synthesis and the area of inductive programming.
* Submission details: http://formal.epfl.ch/synt/2016/
* Important dates:
- Paper submission: April 22, 2016
- Author notification: May 30, 2016
- Workshop: July 17, 2016
* Program Chairs:
- Rayna Dimitrova (MPI-SWS)
- Ruzica Piskac (Yale University)
* SYNT 2016 is a satellite event of CAV 2016 and will take place on
July 17 in Toronto, Canada.
INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS
AND AUTOMATED VERIFICATION OF CRITICAL SYSTEMS (FMICS-AVoCS 2016)
26-29 September 2016, Pisa, Italy
http://fmics-avocs.isti.cnr.it/
Preliminary Call for Papers
* AIMS: The aim of the FMICS workshop series is to provide a forum for
researchers who are interested in the development and application of
formal methods in industry. The aim of the AVoCS workshop series
is to contribute to the interaction and exchange of ideas among
members of the international research community on tools and
techniques for the verification of critical systems. In 2016, FMICS
and AVoCS join their forces to hold a workshop combining their
themes on Formal Methods and Automated Verification. For FMICS, this
will be the 21st, for AVoCS the 16th edition. In particular,
FMICS-AVoCS 2016 aims to bring together scientists and engineers
that are active in the area of formal methods, develop tools and
techniques for the automated verification of critical systems, and
are interested in exchanging their experiences in the industrial
usage of these methods and tools.
* IMPORTANT DATES
- Abstract submission: April 18, 2016
- Paper submission: April 25, 2016
- Notification: June 19, 2016
- Final version: July 10, 2016
- Workshop: September 26-29, 2016
* TOPICS of interest include (but are not limited to):
- Design, specification, refinement, code generation and testing of
critical systems based on formal methods
- Methods, techniques and tools to support automated analysis,
certification, debugging, learning, optimization and
transformation of critical systems, in particular distributed,
real-time systems and embedded systems
- Automated verification (model checking, theorem proving, SAT/SMT
constraint solving, abstract interpretation, etc.) of critical
systems
- Verification and validation methods that address shortcomings of
existing methods with respect to their industrial applicability
(e.g., scalability and usability issues)
- Tools for the development of formal design descriptions
- Case studies and experience reports on industrial applications of
formal methods, focusing on lessons learned or identification of
new research directions
- Impact of the adoption of formal methods on the development
process and associated costs
- Application of formal methods in standardization and industrial
forums
* GENERAL CHAIR
- Maurice ter Beek (ISTI-CNR, Pisa, Italy)
* PC CHAIRS
- Stefania Gnesi (ISTI-CNR, Pisa, Italy)
- Alexander Knapp (Augsburg University, Germany)
10TH WISTP INTERNATIONAL CONFERENCE ON INFORMATION SECURITY THEORY, AND PRACTICE (WISTP 2016)
Call for papers
Heraklion, Crete, Greece -- 26-27 September 2016
http://www.wistp.org/
* The 10th WISTP International Conference on Information Security
Theory and Practice (WISTP 2016) see ks original submissions from
academia and industry presenting novel research on all theoretical
and practical aspects of security and privacy, as well as
experimental studies of fielded systems, the application of security
technology, the implementation of systems, and lessons learned. We
encourage submissions from other communities such as law, business,
and policy that present these communities' perspectives on
technological issues.
* Important dates:
- Paper Submission due: 3 May 2016
- Notification to authors: 4 July 2016
- Camera ready due: 14 July 2016
* Detailed information can be found on the webpage.
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016)
First Call for Papers
Mountain View, CA, USA, October 3-6, 2016
http://www.fmcad.org/FMCAD16
* TOPICS OF INTEREST FMCAD welcomes submission of papers reporting
original research on advances in all aspects of formal methods
technology and its application to computer-aided design. Topics of
interest include (but are not limited to):
-- Model checking, theorem proving, equivalence checking, abstraction
and reduction, compositional methods, decision procedures at the
bit- and word-level, probabilistic methods, combinations of
deductive methods and decision procedures.
-- Synthesis and compilation for computer system descriptions, modeling,
specification, and implementation languages, formal semantics of
languages and their subsets, model-based design, design derivation
and transformation, correct-by-construction methods.
-- Application of formal and semi-formal methods to functional and
non-functional specification and validation of hardware and software,
including timing and power modeling, verification of computing
systems on all levels of abstraction, system-level design and
verification for embedded and cyberphysical systems, hardware-
software co-design and verification, transaction-level verification.
-- Experience with the application of formal and semi-formal methods to
industrial-scale designs; tools that represent formal verification
enablement, new features, or a substantial improvement in the
automation of formal methods.
-- Application of formal methods in areas beyond computer systems,
including formal methods describing processes studied in other areas
of science, engineering, and humanities.
-- (New) Application of formal methods to verifying safety,
connectivity and security properties of networks and distributed
systems.
* IMPORTANT DATES (AoE)
- Abstract Submission: May 02, 2016
- Paper Submission: May 09, 2016
- Author Response Period: June 17-21, 2016
- Author Notification: July 09, 2016
- Camera-Ready Version: Aug 09, 2016
- FMCAD Tutorial Day: October 3, 2016
- FMCAD Regular Program: October 4-6, 2016
* SUBMISSIONS: see http://www.fmcad.org/FMCAD16
* PROGRAM CHAIRS:
- Muralidhar Talupur, FormalSim Inc
- Helmut Veith, Technische Universitaet Wien
THE 11TH INTERNATIONAL CONFERENCE ON CRITICAL INFORMATION INFRASTRUCTURES SECURITY (CRITIS 2016)
Call for Papers
Paris, France, October 10-12, 2016
http://www.critis2016.org
* CRITIS 2016 covers five thematic foci. Paper submissions should
focus on one of the following topics:
- Technologies: Innovative responses for the protection of
cyber-physical systems
- Procedures and organisational aspects in C(I)IP: Policies, best
practices and lessons learned
- Advances in Human Factors, decision support, and cross-sector
CI(I)P approaches - focus on end-users
- Special private stakeholder session opic
- Young CRITIS and CIPRNet Young CRITIS Award (CYCA)
Full details available at http://www.critis2016.org
* Important Dates:
- Submission of full papers: May 10, 2016
- Notification of acceptance: July 15, 2016
- Camera-ready papers: September 1, 2016
- CRITIS 2016 event: October 10-12, 2016
* General Chairs
- Jean-Pierre Loubinoux, General Director of UIC, represented by UIC Security Division
* Program Chairs
- Roberto Setola, Universita Campus Bio-Medico di Roma
- Hypatia Nassopoulos, Ecole des Ingenieurs de la Ville de Paris, France
16TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2016)
September 23-30, Madrid, Spain
http://rv2016.imag.fr
* SCOPE: Runtime verification is concerned with monitoring and analysis
of software and hardware system executions. Runtime verification
techniques are crucial for system correctness, reliability, and
robustness; they are significantly more powerful and versatile than
conventional testing, and more practical than exhaustive formal
verification. Runtime verification can be used prior to deployment,
for testing, verification, and debugging purposes, and after
deployment for ensuring reliability, safety, and security and for
providing fault containment and recovery as well as online system
repair. Topics of interest to the conference include:
- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- runtime enforcement, fault detection, localization, containment,
recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications
- monitoring security and privacy policies
* INVITED SPEAKERS
Gul Agha (University of Illinois at Urbana-Champaign, USA)
Oded Maler (CNRS and University of Grenoble-Alpes, France)
Fred B. Schneider (Cornell University, USA)
* OVERVIEW: RV 2016 will be held September 23-30 in Madrid, Spain. RV
2016 will feature the first summer school on Runtime Verification
(September 23-25), two workshop days (September 26-25), and three
conference days (September 28-30).
* INFORMATION ON SUBMISSIONS: http://rv2016.imag.fr
* IMPORTANT DATES
Research and tool papers as well as tutorials will follow the
following timeline:
- Abstract deadline: May 8, 2016
- Paper and tutorial deadline: May 15, 2016
- Tutorial notification: June 1, 2016
- Paper notification: July 11, 2016
- Camera ready deadline: August 8, 2016
- Summer school: September 23-25, 2016
- Workshops and tutorials: September 26-27, 2016
- Conference: September 28-30, 2016
* PROGRAM COMMITTEE CHAIRS
Ylies Falcone, Univ. Grenoble-Alpes and Inria, France
Cesar Sanchez, IMDEA Software, Madrid, Spain
* TOOL COMMITTEE CHAIR
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
THE 26TH INTERNATIONAL CONFERENCE ON INDUCTIVE LOGIC PROGRAMMING (ILP2016)
Call For Papers
September 4th - 6th, 2016, London, UK
http://ilp16.doc.ic.ac.uk
* AIMS: The ILP conference series is the premier international forum
for learning from structured relational data. Originally focusing on
the induction of logic programs, over the years it has expanded its
research horizon significantly and welcomes contributions to all
aspects of learning in logic, multi-relational data mining,
statistical relational learning, graph and tree mining, learning in
other (non-propositional) logic-based knowledge representation
frameworks, exploring intersections to statistical learning and
other probabilistic approaches.
* TOPICS OF INTEREST include:
- Theoretical aspects: logical-foundations of learning;
- computational/statistical learning theory; specialisation and
- generalisation; probabilistic logic-based learning; graph and tree
- mining. Representation and languages for learning: logic
- programming; Datalog;first-order logic; description logic and
- ontologies; higher-order logic; Answer Set Programming;
- probabilistic logic languages; constraint logic programming;
- knowledge graphs. Algorithms and systems: learning with
- (semi-)structured data; (semi-)supervised and unsupervised
- relational learning; relational reinforcement learning; predicate
- invention; propositionalisation approaches; multi-instance learning;
- learning in the presence of uncertainty; meta-level learning.
- Applications of learning in: art; bioinformatics; systems biology;
- games; medical informatics; robotics; natural language processing;
- web-mining; software engineering; modelling and adaptation of
- control systems; socio-technical systems.
In addition to the above topics, ILP 2016 is also encouraging
contributions in the areas of cognitive technologies, knowledge
acquisition from big data, the cloud and crowd sourced data, deep
relational learning, as well as contributions on the application of
any of these solutions to real world problems.
The conference will host keynote talks from both industry and academia
and will run the first International ILP Competition.
* Submission guidlines: please see the conference website
* IMPORTANT DATES:
- Abstract registration: 7 May 2016
- Long paper submission: 13 May 2016
- Long Paper notification: 26 June 2016
- Short Paper submission: 24 July 2016
- Short Paper notification: 28 July 2016
* We expect there will be a special issue of the Machine Learning
Journal following the conference, which will be open for
everyone. This special issue will welcome conference submissions
from all three categories, which should be significantly revised and
extended, to meet the MLJ criteria, and will be re-reviewed by PC
members.
* CONFERENCE AND PROGRAM CO-CHAIRS:
- Alessandra Russo, Imperial College London UK
- James Cussens, University of York, UK
* ILP COMPETITION CHAIR;
Mark Law, Imperial College London, UK
* PUBLICITY CHAIR:
Krysia Broda, Imperial College London, UK
* ASSOCIATED EVENT:
3rd International Workshop on Probabilistic Logic Programming
SYMPOSIUM ON DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS AND APPLICATIONS (SETTA 2016)
Call for Papers
Nov. 9-11, 2016, Beijing, China
http://lcs.ios.ac.cn/setta/
* IMPORTANT DATES (AoE)
- Abstract Submission: May 12, 2016
- Full Paper Submission: May 19, 2016
- Notification to Authors: Jul. 15, 2016
- Camera-ready Paper: Aug. 6, 2016
* 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
artifacts 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.
* Submission details: http://lcs.ios.ac.cn/setta/
THE SEVENTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS AND FORMAL
VERIFICATION (GandALF 2016)
Call for papers
September 14-16, Catania, Italy.
http://gandalf2016.dmi.unict.it
* TOPICS OF INTEREST: The topics covered by the conference include, but
are not limited to, the following:
Automata Theory
Automated Deduction
Computational aspects of Game Theory
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
Games and Automata for Verification
Game Semantics
Logical aspects of Computational Complexity
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Run-time Verification and Testing
Specification and Verification of Finite and Infinite-state Systems
Synthesis
* INVITED SPEAKERS
- Luca Bertolussi (University of Trieste, Italy)
- Joanna Golinska-Pilarek (Institute of Philosophy, University of Warsaw, Poland)
- Arnaud Sangnier (Laboratoire LIAFA, Universit=C3=A9 Paris Diderot, France)
* IMPORTANT DATES
- Abstract submission: May 20
- Paper submission: May 27
- Notification: July 1
- Camera-ready: July 29
* CHAIRS
Domenico Cantone, Univ. of Catania, Italy (co-chair)
Giorgio Delzanno, Univ. of Genoa, Italy (co-chair)
10TH INTERNATIONAL RULE CHALLENGE 2016 (RULEML 2016 CHALLENGE)
Call for Papers
6-9 July, 2016, Stony Brook University, USA
http://2016.ruleml.org/challenge
* co-located with (in New York state): The Joint Multi-Conference on
Human-Level Artificial Intelligence 2016 (July 16-19, 2016)
http://ijcai-16.org/
* About Rule Challenge 2016 The RuleML 2016 Challenge is one of the
highlights at the RuleML 2016 Conference, and seeks to provide a
competition among innovative rule-oriented applications, aimed at
both the research and industrial side.
* Topics. Key themes of the RuleML 2016 Challenge include, but are not
limited to the following:
- Demos related to the RuleML 2016 Track Topics
- Rule-based Event Processing and Stream Reasoning
- Business Rules Modeling
- Benchmarks and comparison results for rule engines
- Distributed rule bases and rule services
- Rules and model driven engineering
- Reports on industrial experience about rule systems
- Real cases and practical experiences
- (new) Mobile deployment of rule-based reasoning, including
(but not limited to):
-- Use cases of mobile rule-based reasoning
-- Fine-tuning reasoning techniques to cope with mobile
hardware limitations
-- Realizing efficient crowd-sourced, voting-based, ... processing,
by taking advantage of distributed mobile peer-to-peer opportunities
-- Benchmarking mobile rule system performances, and comparing it
to desktop/server performance
* Important Dates
- Paper Submission: June 1st, 2016
- Notification: June 13th, 2016
- Camera Ready: June 19th, 2016
- Conference Date: July 6-9, 2016
IJCAR 2016 WORKSHOP ON PATHS NOT TAKEN: THINKING ABOUT THE PROCESS OF PROOF
(IJCAR 2016 WORKSHOP)
https://pathsnottakenblog.wordpress.com
2nd July 2016 in Coimbra, Portugal.
In association with IJCAR 2016.
* Keynote speaker: J Strother Moore, University of Texas at Austin.
* Important dates
Submission deadline: 1st June 2016
Notification of final programme: 15th June 2016
Workshop: 2nd July 2016
* Call for Position Statements: Position statements of up to 500 words
should be submitted by email to pathsnottakenworkshop@gmail.com by
1st June 2016. They should be in PDF format, and include your name,
email address and affiliation, and a short paragraph describing your
background or experience in machine proof. Please indicate whether
you would be willing to have your statement posted on this blog.
* Position statements might address topics such as:
- what do you find hardest or most challenging about machine proof?
- what do you do when you get stuck in a machine proof?
- what is the best advice you have ever been given about machine proof?
- what was your biggest failure in a machine proof?
- how do you plan and organise a machine proof?
- what is the best way to teach others to do machine proofs?
* The scope of the workshop covers research in automated reasoning,
formal methods and proof processes. For futher details please visit
the workshop website: https://pathsnottakenblog.wordpress.com
FOURTH CONFRENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2016)
Call for Presentations
September 6-9, 2016, Brussels, Belgium
http://highlights-conference.org
* HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic,
Games and Automata which aims at integrating the community working
in these fields. Papers from these areas are dispersed across many
conferences, which makes them difficult to follow. A visit to
Highlights conference should offer a wide picture of the latest
research in the field and a chance to meet everybody in the
community, not just those who happen to publish in one particular
proceedings volume. We encourage you to attend and present your best
work, be it already published or not, at the Highlights conference.
* Representative areas include, but are not restricted to: logic and
finite model theory, automata theory, games for logic and
verification.
* You submit a proposal for a presentation, not a paper. Hence,
submissions should have a single author, who is the speaker. Since
we expect you to present your favorite result of the year, there
should be at most one submission per speaker. The abstract, of 1-2
pages, may include a list of coauthors. There are no formal
proceedings and we encourage submission of work presented
elsewhere. Submissions are possible through
https://easychair.org/conferences/?conf=3Dhighlights2016.
* The program will further offer three keynotes by Meena Mahajan
(Chennai), Andreas Maletti (Stuttgart), and Marc Zeitoun (Bordeaux),
two invited sessions, organised by S=C5=82awomir Lasota (Warsaw) and
Anca Muscholl (Bordeaux), and two tutorials by Benedikt Bollig
(Cachan) and Anton=C3=ADn Ku=C4=8Dera (Prague).
* Important dates:
Submission deadline: June 3, 2016
Registration possible until August 7, 2016
12TH EAI INTERNATIONAL CONFERENCE ON SECURITY AND PRIVACY IN
COMMUNICATION NETWORKS (SECURECOMM 2016)
Call for Papers
October 10-12, 2016, Guangzhou, People's Rupublic of China
http://securecomm.org
* SecureComm seeks high-quality research contributions in the form of
well-developed papers. Topics of interest encompass research
advances in ALL areas of secure communications and
networking. Topics in other areas (e.g., formal methods, database
security, secure software, theoretical cryptography) will be
considered only if a clear connection to private or secure
communication/networking is demonstrated.
* Important dates:
- Paper Submission due: June 15, 2016
- Notification to authors: August 1, 2016
- Camera ready due: August 22, 2016
* Detailed information can be found on the webpage.
23RD INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2016)
First Call for Papers
October 17-19, 2016, Technical University of Denmark, Denmark
http://time2016.compute.dtu.dk/
* TIME 2016 aims to bring together researchers interested in reasoning
about temporal aspects of information in any area of Computer
Science. The symposium, currently in its 23rd edition, has a wide
remit and intends to cater to both theoretical aspects and
well-founded applications. One of the key aspects of the 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 Artificial Intelligence,
Databases and Logic and Verification.
* Further details about the topics of interest can be found on the webpage.
* Invited speakers:
- Kim Guldstrand Larsen, Aalborg University, Denmark
- Angelo Montanari, University of Udine, Italy
- Paolo Terenziani, University of Piemonte Orientale, Italy
* Important dates:
- Paper submission: June 20th, 2016
- Notification: July 25th, 2016
- Final version due: August 10th, 2016
- Symposium: October 17-19, 2016
3RD INT. SYNTHETIC AND SYSTEMS BIOLOGY SUMMER SCHOOL (SSBSS 2016)
Call for Participation
8-14 July 2016, Volterra (Pisa), Tuscany, Italy
* The 3rd International Synthetic and Systems Biology Summer School is a
great opportunity to exchange ideas and information with colleagues
and peers from around the world and discover the latest trends and new
exciting results in Synthetic and Systems Biology.
* Further details: ssbss.school@gmail.com
http://www.taosciences.it/ssbss/
* Previous Editions:
SSBSS 2015 http://www.taosciences.it/ssbss2015/
SSBSS 2014 http://www.taosciences.it/ssbss2014/
THE 20TH INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2017)
Call for papers
27-31 March, 2017, Venice, Italy
http://www.cs.ox.ac.uk/people/michael.benedikt/icdt17.html
* The series of ICDT conferences (http://icdt.tu-dortmund.de/)
provides an international forum for the communication of research
advances on the theoretical foundations of database systems.
* ICDT has made significant changes to its submission dates, in
co-ordination with its sibling conference PODS. There are now two
submission cycles, with the first providing the possibility of
revision.
* First submission cycle:
Abstract deadline: March 18, 2016
Full paper submission deadline: March 25, 2016
Accept/Reject/Revise Notification: May 29, 2016
* Second submission cycle:
Abstract deadline: September 11, 2016
Full paper submission deadline: September 18, 2016
Notification: November 27, 2016
* Examples of relevant topics are: concurrency and recovery,
distributed and parallel databases, cloud computing, connections
between databases and knowledge representation, graph databases and
(semantic) Web data, data mining, information extraction, search,
data streams, data-centric (business) process management, workflows,
web services, incompleteness, inconsistency, uncertainty in
databases, data and knowledge integration and exchange, data
provenance, views and data warehouses, metadata management,
domain-specific databases (multi-media, scientific, spatial,
temporal, text), deductive databases, data privacy and security,
database aspects of machine learning, model theory, logics,
algebras, computational complexity, design, semantics, query
languages, data models, data structures, algorithms for data
management.
PHD & POSTDOC POSITION AT TU DORTMUND
* At TU Dortmund University, we are looking for talented and motivated
PHD STUDENTS (or post-docs) interested in Database Theory or Logic
and Complexity. The opening is in the working group of Thomas
Schwentick and involves teaching in German language.
* The official, complete job opening is available in German at
https://service.tu-dortmund.de/documents/18/2120797/wiss.+Besch%C3%A4ftigte+bzw.
+wiss.+Besch%C3%A4figter+%28Ref.-Nr.+w9-16%29/ee088546-c46b-40fb-9ad9
-235174c01b91?version=1.0
* CONTACT DETAILS For further details please contact Prof. Thomas
Schwentick, thomas.schwentick@tu-dortmund.de
PHD STUDENTSHIP IN THE HISTORY AND PHILOSOPHY OF COMPUTING
* The deadline for this position has been extended to 18/04/2016.
* The Department of Computer Science at Middlesex University, together
with the LEO Computers Society are looking for a PhD Candidate for a
research project in the area of History and Philosophy of
Computing. This will incorporate research into the objectives,
design, construction and market penetration of the LEO I, II and III
computers, developed by the catering firm J. Lyons and Co., and its
subsidiary LEO Computers Limited Ð subsequently incorporated in
different companies (English Electric LEO, English Electric Leo
Marconi, ICL, Standard Telephones and Cables and finally Fujitsu).
* Further details and instructions on how to apply available at
http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships/david-tresman-caminer-studentship-for-the-history-of-computing
PHD & POSTDOC POSITION AT JACOBS UNIVERSITY BREMEN
* Jacobs University Bremen is a private, English-speaking research university
in Germany. The KWARC group conducts research on the representation and
management of formal and informal knowledge in the STEM disciplines
(Science, Technology, Engineering, and Mathematics).
Our interests cover the whole range from formal to informal knowledge
and include
- logics and foundations of mathematics
- formalizing/verifying knowledge
- informal and semi-formal documents (specifications, papers, webpages, etc.)
- domain-specific applications (spreadsheets, CAD, etc.)
- knowledge management (search, user interfaces, system integration, etc.)
We build systems that cover these diverse areas uniformly and integrate across
domains, languagues, and tools, always combinng logical correctness,
wide-range applicability, and large-scale inter-operability.
* DETAIS & POSSIBLE TOPICS
http://www.jacobs-university.de/jobs/phd-and-postdoc-positions-kwarc-group
* CONTACT DETAILS & APPLICATIONS
For further information and enquiries about this post please contact
Prof. Michael Kohlhase
Applications (including the usual documents) should be directed to the same
email address.
Back to the LICS web page.