(Apologies for duplicates)
Open Call for Papers
**************************************************************************
Postproceedings for ThEdu'18 by EPTCS
Theorem proving components for Educational software
http://www.uc.pt/en/congressos/thedu/thedu18
**************************************************************************
Workshop ThEdu at FLoC
Federated Logic Conference 2018
http://www.floc2018.org/
**************************************************************************
THedu'18 Postproceedings:
ThEdu's programme comprised seven contributions, presented also in the
webpages. Now postproceedings are planned to collect the contributions
upgraded to full papers. The contributions' topics are diverse according
to ThEdu's scope, and this is a call open for everyone, also those who
did not participate in the workshop. All papers will undergo review
according to EPTCS standards.
THedu'18 Scope:
Computer Theorem Proving is becoming a paradigm as well as a
technological base for a new generation of educational software in
science, technology, engineering and mathematics. The workshop brings
together experts in automated deduction with experts in education in
order to further clarify the shape of the new software generation and
to discuss existing systems.
Topics of interest include:
* methods of automated deduction applied to checking students' input;
* methods of automated deduction applied to prove post-conditions
for particular problem solutions;
* combinations of deduction and computation enabling systems to
propose next steps;
* automated provers specific for dynamic geometry systems;
* proof and proving in mathematics education.
Important Dates
* 2nd call for papers: 10 Sep 2018
* Submission (full papers): 18 Nov 2018
* Notification of acceptance: 17 Dec 2018
* Revised papers due: 21 Jan 2019
Submission
We welcome submission of papers presenting original unpublished work
which is not been submitted for publication elsewhere.
The authors should comply with the "instructions for authors", LaTeX
style files and accept the "Non-exclusive license to distribute" of
EPTCS:
Instructions for authors (http://info.eptcs.org/)
LaTeX style file and formatting instructions (http://style.eptcs.org/)
Copyright (http://copyright.eptcs.org/)
Papers should be submitted via easychair,
https://easychair.org/conferences/?conf=thedu18.
In case the contributions finally do not reach the standards of EPTCS
in number, there will be an alternative to publish as a techreport
at CISUC https://www.cisuc.uc.pt/publications.
Program Committee
Francisco Botana, University of Vigo at Pontevedra, Spain
Roman Hašek, University of South Bohemia, Czech Republic
Filip Maric, University of Belgrade, Serbia
Walther Neuper, Graz University of Technology, Austria (co-chair)
Pavel Pech, University of South Bohemia, Czech Republic
Pedro Quaresma, University of Coimbra, Portugal (co-chair)
Vanda Santos, CISUC, Portugal
Wolfgang Schreiner, Johannes Kepler University, Austria
--
Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
Dear all,
The next Mathematics of Program Construction (MPC) conference will
be held in the historic city of Porto, Portugal in October 2019,
co-located with the Symposium on Formal Methods (FM).
Please share, and submit your best papers!
Best wishes,
Graham Hutton
Program Chair, MPC 2019
======================================================================
13th International Conference on Mathematics of Program Construction
7-9 October 2019, Porto, Portugal
Co-located with Formal Methods 2019
https://tinyurl.com/MPC-Porto
======================================================================
BACKGROUND:
The International Conference on Mathematics of Program Construction
(MPC) aims to promote the development of mathematical principles and
techniques that are demonstrably practical and effective in the
process of constructing computer programs.
MPC 2019 will be held in Porto, Portugal from 7-9 October 2019, and is
co-located with the International Symposium on Formal Methods, FM 2019.
Previous conferences were held in Königswinter, Germany (2015); Madrid,
Spain (2012); Québec City, Canada (2010); Marseille, France (2008);
Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002);
Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee,
Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989).
SCOPE:
MPC seeks original papers on mathematical methods and tools put to use
in program construction. Topics of interest range from algorithmics to
support for program construction in programming languages and systems.
Typical areas include type systems, program analysis and transformation,
programming language semantics, security, and program logics. The notion
of a 'program' is interpreted broadly, ranging from algorithms to hardware.
Theoretical contributions are welcome, provided that their relevance
to program construction is clear. Reports on applications are welcome,
provided that their mathematical basis is evident. We also encourage
the submission of 'programming pearls' that present elegant and
instructive examples of the mathematics of program construction.
IMPORTANT DATES:
Abstract submission 26th April 2019
Paper submission 3rd May 2019
Author notification 14th June 2019
Camera ready copy 12th July 2019
Conference 7-9 October 2019
SUBMISSION:
Submission is in two stages. Abstracts (plain text, maximum 250 words)
must be submitted by 26th April 2019. Full papers (pdf, formatted using
the llncs.sty style file for LaTex) must be submitted by 3rd May 2019.
There is no prescribed page limit, but authors should strive for brevity.
Both abstracts and papers will be submitted using EasyChair.
Papers must present previously unpublished work, and not be submitted
concurrently to any other publication venue. Submissions will be
evaluated by the program committee according to their relevance,
correctness, significance, originality, and clarity. Each submission
should explain its contributions in both general and technical terms,
clearly identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. Accepted papers must
be presented in person at the conference by one of the authors.
The proceedings of MPC 2019 will be published in the Lecture Notes
in Computer Science (LNCS) series, as with all previous instances
of the conference. Authors of accepted papers will be expected to
transfer copyright to Springer for this purpose.
After the conference, authors of the best papers from MPC 2019 and
MPC 2015 will be invited to submit revised versions to a special
issue of Science of Computer Programming (SCP).
For any queries about submission please contact the program chair,
Graham Hutton <graham.hutton(a)nottingham.ac.uk>.
PROGRAM COMMITTEE:
Patrick Bahr IT University of Copenhagen, Denmark
Richard Bird University of Oxford, UK
Corina Cîrstea University of Southampton, UK
Brijesh Dongol University of Surrey, UK
João F. Ferreira University of Lisbon, Portugal
Jennifer Hackett University of Nottingham, UK
William Harrison University of Missouri, USA
Ralf Hinze University of Kaiserslautern, Germany
Zhenjiang Hu National Institute of Informatics, Japan
Graham Hutton (chair) University of Nottingham, UK
Cezar Ionescu University of Oxford, UK
Mauro Jaskelioff National University of Rosario, Argentina
Ranjit Jhala University of California, San Diego, USA
Ekaterina Komendantskaya Heriot-Watt University, UK
Bernhard Möller University of Augsburg, Germany
Shin-Cheng Mu Academia Sinica, Taiwan
Mary Sheeran Chalmers University of Technology, Sweden
Alexandra Silva University College London, UK
Georg Struth University of Sheffield, UK
VENUE:
The conference will be held at the Alfândega Porto Congress Centre,
a 150 year old former custom's house located in the historic centre of
Porto on the bank of the river Douro. The venue was renovated by a
Pritzer prize winning architect and has received many awards.
LOCAL ORGANISERS
José Nuno Oliveira University of Minho, Portugal
For any queries about local issues please contact the local organiser,
José Nuno Oliveira <jno(a)di.uminho.pt>.
======================================================================
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment.
Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored
where permitted by law.
We are looking for a Haskeller to help us move our application forward
using Haskell. We're a remote-only team based in South Africa and
Sweden. Bonus if you've used some Nix or Ruby before!
https://mpowered.co.za/jobs/
/ Emil
Anduril Industries (https://www.anduril.com/careers) is hiring. Come write
Haskell, Nix, and a bit of C++ to solve problems in detection, tracking,
hardware interfaces, sensor fusion, and computer vision.
Here are just a few of the things we're hacking on in Haskell:
-
Nix workflow tools for cross-compilation, CI, deployment, and upgrades
over heterogeneous, unreliable infrastructure.
-
Radar signal processing (with CUDA via *Accelerate*), target detection,
and real-time visualization.
-
sUAS controls and mission planning.
-
Comprehensively tested (i.e. thoroughly QuickCheck'd/SmallCheck'd)
implementations of industrial hardware interface protocols like CAN,
CANopen, MAVLink, etc., as well as internally developed protocols.
-
High-reliability systems for performing health checks and over-the-air
firmware upgrades of embedded systems deployed in remote environments.
-
A library of low-latency, high-throughput video processing components,
used for performing image stabilization, object detection, and transcoding
in real time on streaming video.
-
TUI debugging tools built with *brick*.
We're looking for junior and senior devs who are able to relocate to our
lab in Orange County, California, USA. If this sounds interesting, shoot me
an email at travis(a)anduril.com
Thanks for reading!
Travis Whitaker
[apologies for multiple postings]
= PRELIMINARY Call for Papers =
16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
May 8-10, 2019, Rende, Italy
== Aim and Scope ==
The aim of JELIA 2019 is to bring together active researchers interested
in all aspects concerning the use of logics in Artificial Intelligence to
discuss current research, results, problems, and applications of both
theoretical and practical nature. JELIA strives to foster links and
facilitate cross-fertilization of ideas among researchers from various
disciplines, among researchers from academia and industry, and between
theoreticians and practitioners.
Authors are invited to submit papers presenting original and unpublished
research in all areas related to the use of logics in Artificial
Intelligence. Conference topics include, but are not limited to:
Abductive and inductive reasoning
Answer set programming
Applications of logic-based AI systems
Argumentation systems
Automated reasoning including satisfiability checking and its extensions
Computational complexity and expressiveness
Deep learning for rules and ontologies
Deontic logic and normative systems
Description logics and other logical approaches to Semantic Web and
ontologies
Explanation finding
Knowledge representation, reasoning, and compilation
Logic programming, answer set programming, constraint logic programming
Logic-based data access and integration
Logical interpretation of machine learning models
Logics for uncertain and probabilistic reasoning
Logics in machine learning
Logics in multi-agent systems, games, and social choice
Neural networks and logic rules
Non-classical logics, such as modal, temporal, epistemic, dynamic,
spatial, paraconsistent, and hybrid logics
Nonmonotonic logics, default logics, conditional logics
Ontology formalisms and models
Ontology-based query answering
Ontology-based reasoning
Planning and diagnosis based on logic
Preferences
Reasoning about actions and causality
Updates, belief revision and nonmonotonic reasoning
== Submissions ==
JELIA 2019 welcomes submissions of long or short papers in the following
categories:
A. Regular papers: Submissions should contain original research, and
sufficient detail to assess the merits and relevance of the contribution.
Submissions must not have been previously published or be simultaneously
submitted for publication elsewhere.
B. System/Application descriptions: Submissions should describe an
implemented system/application and its application area(s). A
demonstration should accompany a system/application presentation. Papers
describing systems or applications that have already been presented in
JELIA before will be accepted only if significant and clear enhancements
have been implemented and are properly reported.
All submissions should not exceed 13 (resp., 6) pages for long (resp.,
short) papers, including figures etc., but excluding references, and
should be written in English. Submissions must be formatted according to
the standard Springer LNCS style, and are not anonymous. The conference
proceedings of JELIA 2019 will be published by Springer-Verlag in the
Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in
Computer Science (Important note: Springer will require all the LaTeX
source files of all accepted submissions).
Policy on Multiple Submission: JELIA 2019 will not accept any paper which,
at the time of submission, is under review or has already been published
or accepted for publication in a journal or another conference. Authors
are also required not to submit their papers elsewhere during JELIA's
review period. However, these restrictions do not apply to previous
workshops with a limited audience and without archival proceedings.
JELIA 2019 (abstract and paper) submissions are handled through the
EasyChair conference management system:
https://easychair.org/conferences/?conf=jelia2019.
== Important Dates ==
(tentative)
November 26th, 2018, 23:59 UTC-12: Abstract submission
December 3rd, 2018, 23:59 UTC-12: Paper submission
January 16th, 2019: Notification of acceptance
February 28th, 2019: Camera-ready due
March 1st, 2019: Online registration opens
== Venue ==
University of Calabria, Rende, Italy
== Further Information ==
WWW: https://jelia2019.mat.unical.it/
Email: jelia2019(a)mat.unical.it
== Committees ==
=== General Chair ===
Nicola Leone – University of Calabria, Italy
=== Program Chairs ===
Francesco Calimeri – University of Calabria, Italy
Marco Manna – University of Calabria, Italy
=== Organization Chairs ===
Carmine Dodaro – University of Genova, Italy
Valeria Fionda – University of Calabria, Italy
=== Publicity Chair ===
Simona Perri - University of Calabria, Italy
=== Finance Chair ===
TBA
=== Program Committee ===
TBA
