-- Call for Poster/Demo Abstracts and Participation --
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2018
===============================================================================
* Website : http://popl18.sigplan.org/track/PEPM-2018
* Time : 8th – 9th January 2018
* Place : Los Angeles, CA, US (co-located with POPL 2018)
POSTER/DEMO SESSIONS: PEPM 2018 is accepting proposals for poster/demo
presentations on a rolling basis, until 8th December (AoE). See below for the
submission guidelines.
Registration
------------
* Web page : https://popl18.sigplan.org/attending/Registration
* Early registration deadline : 10th December 2017
Invited speakers
----------------
Alex Aiken (Stanford University)
Conal Elliott (Target)
Jan Midtgaard (University of Southern Denmark)
Accepted papers
---------------
* https://popl18.sigplan.org/track/PEPM-2018#event-overview
A Guess-and-Assume Approach to Loop Fusion for Program Verification
Akifumi Imanishi, Kohei Suenaga, and Atsushi Igarashi
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder
Gradually Typed Symbolic Expressions
David Broman and Jeremy G. Siek
On the Cost of Type-Tag Soundness
Ben Greenman and Zeina migeed
Partially Static Data as Free Extension of Algebras (Short Paper)
Jeremy Yallop, Tamara von Glehn, and Ohad Kammar
Program Generation for ML Modules (Short Paper)
Takahisa Watanabe and Yukiyoshi Kameyama
Recursive Programs in Normal Form (Short Paper)
Barry Jay
Selective CPS Transformation for Shift and Reset
Kenichi Asai and Chihiro Uehara
Poster/demo abstract submission guideline
-----------------------------------------
* https://popl18.sigplan.org/track/PEPM-2018#Call-for-Poster-Demo-Abstracts
To maintain PEPM's dynamic and interactive nature, PEPM 2018 will continue to
have special sessions for poster/demo presentations. In addition to the main
interactive poster/demo session, there will also be a scheduled short-talk
session where each poster/demo can be advertised to the audience in, say, 5–10
minutes.
Poster/demo abstracts should describe work relevant to PEPM (whose scope is
detailed below), typeset as a one-page PDF using the two-column 'sigplan'
sub-format of the new 'acmart' format available at:
http://sigplan.org/Resources/Author/
and sent by email to the programme co-chairs, Fritz Henglein and Josh Ko, at:
henglein@diku.dk, hsiang-shang@nii.ac.jp
Please also include in the email:
* a short summary of the abstract (in plain text),
* the type(s) of proposed presentation (poster and/or demo), and
* whether you would like to give a scheduled short talk (in addition to the
poster/demo presentation).
Abstracts should be sent no later than:
Friday, 8th December 2017, anywhere on earth
and will be considered for acceptance on a rolling basis. Accepted abstracts,
along with their short summary, will be posted on PEPM 2018's website.
At least one author of each accepted abstract must attend the workshop and
present the work during the poster/demo session.
Student participants with accepted posters/demos can apply for a SIGPLAN PAC
grant to help cover travel expenses and other support. PAC also offers other
support, such as for child-care expenses during the meeting or for travel costs
for companions of SIGPLAN members with physical disabilities, as well as for
travel from locations outside of North America and Europe. For details on the
PAC programme, see its web page.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes
submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and program
optimisation.
* Modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types, and
contract specifications.
More generally, topics of interest for PEPM 2018 include, but are not limited
to:
* Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active
libraries, program inversion, slicing, symbolic execution, refactoring,
decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive programming, staged
computation, and model-driven program generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated testing
and test case generation.
* Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, embedded and resource-limited computation, and
security.
This list of categories is not exhaustive, and we encourage submissions
describing new theories and applications related to semantics-based program
manipulation in general. If you have a question as to whether a potential
submission is within the scope of the workshop, please contact the programme
co-chairs, Fritz Henglein and Josh Ko (henglein@diku.dk,
hsiang-shang@nii.ac.jp).
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2017-11-14
[Caml-list] FSCD 2018 Second Call for Papers
(Apologies for multiple copies of this announcement. Please circulate.)
==================================================================
Updated information on: system descriptions; best paper award for student(s) and special issue.
==================================================================
Third International Conference on Formal Structures for Computation and Deduction (FSCD'18)
Oxford, UK, July 9 - 12th, 2018.
http://fscd-conference.org/editions/fscd-2018
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6 - 19th, 2018.
http://www.floc2018.org
Oxford, UK, July 9 - 12th, 2018.
http://fscd-conference.org/editions/fscd-2018
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6 - 19th, 2018.
http://www.floc2018.org
==================================================================
Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications),
FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of
computation such as quantum computing or homotopy type theory.
Suggested, but not exclusive, list of topics for submission are:
1. Calculi: Lambda calculus - Concurrent calculi - Logics - Rewriting systems - Proof theory - Type theory and logical frameworks
2. Methods in Computation and Deduction: Type systems - Induction and coinduction - Matching, unification, completion, and orderings - Strategies - Tree automata - Model checking - Proof search and theorem proving - Constraint solving and decision procedures
3. Semantics: Operational semantics - Abstract machines - Game Semantics - Domain theory and categorical models - Quantitative models
4. Algorithmic Analysis and Transformations of Formal Systems: Type Inference and type checking - Abstract Interpretation - Complexity analysis and implicit computational complexity - Checking termination, confluence, derivational complexity and related properties - Symbolic computation
5. Tools and Applications: Programming and proof environments - Verification tools - Libraries for proof assistants and interactive theorem provers - Case studies in proof assistants and interactive theorem provers - Certification - Applications to security, planning, data bases,…
BEST PAPER AWARD BY JUNIOR RESEARCHERS: The program committee will consider declaring this award
years from the first day of the meeting. Other authors should declare to the PC Chair that at least 50% of contribution is
made by the junior researcher(s).
PUBLICATION : The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl.
http://www.dagstuhl.de/publikationen/lipics/
All LIPIcs proceedings are open access.
SPECIAL ISSUE: Authors of selected papers will be invited to submit an extended version for a special issue of Logical
Methods in Computer Science.
All LIPIcs proceedings are open access.
SPECIAL ISSUE: Authors of selected papers will be invited to submit an extended version for a special issue of Logical
Methods in Computer Science.
SUBMISSION GUIDELINES: Submissions can be made in two categories.
- Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere.
- System descriptions are limited to 6 pages (excluding references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. Please check http://www.cs.le.ac.uk/events/fscd2018/cfp.html#guidelines, for more details on what should a system description contain.
- System descriptions are limited to 6 pages (excluding references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. Please check http://www.cs.le.ac.uk/events/fscd2018/cfp.html#guidelines, for more details on what should a system description contain.
Submissions must be formatted using the LIPIcs style files (http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/) and submitted via EasyChair (https://easychair.org/conferences/?conf=fscd18).
IMPORTANT DATES: All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
IMPORTANT DATES: All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
Abstract Deadline: January 15th, 2018
Submission Deadline: January 22nd, 2018
Rebuttal: March 22 - 25th, 2018
Notification: April 2nd, 2018
Camera-Ready: May 2nd, 2018
Submission Deadline: January 22nd, 2018
Rebuttal: March 22 - 25th, 2018
Notification: April 2nd, 2018
Camera-Ready: May 2nd, 2018
FSCD Conference: July 9 - 12th, 2018
FLoC Conference: July 6 - 19th, 2018
PROGRAM COMMITTEE CHAIR: Hélène Kirchner, Inria
PROGRAM COMMITTEE
S. Akshay, IIT Bombay
T. Aoto, Niigata U.
P. Arrighi, Marseille U.
L. Birkedal, Aarhus U.
E. Bonelli, Quilmes U.
A. Bouhoula, Carthage U.
C. Castro, F. Santa Maria Tech. U.
U. Dal Lago, Bologna U.
S. Escobar, U.P. Valencia
M. Fernández, King's College London
V. Ganesh, Waterloo U.
H. Geuvers, Nijmegen U.
M. Hasegawa, Kyoto U.
P.B. Levy, U. of Birmingham
C. Loeding, Aachen U.
A. Miquel, UdelaR, Montevideo
G. Moser, Innsbruck U.
C. Nalon, Brasilia U.
V. Nigam, Paraiba U. & fortiss
P.C. Ölveczky, Oslo U.
G. Rosu, Illinois U.
P. Severi, Leicester U.
V. Sofronie-Stokkermans, Koblenz-Landau U.
N. Tabareau, Inria
R. Thiemann, Innsbruck U.
A. Tiu, NTU Singapore
F. van Raamsdonk, VU Amsterdam
L. Zhi, CAS Beijing
CONFERENCE & WORKSHOP CHAIR: Paula Severi, Leicester U.
PUBLICITY CHAIR: Sandra Alves, Porto U.
FSCD STEERING COMMITTEE
T. Altenkirch (Nottingham U.),
S. Alves (Porto U.),
M. Fernández (King's College London),
C. Fuhs (Birkbeck, London U.),
D. Kesner (Paris U.),
N. Kobayashi (Tokyo U.),
D. Miller (Inria),
L. Ong (Chair, Oxford U.),
B. Pientka (McGill U.),
S. Staton (Oxford U.),
R. Thiemann (Innsbruck U.).
FLoC Conference: July 6 - 19th, 2018
PROGRAM COMMITTEE CHAIR: Hélène Kirchner, Inria
PROGRAM COMMITTEE
S. Akshay, IIT Bombay
T. Aoto, Niigata U.
P. Arrighi, Marseille U.
L. Birkedal, Aarhus U.
E. Bonelli, Quilmes U.
A. Bouhoula, Carthage U.
C. Castro, F. Santa Maria Tech. U.
U. Dal Lago, Bologna U.
S. Escobar, U.P. Valencia
M. Fernández, King's College London
V. Ganesh, Waterloo U.
H. Geuvers, Nijmegen U.
M. Hasegawa, Kyoto U.
P.B. Levy, U. of Birmingham
C. Loeding, Aachen U.
A. Miquel, UdelaR, Montevideo
G. Moser, Innsbruck U.
C. Nalon, Brasilia U.
V. Nigam, Paraiba U. & fortiss
P.C. Ölveczky, Oslo U.
G. Rosu, Illinois U.
P. Severi, Leicester U.
V. Sofronie-Stokkermans, Koblenz-Landau U.
N. Tabareau, Inria
R. Thiemann, Innsbruck U.
A. Tiu, NTU Singapore
F. van Raamsdonk, VU Amsterdam
L. Zhi, CAS Beijing
CONFERENCE & WORKSHOP CHAIR: Paula Severi, Leicester U.
PUBLICITY CHAIR: Sandra Alves, Porto U.
FSCD STEERING COMMITTEE
T. Altenkirch (Nottingham U.),
S. Alves (Porto U.),
M. Fernández (King's College London),
C. Fuhs (Birkbeck, London U.),
D. Kesner (Paris U.),
N. Kobayashi (Tokyo U.),
D. Miller (Inria),
L. Ong (Chair, Oxford U.),
B. Pientka (McGill U.),
S. Staton (Oxford U.),
R. Thiemann (Innsbruck U.).
[Caml-list] Logical Frameworks and Meta-Languages 2018 - Call for Papers
[Apologies if you receive multiple copies of this announcement]
=======================================================================
Call for papers
Logical Frameworks and Meta-Languages: Theory and Practice
LFMTP 2018
Oxford, UK, 7 July 2018
Affiliated with FSCD 2018 (part of FLoC)
http://lfmtp.org/workshops/2018/
=======================================================================
SUBMISSION DEADLINE: 16 APRIL 2018
Logical frameworks and meta-languages form a common substrate for
representing, implementing and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design, implementation and their use in reasoning tasks, ranging from
the correctness of software to the properties of formal
systems, have been the focus of considerable research over the last two
decades. This workshop will bring together designers, implementors and
practitioners to discuss various aspects impinging on the structure and
utility of logical frameworks, including the treatment of variable
binding, inductive and co-inductive reasoning techniques and the
expressiveness and lucidity of the reasoning process.
LFMTP 2018 will provide researchers a forum to present state-of-the-art
techniques and discuss progress in areas such as the following:
* Encoding and reasoning about the meta-theory of programming languages,
logical systems and related formally specified systems.
* Theoretical and practical issues concerning the treatment of variable
binding, especially the representation of, and reasoning about,
datatypes defined from binding signatures.
* Logical treatments of inductive and co-inductive definitions and
associated reasoning techniques, including inductive types of higher
dimension in homotopy type theory.
* Graphical languages for building proofs, applications in geometry,
equational reasoning and category theory.
* New theory contributions: canonical and substructural frameworks,
contextual frameworks, proof-theoretic foundations supporting
binders, functional programming over logical frameworks,
homotopy and cubical type theory.
* Applications of logical frameworks: proof-carrying architectures, proof
exchange and transformation, program refactoring, etc.
* Techniques for programming with binders in functional programming
languages such as Haskell, OCaml or Agda, and logic programming
languages such as lambda Prolog or Alpha-Prolog.
Invited Speakers
TBA
Important Dates
Abstract submission deadline: Monday April 9th
Submission deadline: Monday April 16th
Notification to authors: Monday May 14th
Final version due: Monday June 4th
Workshop date: Saturday July 7th
Submission
In addition to regular papers, we accept the submission of "work in progress"
reports, in a broad sense. Those do not need to report fully polished
research results, but should be of interest for the community at large.
Submitted papers should be in PDF, formatted using the EPTCS style
guidelines. The length is restricted to 15 pages for regular papers and
8 pages for "Work in Progress" papers. Submission is via EasyChair:
https://easychair.org/conferences/?conf=lfmtp18.
Proceedings
Accepted regular papers will be included in the proceedings of LMFTP
2018, whose mode of publication will be determined shortly.
Program Committee
* MarÃa Alpuente (Universitat Politècnica de València, Spain)
* Andrej Bauer (University of Ljubljana, Slovenia)
* Frédéric Blanqui (Inria, France), co-chair
* Ana Bove (Chalmers University of Technology, Sweden)
* Stéphane Graham-Lengrand (CNRS, France)
* Makoto Hamana (Gunma University, Japan)
* Chantal Keller (Université Paris-Sud, France)
* Carlos Olarte (Universidade Federal do Rio grande do Norte, Brazil)
* Giselle Reis (CMU Qatar), co-chair
* Aaron Stump (University of Iowa, USA)
* Yuting Wang (Yale University, USA)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
=======================================================================
Call for papers
Logical Frameworks and Meta-Languages: Theory and Practice
LFMTP 2018
Oxford, UK, 7 July 2018
Affiliated with FSCD 2018 (part of FLoC)
http://lfmtp.org/workshops/2018/
=======================================================================
SUBMISSION DEADLINE: 16 APRIL 2018
Logical frameworks and meta-languages form a common substrate for
representing, implementing and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design, implementation and their use in reasoning tasks, ranging from
the correctness of software to the properties of formal
systems, have been the focus of considerable research over the last two
decades. This workshop will bring together designers, implementors and
practitioners to discuss various aspects impinging on the structure and
utility of logical frameworks, including the treatment of variable
binding, inductive and co-inductive reasoning techniques and the
expressiveness and lucidity of the reasoning process.
LFMTP 2018 will provide researchers a forum to present state-of-the-art
techniques and discuss progress in areas such as the following:
* Encoding and reasoning about the meta-theory of programming languages,
logical systems and related formally specified systems.
* Theoretical and practical issues concerning the treatment of variable
binding, especially the representation of, and reasoning about,
datatypes defined from binding signatures.
* Logical treatments of inductive and co-inductive definitions and
associated reasoning techniques, including inductive types of higher
dimension in homotopy type theory.
* Graphical languages for building proofs, applications in geometry,
equational reasoning and category theory.
* New theory contributions: canonical and substructural frameworks,
contextual frameworks, proof-theoretic foundations supporting
binders, functional programming over logical frameworks,
homotopy and cubical type theory.
* Applications of logical frameworks: proof-carrying architectures, proof
exchange and transformation, program refactoring, etc.
* Techniques for programming with binders in functional programming
languages such as Haskell, OCaml or Agda, and logic programming
languages such as lambda Prolog or Alpha-Prolog.
Invited Speakers
TBA
Important Dates
Abstract submission deadline: Monday April 9th
Submission deadline: Monday April 16th
Notification to authors: Monday May 14th
Final version due: Monday June 4th
Workshop date: Saturday July 7th
Submission
In addition to regular papers, we accept the submission of "work in progress"
reports, in a broad sense. Those do not need to report fully polished
research results, but should be of interest for the community at large.
Submitted papers should be in PDF, formatted using the EPTCS style
guidelines. The length is restricted to 15 pages for regular papers and
8 pages for "Work in Progress" papers. Submission is via EasyChair:
https://easychair.org/conferences/?conf=lfmtp18.
Proceedings
Accepted regular papers will be included in the proceedings of LMFTP
2018, whose mode of publication will be determined shortly.
Program Committee
* MarÃa Alpuente (Universitat Politècnica de València, Spain)
* Andrej Bauer (University of Ljubljana, Slovenia)
* Frédéric Blanqui (Inria, France), co-chair
* Ana Bove (Chalmers University of Technology, Sweden)
* Stéphane Graham-Lengrand (CNRS, France)
* Makoto Hamana (Gunma University, Japan)
* Chantal Keller (Université Paris-Sud, France)
* Carlos Olarte (Universidade Federal do Rio grande do Norte, Brazil)
* Giselle Reis (CMU Qatar), co-chair
* Aaron Stump (University of Iowa, USA)
* Yuting Wang (Yale University, USA)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] DCM'18 First Call for Papers
[Apologies if you receive multiple copies of this announcement]
========================================================================
DCM 2018
12th International Workshop on Developments in Computational Models
A satellite event of FLoC 2018, Oxford
July 8, 2018
========================================================================
Several new models of computation have emerged in the last years, and many developments of traditional computation models have been proposed with the aim of taking into account the new demands of users of computer systems and the new capabilities of computation engines.
The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation 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. The proceedings are produced after the meeting, so that authors can incorporate the workshop feedback in the published papers.
DCM 2018 will take place in Oxford on July 8, as a one-day satellite event of FLoC 2018, associated to LICS'18. This will be the 12th event in the series since 2005 - see the DCM website (http://dcm-workshop.org.uk/) for details of previous events.
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, pattern-calculi, combinatory logic, term and graph rewriting;
* Object calculi;
* Interaction-based systems: interaction nets, games, agent and multi-agent systems;
* Concurrent models: process calculi, action graphs, distributed systems;
* Calculi expressing locality, mobility, and active data;
* Quantum computational models;
* Biological or chemical models of computation;
SUBMISSION AND PUBLICATION
Authors are invited to submit a short paper (max 8 pages). Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PostScript or PDF format, using the EPTCS style files (http://style.eptcs.org/). Submission is through the Easychair website.
IMPORTANT DATES:
* Submission deadline: 8 April 2018
* Notification: 15 May 2018
* Pre-proceedings version: 27 May 2018
* Workshop: 8 July 2018
* Full version of paper: 1 October 2018
* Notification: 1 December 2018
* Final versions due: 15 December 2018
After the workshop authors are invited to submit a full paper taking into account the feedback given at their presentation. After a second round of refereeing, accepted contributions will appear in an issue of Electronic Proceedings in Theoretical Computer Science (www.eptcs.org).
INVITED SPEAKERS
* Udo Dal Lago
* Delia Kesner
PROGRAMME COMMITTEE
* Sandra Alves, University of Porto - PC Chair
* Sabine Broda, University of Porto
* Adriana Compagnoni, University of Edinburgh
* Nachum Dershowitz, University of Tel Aviv
* Mariangiola Dezani, University of Torino
* Alessandra Di Pierro, University of Verona
* Maribel Fernández, King's College London
* Russ Harmer, ENS Lyon
* Edward Hermann Haeusler, PUC-Rio
* Luigi Liquori, INRIA Sophia
* Ian Mackie, École Polytechnique
* Elvira Mayordomo, University of Zaragoza
* Simon Perdrix, LORIA-Nancy
* Jamie Vicary, University of Oxford
CONTACT
For more information contact the organiser of the event:
Sandra Alves
DCC-FCUP and CRACS
University of Porto
2017-11-06
[Caml-list] IJCAR 2018 - Call for Papers
CALL FOR PAPERS
The 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6-19, 2018. http://www.floc2018.org
IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR technical program will consist of presentations of
high-quality original research papers, system descriptions, and invited talks.
IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events
in automated reasoning:
CADE (Conference on Automated Deduction),
FroCoS (Symposium on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
Topics:
-------
IJCAR 2018 invites submissions related to all aspects of automated reasoning,
including foundations, implementations, and applications. Original research
papers and descriptions of working automated deduction systems are solicited.
IJCAR topics include the following ones:
- Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal, temporal,
many-valued, substructural, description, type theory, etc.
- Methods of interest include: tableaux, sequent calculi, resolution, model-
elimination, inverse method, paramodulation, term rewriting, induction,
unification, constraint solving, decision procedures, model generation,
model checking, semantic guidance, interactive theorem proving, logical
frameworks, AI-related methods for deductive systems, proof presentation,
automated theorem provers, combination of decision procedures, SAT and SMT
solving, etc.
- Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, etc.
We welcome papers combining automated-reasoning formalisms & techniques and
with those from other areas of CS and mathematics, including, e.g., computer
algebra, machine learning, formal languages, formal verification, termination.
In particular, high-quality conference papers on the topics of the IJCAR 2018
affiliated workshops (http://ijcar2018.org/#assocev) are welcome.
The proceedings of IJCAR 2018 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).
Submission details:
-------------------
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2018.
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format,
which can be obtained from
http://www.springer.de/comp/lncs/authors.html
We solicit two categories of submissions:
REGULAR PAPERS. Submissions, not exceeding sixteen (16) pages including
bibliography, should contain original research, and sufficient detail to assess
the merits and relevance of the contribution. For papers reporting experimental
results, authors are strongly encouraged to make their data and software
available with their submission for reproducibility. The PC will take
availability of software and data into account when evaluating submissions.
Submissions reporting on case studies in an industrial context are strongly
invited, and should describe details, weaknesses and strength in sufficient
depth. Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is not
allowed.
SYSTEM DESCRIPTIONS. Submissions, not exceeding eight (8) pages including
bibliography, should describe the implemented tool and its novel features. One
author is expected to be able to perform a demonstration on demand to accompany
a tool presentation. Papers describing tools that have already been presented
in other conferences before will be accepted only if significant and clear
enhancements to the tool are reported and implemented.
Best paper award:
-----------------
IJCAR 2018 will recognize the most outstanding submission with a best paper
award at the conference.
Invited speakers:
-----------------
Invited Speakers will be announced later on.
Important dates (provisional):
------------------------------
Abstract submission: January 22nd 2018
Paper submission: January 29th 2018
Notification: March 29th, 2018
Final version of papers due: April 23rd, 2018
IJCAR Conference: July 14-17th, 2018
FLoC Conference: July 6-19th, 2018
IMPORTANT NOTICE: due to very strict FLoC constraints, deadlines are SHARP!
Student travel awards:
----------------------
Woody Bledsoe Travel Awards will be available to support selected students in
attending the conference.
Organization:
-------------
Conference Chair:
Ian Horrocks, University of Oxford, Oxford, UK
Program Chairs:
Didier Galmiche, LORIA, Universite de Lorraine, Nancy, France
Stephan Schulz, DHBW Stuttgart, Stuttgart, Germany
Roberto Sebastiani, DISI, University of Trento, Trento, Italy
Local Arrangements Chairs:
Daniel Kroening, University of Oxford, Oxford, UK
Marta Kwiatkowska, University of Oxford, Oxford, UK
Workshop Chair:
Alberto Griggio, Fondazione Bruno Kessler, Trento, Italy
Publicity Chair:
Geoff Sutcliffe, University of Miami
Program Committee:
Carlos Areces, FaMAFUniversidad Nacional de Cordoba
Alessandro Artale, Free University of Bolzano-Bozen
Arnon Avron, Tel-Aviv University
Franz Baader, TU Dresden
Clark Barrett, Stanford University
Peter Baumgartner, Data 61 and CSIRO
Christoph Benzmueller, Freie Universitaet Berlin
Armin Biere, Johannes Kepler University Linz
Nikolaj Bjorner, Microsoft Research
Jasmin Christian Blanchette, Vrije Universiteit Amsterdam
Maria Paola Bonacina, Universita degli Studi di Verona
Torben Brauener, Roskilde University
Agata Ciabattoni, TU Wien
Leonardo de Moura, Microsoft Research
Hans De Nivelle, University of Wroclaw
Stephane Demri, CNRS, LSV, ENS Paris-Saclay
Clare Dixon, University of Liverpool
Francois Fages, Inria Universite Paris-Saclay
Pascal Fontaine, Universite de Lorraine - LORIA
Didier Galmiche (Chair), Universite de Lorraine - LORIA
Vijay Ganesh, University of Waterloo
Silvio Ghilardi, Universite degli Studi di Milano
Juergen Giesl, RWTH Aachen
Laura Giordano, DISIT Universite del Piemonte Orientale
Valentin Goranko, Stockholm University
Rajeev Gore, The Australian National University
Alberto Griggio, FBK-IRST
John Harrison, Intel Corporation
Ian Horrocks, University of Oxford
Moa Johansson, Chalmers Tekniska Hogskola
Cezary Kaliszyk, University of Innsbruck
Deepak Kapur, University of New Mexico
Konstantin Korovin, The University of Manchester
Laura Kovacs Vienna, University of Technology
George Metcalfe, University of Bern
Dale Miller, INRIA and LIX/Ecole Polytechnique
Claudia Nalon, University of Brasilia
Albert Oliveras, - Technical University of Catalonia
Nicola Olivetti, LSIS Aix-Marseille University
Jens Otten, University of Oslo
Lawrence Paulson, University of Cambridge
Nicolas Peltier, CNRS, LIG
Frank Pfenning, Carnegie Mellon University
Silvio Ranise, FBK-Irst
Christophe Ringeissen, LORIA-INRIA
Philipp Ruemmer, Uppsala University
Katsuhiko Sano, Hokkaido University
Uli Sattler, The University of Manchester
Renate A. Schmidt, The University of Manchester
Stephan Schulz (Chair), DHBW Stuttgart
Roberto Sebastiani (Chair), DISI University of Trento
Viorica Sofronie-Stokkermans, University Koblenz-Landau
Thomas Sturm, CNRS
Geoff Sutcliffe, University of Miami
Cesare Tinelli, The University of Iowa
Alwen Tiu, Nanyang Technological University
Ashish Tiwari, SRI International
Josef Urban, Czech Technical University in Prague
Luca Viganò, King's College London
Andrei Voronkov, The University of Manchester
Uwe Waldmann, Max Planck Institute for Informatics
Christoph Weidenbach, Max Planck Institute for Informatics
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
The 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6-19, 2018. http://www.floc2018.org
IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR technical program will consist of presentations of
high-quality original research papers, system descriptions, and invited talks.
IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events
in automated reasoning:
CADE (Conference on Automated Deduction),
FroCoS (Symposium on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
Topics:
-------
IJCAR 2018 invites submissions related to all aspects of automated reasoning,
including foundations, implementations, and applications. Original research
papers and descriptions of working automated deduction systems are solicited.
IJCAR topics include the following ones:
- Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal, temporal,
many-valued, substructural, description, type theory, etc.
- Methods of interest include: tableaux, sequent calculi, resolution, model-
elimination, inverse method, paramodulation, term rewriting, induction,
unification, constraint solving, decision procedures, model generation,
model checking, semantic guidance, interactive theorem proving, logical
frameworks, AI-related methods for deductive systems, proof presentation,
automated theorem provers, combination of decision procedures, SAT and SMT
solving, etc.
- Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, etc.
We welcome papers combining automated-reasoning formalisms & techniques and
with those from other areas of CS and mathematics, including, e.g., computer
algebra, machine learning, formal languages, formal verification, termination.
In particular, high-quality conference papers on the topics of the IJCAR 2018
affiliated workshops (http://ijcar2018.org/#assocev) are welcome.
The proceedings of IJCAR 2018 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).
Submission details:
-------------------
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2018.
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format,
which can be obtained from
http://www.springer.de/comp/lncs/authors.html
We solicit two categories of submissions:
REGULAR PAPERS. Submissions, not exceeding sixteen (16) pages including
bibliography, should contain original research, and sufficient detail to assess
the merits and relevance of the contribution. For papers reporting experimental
results, authors are strongly encouraged to make their data and software
available with their submission for reproducibility. The PC will take
availability of software and data into account when evaluating submissions.
Submissions reporting on case studies in an industrial context are strongly
invited, and should describe details, weaknesses and strength in sufficient
depth. Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is not
allowed.
SYSTEM DESCRIPTIONS. Submissions, not exceeding eight (8) pages including
bibliography, should describe the implemented tool and its novel features. One
author is expected to be able to perform a demonstration on demand to accompany
a tool presentation. Papers describing tools that have already been presented
in other conferences before will be accepted only if significant and clear
enhancements to the tool are reported and implemented.
Best paper award:
-----------------
IJCAR 2018 will recognize the most outstanding submission with a best paper
award at the conference.
Invited speakers:
-----------------
Invited Speakers will be announced later on.
Important dates (provisional):
------------------------------
Abstract submission: January 22nd 2018
Paper submission: January 29th 2018
Notification: March 29th, 2018
Final version of papers due: April 23rd, 2018
IJCAR Conference: July 14-17th, 2018
FLoC Conference: July 6-19th, 2018
IMPORTANT NOTICE: due to very strict FLoC constraints, deadlines are SHARP!
Student travel awards:
----------------------
Woody Bledsoe Travel Awards will be available to support selected students in
attending the conference.
Organization:
-------------
Conference Chair:
Ian Horrocks, University of Oxford, Oxford, UK
Program Chairs:
Didier Galmiche, LORIA, Universite de Lorraine, Nancy, France
Stephan Schulz, DHBW Stuttgart, Stuttgart, Germany
Roberto Sebastiani, DISI, University of Trento, Trento, Italy
Local Arrangements Chairs:
Daniel Kroening, University of Oxford, Oxford, UK
Marta Kwiatkowska, University of Oxford, Oxford, UK
Workshop Chair:
Alberto Griggio, Fondazione Bruno Kessler, Trento, Italy
Publicity Chair:
Geoff Sutcliffe, University of Miami
Program Committee:
Carlos Areces, FaMAFUniversidad Nacional de Cordoba
Alessandro Artale, Free University of Bolzano-Bozen
Arnon Avron, Tel-Aviv University
Franz Baader, TU Dresden
Clark Barrett, Stanford University
Peter Baumgartner, Data 61 and CSIRO
Christoph Benzmueller, Freie Universitaet Berlin
Armin Biere, Johannes Kepler University Linz
Nikolaj Bjorner, Microsoft Research
Jasmin Christian Blanchette, Vrije Universiteit Amsterdam
Maria Paola Bonacina, Universita degli Studi di Verona
Torben Brauener, Roskilde University
Agata Ciabattoni, TU Wien
Leonardo de Moura, Microsoft Research
Hans De Nivelle, University of Wroclaw
Stephane Demri, CNRS, LSV, ENS Paris-Saclay
Clare Dixon, University of Liverpool
Francois Fages, Inria Universite Paris-Saclay
Pascal Fontaine, Universite de Lorraine - LORIA
Didier Galmiche (Chair), Universite de Lorraine - LORIA
Vijay Ganesh, University of Waterloo
Silvio Ghilardi, Universite degli Studi di Milano
Juergen Giesl, RWTH Aachen
Laura Giordano, DISIT Universite del Piemonte Orientale
Valentin Goranko, Stockholm University
Rajeev Gore, The Australian National University
Alberto Griggio, FBK-IRST
John Harrison, Intel Corporation
Ian Horrocks, University of Oxford
Moa Johansson, Chalmers Tekniska Hogskola
Cezary Kaliszyk, University of Innsbruck
Deepak Kapur, University of New Mexico
Konstantin Korovin, The University of Manchester
Laura Kovacs Vienna, University of Technology
George Metcalfe, University of Bern
Dale Miller, INRIA and LIX/Ecole Polytechnique
Claudia Nalon, University of Brasilia
Albert Oliveras, - Technical University of Catalonia
Nicola Olivetti, LSIS Aix-Marseille University
Jens Otten, University of Oslo
Lawrence Paulson, University of Cambridge
Nicolas Peltier, CNRS, LIG
Frank Pfenning, Carnegie Mellon University
Silvio Ranise, FBK-Irst
Christophe Ringeissen, LORIA-INRIA
Philipp Ruemmer, Uppsala University
Katsuhiko Sano, Hokkaido University
Uli Sattler, The University of Manchester
Renate A. Schmidt, The University of Manchester
Stephan Schulz (Chair), DHBW Stuttgart
Roberto Sebastiani (Chair), DISI University of Trento
Viorica Sofronie-Stokkermans, University Koblenz-Landau
Thomas Sturm, CNRS
Geoff Sutcliffe, University of Miami
Cesare Tinelli, The University of Iowa
Alwen Tiu, Nanyang Technological University
Ashish Tiwari, SRI International
Josef Urban, Czech Technical University in Prague
Luca Viganò, King's College London
Andrei Voronkov, The University of Manchester
Uwe Waldmann, Max Planck Institute for Informatics
Christoph Weidenbach, Max Planck Institute for Informatics
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)