SIGLOG Monthly 192
May 4, 2017
*******************************************************************
* 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
Winners of the 2017 Alonzo Church Award
FLoC 2018 - Preliminary Announcemnet
ACM SIGLOG Announcement
EATCS Bulletin - Call for abstracts
* DEADLINES
Forthcoming Deadlines
* CALLS
LearnAut 2017 - Call for Participation
LC 2017 - 3rd Announcement and Call for Submissions and Participation
SMT 2017 - Call for Papers
AIRIM'17 - Call for Papers
CCC 2017 - Second Call for Papers
LACompLing2017 - Call for Papers
TIME 2017 - Final Call for Papers
MOD 2017 - Call for Papers
LFU 2017 - Call for Papers
SyGuS-COMP 2017 - Call for Solvers and Benchmarks Submission
NLS 2017 - Second announcement and call for papers
SR 2017 - Preliminary Call for Papers
HaPoC4 - Third Call for Papers
PPDP 2017 - Call for Papers
RW 2017 - Call for Applications
GandALF 2017 - Preliminary Call for Papers
CRITIS 2017 - Call for Papers
FLoC 2018 - Call for workshops
RERS Challenge 2017 - Call for Papers
DataMod 2017 - Call for Papers
RSSRail 2017 - Call for Papers
HDRA 2017 - Call for Papers
LSFA 2017 - Second Call for Papers
PODS 2018 - Call for Papers
Security and Privacy in Cloud-Assisted Cyber-Physical Systems - Call for papers
EPS 2017 - Call for Posters and Encyclopedia Entries
CPP 2018 - Call for Papers
* JOB ANNOUNCEMENTS
Professor Positions at University of Pisa
WINNERS OF THE 2017 CHRUCH AWARD
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given jointly to Samson Abramsky, Radha
Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno
Nickau for providing a fully-abstract semantics for higher-order
computation through the introduction of game models, thereby
fundamentally revolutionising the field of programming language
semantics, and for the applied impact of these models.
* Their contributions appeared in three papers:
- S. Abramsky, R. Jagadeesan, and P. Malacaria. Full Abstraction for
PCF. Information and Computation, Vol. 163, No. 2, pp. 409 - 470,
2000.
- J.M.E. Hyland and C.-H.L. Ong. On Full Abstraction for PCF: I, II,
and III. Information and Computation, Vol. 163, No. 2,
pp. 285 - 408, 2000.
- H. Nickau. Hereditarily sequential
functionals. Proc. Symp. Logical Foundations of Computer Science:
Logic at St. Petersburg (eds. A. Nerode and Yu.V. Matiyasevich),
Lecture Notes in Computer Science, Vol. 813,
pp. 253 - 264. Springer-Verlag, 1994.
A description of the contributions is available at
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 award will be presented at the 26th Computer Science Logic
(CSL) Conference, the annual meeting of the European Association for
Computer Science Logic. This will be held August 20th - 24th, 2017, at
Stockholm University, Sweden.
THE 2018 FEDERATED LOGIC CONFERENCE (FLoC 2018)
Preliminary annoucement
6-19 July 2018
Oxford, England UK
http://www.floc2018.org/
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS
hosted the first Federated Logic Conference (FLoC). It was modelled
after the successful Federated Computer Research Conference (FCRC),
and synergetically brought together conferences that apply logic to
computer science.
* We are pleased to announce the seventh Federated Logic Conference
(FLoC'18) to be held in Oxford, UK, in July 2018, at the
Mathematical Institute and the Blavatnik School of Government at the
University of Oxford.
* FLoC 2018 brings together nine major international conferences
related to mathematical logic and computer science:
International Conference on Computer Aided Verification (CAV)
IEEE Computer Security Foundations Symposium (CSF)
International Symposium on Formal Methods (FM)
International Conference on Formal Structures for Computation and
Deduction (FSCD)
International Conference on Logic Programming (ICLP)
International Joint Conference on Automated Reasoning (IJCAR)
International Conference on Interactive Theorem Proving (ITP)
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Theory and Applications of Satisfiability
Testing (SAT)
Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the
School on Foundations of Programming and Software Systems (FoPSS, 30
June - 6 July).
* We have already begun confirming exciting lineup of speakers,
including keynotes by Shafi Goldwasser and Georges Gonthier; plenary
lectures by Peter O'Hearn and Byron Cook; and a public lecture by
Stuart Russell at the Sheldonian Theatre. We will also hold an
Oxford Union-style debate on ethics for autonomous robots. There
will be banquets, receptions and other social events in historic
venues across the city: see www.floc2018.org/social-events/ for the
latest updates.
* PROGRAMME COMMITTEE
General Chair: Moshe Y. Vardi
Co-chairs: Daniel Kroening, Marta Kwiatkowska
CAV: Hana Chockler
CSF: Stephen Chong
FM: Bill Roscoe
FSCD: Hane Kirchner
ICLP: Paul Tarau
IJCAR: Roberto Sebastiani
ITP: Assia Mahboubi
LICS: Martin Hofmann
SAT: Olaf Byersdorff
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG).
* We are pleased to announce the 2016 ACM SIGLOG election results for
the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash
Panangaden and the other officers are Luke Ong (vice-Chair), Amy
Felty (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).
EATCS Bulletin - Call for abstracts
* EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a
section for "Technical contributions." To stimulate this section
further, we will be considering for publication abstracts of works
that have been accepted by journals and/or conferences or have
appeared in major archives. The topics of interest include all
areas of theoretical computer science (for instance, see topics of
the three Tracks of ICALP,
http://www.easyconferences.eu/icalp2016/cfp.html).
* Abstracts should be rather detailed, 2-3 pages long in the format
given at http://eatcs.org/index.php/eatcs-bulletin. Submissions
should include the information on the full paper (the name of
conferences, archives, etc) and sufficiently detailed explanation of
its merits, e.g., importance, motivations, clear comparison with
existing results and novelty and/or new ideas of proof techniques.
* The Bulletin is published in Feb, Jun and Oct. The deadline for the
abstract submission is 20th of the previous month, for instance, May
20 (Sat) 2017 for the June issue of this year. All materials
including tex and pdf files should be sent electrically to
bulletin@eatcs.org and iwama@kuis.kyoto-u.ac.jp.
Acceptance/rejection, decided based on its merit mentioned above,
will be notified as soon as possible. The Bulletin will not require
copy-right transfer for accepted abstracts.
DATES
* LearnAut 2017
Call for Participation
LICS 2017 Workshop
June 19, Reykjavik (Iceland)
Website: https://learnaut.wordpress.com/
Early registration: May 5th (VERY SOON)
* LOGIC COLLOQUIUM 2017
Third Announcement and Call for Submissions
August 14-20, 2017, Stockholm, Sweden
https://www.lc17.conf.kth.se
Abstract submission for contributed talks: May 5, 2017
* SMT 2017
Call for papers
http://smt-workshop.cs.uiowa.edu/2017/
July 22 - 23, 2017, Heidelberg, Germany
Affiliated with CAV 2017
Paper submission deadline: Mon, May 8, 2017
* AIRIM'17
Call for Papers
Prague, Czech Republic, 3 - 6 September, 2017
https://www.fedcsis.org/2017/airim
Paper submission (strict deadline): May 10 2017 23:59:59 pm HST
* CCC 2017
Second Call for Papers
Loria, 26-30 June 2017, Nancy, France
https://members.loria.fr/MHoyrup/CCC/home.html
Extended Deadline: 10 May 2017
* LACompLing2017
Call for Papers
Stockholm, August 16-19, 2017
Extended Deadline: May 10 (AoE), 2017
http://staff.math.su.se/rloukanova/LACompLing17.html
* TIME 2017
Final Call for Papers
Mons (Belgium), 16-18 October 2017
http://informatique.umons.ac.be/time2017/
Full papers due: May 12
* MOD 2017
Call for Papers
Deadline extended: May 15, 2017
September 14 - 17, 2017, Volterra (Pisa) Tuscany, Italy
http://www.taosciences.it/mod/
Full Paper Submissions: May 15, 2017
* LFU 2017
Call for Papers
http://homepages.inf.ed.ac.uk/vbelle/workshops/lfu17/
August 19, Melbourne, Australia
Workshop affiliated with IJCAI-17
Paper Submission: May 15
* SyGuS-COMP 2017
Call for Solvers and Benchmarks Submission
July 22, 2017 Heidelberg, Germany (with CAV and SYNT)
http://www.sygus.org/SyGuS-COMP2017.html
Benchmark submission deadline: 15 May 2017
* NLS 2017
Second announcement and call for papers
Stockholm, August 7 - 11, 2017
Department of Mathematics, Kräftriket Campus, Stockholm University.
https://www.sls17.conf.kth.se
Early registration ends: May 15, 2017
* SR 2017
Preliminary Call for Papers
Liverpool, UK, July 26-27, 2017
http://sr2017.csc.liv.ac.uk/
Submission deadline: May 15, 2017
* HaPoC4
Third Call for Papers
4-7 October 2017, Masaryk University Brno
https://hapoc2017.sciencesconf.org/
Deadline: 15 May 2017
* PPDP 2017
Call for Papers
Namur, Belgium, October 9-11, 2017
(co-located with LOPSTR'17)
http://complogic.cs.mcgill.ca/ppdp2017
Deadline: 12 May (abstracts) / 19 May (papers)
* RW 2017
Call for Applications
London, U.K., July 7-11, 2017
http://reasoningweb.org/2017
Application deadline: May 20, 2017 (extended)
* GandALF 2017
Preliminary Call for Papers
Rome, Italy, 20-22 September 2017
http://gandalf2017.istc.cnr.it
Paper submission deadline: May 26, 2017
* CRITIS 2017
Call for Papers
Lucca, Italy, 9-11 October 2017
www.critis2017.org
Deadline: 2 June 2017
* FLoC 2018
Call for workshops
The 2018 Federated Logic Conference
6-19 July 2018 Oxford, England UK
http://www.floc2018.org/
Submission of workshop proposals deadline: June 19, 2017
* RERS Challenge 2017
Call for Papers
Santa Barbara, USA, July 2017.
Deadline for all submission: 01.07.2017
* DataMod 2017
Call for Papers
September 4-5, 2017, Trento, Italy
Satellite event of SEFM 2017
http://pages.di.unipi.it/datamod/edition-2017/
Paper submission: 1 June 2017;
* RSSRail 2017
Call for Papers
November 14-16, 2017, Pistoia, Italy
https://conferences.ncl.ac.uk/rssrail/
paper submission deadline: June 8, 2017
* HDRA 2017
Call for Papers
September 8-9 2017, Oxford, United Kingdom
http://hdra.gforge.inria.fr/
Satellite workshop of FSCD 2017, co-located with STRING 2017.
Submission Deadline: June 18, 2017
* LSFA 2017
Second Call for Papers
23-24 September 2017, Brasilia, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/
Submission deadline: 21 June 2017
* PODS 2018
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
Paper submission (1st cycle): Jun 22, 2017
* Security and Privacy in Cloud-Assisted Cyber-Physical Systems
Call for papers
Special issue in Computer Netwoks Journal (Elsevier)
Submission deadline: June 30, 2017
* EPS 2017
Call for Posters and Encyclopedia Entries
24, 25th of September 2017, Brasilia, Brazil
http://proofsystem.github.io/Encyclopedia/
Submission: August 1
* CPP 2018
Call for Papers
January 8-9, 2018, Los Angeles, USA
http://popl18.sigplan.org/track/CPP-2018
Full paper submission deadline: Wed 11 Oct 2017
LEARNING AND AUTOMATA - LICS 2017 WORKSHOP (LEARNAUT 2017)
Call for Participation
June 19, Reykjavik (Iceland)
Website: https://learnaut.wordpress.com/
* Grammatical Inference (GI) studies machine learning algorithms for
classical recursive models of computations like automata and
grammars. The expressive power of these models and the complexity
of associated computational problems are a major research topic
within theoretical computer science (TCS). This workshop aims at
offering a favorable place for dialogue and at generating
discussions between researchers from these two communities. We
invite submissions of recent works, possibly preliminary ones,
related to the theme of the workshop. Similarly to how main machine
learning conferences and workshops are organized, all accepted
abstracts will be part of a poster session held during the workshop.
Additionally, the Program Committee will select a subset of the
abstracts for oral presentation. At least one author of each
accepted abstract is expected to represent it at the workshop. The program
can be found on the website.
* INVITED SPEAKERS:
Kim G. Larsen (Aalborg),
Mehryar Mohri (NYU & Google),
Alexandra Silva (UCL)
* IMPORTANT DATES:
Early registration deadline: May 5th 2017
* If you have not registered yet to the workshop, and if you are
interested by its program, we strongly recommend you to do it as
soon as possible
(http://www.icetcs.ru.is/lics2017-registration.html). Pressures on
accommodation possibilities are high, the sooner you book one the
better it is (a lot of hotels are unfortunately already full).
LOGIC COLLOQUIUM 2017 (LC 2017)
3rd Announcement and Call for Submissions and Participation
August 14-20, 2017, Stockholm, Sweden
https://www.lc17.conf.kth.se
* Registration is now open
* The Logic Colloquium 2017 (LC2017) is the 2017 Annual European
summer meeting of the Association for Symbolic Logic (ASL) and will
be held during August 14-20, 2017 at the main campus of Stockholm
University. The Logic Colloquium 2017 is organised and hosted
jointly by the Departments of Mathematics and Philosophy at
Stockholm University, and is also supported by the KTH Royal
Institute of Technology.
* LC2017 will be co-located with two other logic-related events, all
taking place at Stockholm University:
- the 3rd Nordic Logic Summer School, NLS2017, August 7-12
- the 26th EACSL Annual Conference on Computer Science Logic,
CSL2017, August 20-24.
* There will be a joint session of CSL2017 and LC2017 in the morning
of August 20. Further information about all events can be found at:
https://www.lis17.conf.kth.se
* The programme of LC2017 will also include special sessions, which
will be announced later.
* INVITED SPEAKERS
* Plenary speakers:
- David Aspero (University of East Anglia)
- Alessandro Berarducci (Pisa)
- Elisabeth Bouscaren (Paris 11)
- Christina Brech (Sao Paolo)
- Sakae Fuchino (Kobe University)
- Denis Hirschfeldt (University of Chicago)
- Wilfrid Hodges (British Academy)
- Emil Jerabek (Prague)
- Per Martin-Löf (Stockholm University)
- Dag Prawitz (Stockholm University)
- Sonja Smets (University of Amsterdam)
* Tutorial speakers:
- Patricia Bouyer-Decitre (LSV ENS Cachan)
- Mai Gehrke (Paris 7)
* LC2017 invited highlight speakers for the joint LC-CSL session:
- Veronica Becher (Buenos Aires)
- Pierre Simon (UC Berkeley)
* IMPORTANT DATES
Main event: August 14-19, 2017
Joint session with CSL2017: August 20, 2017
Abstract deadlines:
Abstract submission for contributed talks: May 5, 2017
Notification: May 19, 2017
Grant application deadline: May 8, 2017
Early registration deadline: June 9, 2017
Late registration deadline: August 1, 2017
* PC CHAIR
Mirna Dzamonja (PC chair, University of East Anglia)
* SPECIAL SESSIONS
- Category theory and type theory in honor of Per Martin-Lof on his
75th birthday
Dates: August 17-19, 2017
- Computability
Organizers: Veronica Becher and Denis Hirschfeldt
- History of Logic
Organiser: Valentin Goranko
- Model Theory: TBA
- Philosophical Logic
Organizer: Mirna Dzamonja
- Proof Theory
Organizers: Jan von Plato and Andreas Weiermann
- Set Theory
Organizers: Christina Brech and Assaf Rinot
* CONTACTS AND ENQUIRIES
For enquiries on scientific and programme issues, send email to:
Mirna Dzamonja (M.Dzamonja@uea.ac.uk) For enquiries on organising
matters, send email to: lc2017 at philosophy.su.se
15TH INTERNATIONAL WORKSHOP ON SATISFIABILITY MODULO THEORIES (SMT 2017)
Call for papers
http://smt-workshop.cs.uiowa.edu/2017/
July 22 - 23, 2017, Heidelberg, Germany
Affiliated with CAV 2017
Paper submission deadline: Mon, May 8, 2017
* The aim of the workshop is to bring together researchers and users
of SMT tools and techniques. Relevant topics include but are not
limited to:
- Decision procedures and theories of interest
- Combinations of decision procedures
- Novel implementation techniques
- Applications and case studies
- Benchmarks and evaluation methodologies
- Theoretical results
* IMPORTANT DATES
Abstract submission deadline: Mon, May 1, 2017
Paper submission deadline: Mon, May 8, 2017
Notification: Mon, Jun 5, 2017
Camera ready versions due: Mon, Jun 12, 2017
Workshop: July 22-23, 2017
* Three categories of submissions are invited:
- Extended abstracts
- Original papers
- Presentation-only papers
2ND INTERNATIONAL WORKSHOP ON AI ASPECTS OF REASONING, INFORMATION,
AND MEMORY 2017 (AIRIM'17)
Call for Papers
Prague, Czech Republic, 3 - 6 September, 2017
https://www.fedcsis.org/2017/airim
* SCOPE:
There is general realization that computational models of languages
and reasoning can be improved by integration of heterogeneous
resources of information, e.g., multidimensional diagrams, images,
language, syntax, semantics, quantitative data, memory. While the
event targets promotion of integrated computational approaches, we
invite contributions from any individual areas related to
information, language, memory, reasoning.
* IMPORTANT DATES
Paper submission (strict deadline): May 10 2017 23:59:59 pm HST
Position paper submission: May 31, 2017
Authors notification: June 14, 2017
Final paper submission and registration: June 28, 2017
Final deadline for discounted fee: August 01, 2017
Conference dates: September 3-6, 2017
* ORGANIZERS
Roussanka Loukanova, Stockholm University, Sweden
M. Dolores Jimenez-Lopez, Universitat Rovira i Virgili, Spain
Henning Christiansen, Roskilde University, Denmark
* CONTACT INFORMATION
M. Dolores Jimenez-Lopez (mariadolores.jimenez@urv.cat)
Roussanka Loukanova (rloukanova@gmail.com)
CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY FROM LOGIC TO ALGORITHMS
2017 (CCC 2017)
Second Call for Papers
Loria, 26-30 June 2017, Nancy, France
https://members.loria.fr/MHoyrup/CCC/home.html
* OVERVIEW. CCC is a workshop series bringing together researchers
from exact real number computation, computable analysis, effective
descriptive set theory, constructive analysis, and related
areas. The overall aim is to apply logical methods in these
disciplines to provide a sound foundation for obtaining exact and
provably correct algorithms for computations with real numbers and
related analytical data, which are of increasing importance in
safety critical applications and scientific computation. *
* SCOPE. The workshop specifically invites contributions in the areas
- Exact real number computation,
- Correctness of algorithms on infinite data,
- Computable analysis,
- Complexity of real numbers, real-valued functions, etc.
- Effective descriptive set theory
- Scott's domain theory,
- Constructive analysis,
- Category-theoretic approaches to computation on infinite data,
- Weihrauch degrees,
- And related areas.
* INVITED SPEAKERS.
Matthew de Brecht (Kyoto, Japan)
Bernhard Reus (Brighton, UK)
Matthias Schroder (Darmstadt, Germany)
Alex Simpson (Ljubljana, Slovenia)
* IMPORTANT DATES
Deadline: 10 May 2017 (extended)
* PROGRAMME COMMITTEE CHAIRS
Mathieu Hoyrup (Nancy) (co-chair)
Dieter Spreen (Siegen) (co-chair)
WORKSHOP ON LOGIC AND ALGORITHMS IN COMPUTATIONAL LINGUISTICS 2017
(LACOMPLING2017)
Call for Papers
Stockholm, August 16-19, 2017
Extended Deadline: May 10 (AoE), 2017
http://staff.math.su.se/rloukanova/LACompLing17.html
* Affiliated with the 26th Annual EACSL Conference on Computer Science
Logic CSL'2017, Stockholm, 20--26 August 2017 and co-located with:
Logic in Stockholm 2017
https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2
* DESCRIPTION
Computational linguistics studies natural language in its various
manifestations from a computational point of view, both on the
theoretical level (modeling grammar modules dealing with natural
language form and meaning, and the relation between these two) and
on the practical level (developing applications for language and
speech technology). Right from the start in the 1950ties, there have
been strong links with computer science, logic, and many areas of
mathematics - one can think of Chomsky's contributions to the theory
of formal languages and automata, or Lambek's logical modeling of
natural language syntax. The workshop assesses the place of logic,
mathematics, and computer science in present day computational
linguistics. It intends to be a forum for presenting new results as
well as work in progress.
* IMPORTANT DATES
Submission deadline for regular papers: May 10 (AoE), 2017
Notification of paper acceptance: May 31, 2017
Abstracts of short presentations: June 4, 2017
Notifications for short presentations: June 12, 2017
Deadline for final submissions: June 25, 2017
Workshop: August 16-19, 2017
* FEATURED INVITED SPEAKERS
Robin Cooper, University of Gothenburg, Sweden
Ann Copestake, University of Cambridge, UK
Lars Hellan, Norwegian University of Science and Technology, Norway
Lucas Champollion, New York University, USA
Nikola Kompa, University of Osnabr=C3=BCck, Germany
Louise McNally, Universitat Pompeu Fabra, Spain
Joakim Nivre, Uppsala University, Sweden
Mila Vulchanova, Norwegian University of Science and Technology, Norway
Markus Werning, Ruhr University Bochum, Germany
and more ...
* CONTACT
Roussanka Loukanova (rloukanova@gmail.com)
Valeria de Paiva (valeria.depaiva@gmail.com)
24th INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING
(TIME 2017)
Final Call for Papers
Mons (Belgium), 16-18 October 2017
http://informatique.umons.ac.be/time2017/
* TIME 2017 aims to bring together researchers interested in reasoning
about temporal aspects of information in any area of Computer
Science. The symposium, currently in its 24th 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 (1) Artificial Intelligence, (2)
Databases and (3) Logic and Verification. Submissions of high-quality
papers describing research results are solicited. See the webpage
for a detailed list of topics of interest.
* PROGRAM COMMITTEE CHAIRS: Sven Schewe (University of Liverpool);
Thomas Schneider (University of Bremen); Jef Wijsen (University of
Mons)
* INVITED SPEAKERS:
Alessandro Artale (Free University of Bozen-Bolzano);
Javier Esparza (Technical University of Munich);
Sheila McIlraith (University of Toronto)
* Submitted papers should contain original, previously unpublished
content, should be written in English, and must not be
simultaneously submitted for publication elsewhere.
Detailed submission instructions can be found on the webpage.
Accepted papers will be presented at the symposium and included in
the proceedings, which will be published by LIPIcs-Leibniz
International Proceedings in Informatics, which is a series of
high-quality peer-reviewed conference proceedings, published
according to the principle of OpenAccess.
* Authors of selected papers will be invited to submit an extended
version of their contribution to a special issue of the journal
Theoretical Computer Science.
* IMPORTANT DATES:
Abstracts due: May 8, 2017;
Full papers due: May 12, 2017;
Notification: June 27, 2017;
Final version due: July 14, 2017;
Symposium: October 16-18, 2017
THE 3RD INTERNATIONAL CONFERENCE ON MACHINE LEARNING, OPTIMIZATION &
BIG DATA (MOD 2017)
Call for Papers
Deadline extended: May 15, 2017
September 14 - 17, 2017, Volterra (Pisa) Tuscany, Italy
http://www.taosciences.it/mod/
* AIMS.The International Conference on Machine learning, Optimization,
and big Data (MOD) has established itself as a premier
interdisciplinary conference in machine learning, computational
optimization, knowledge discovery and data science. The conference
will consist of four days of conference sessions. We invite
submissions of papers on all topics related to Machine learning,
Optimization, Knowledge Discovery and Data Science including
real-world applications for the Conference Proceedings (Springer -
Lecture Notes in Computer Science - LNCS).
* IMPORTANT DATES
Full Paper Submissions: May 15, 2017
Full Paper Notifications: June 30, 2017
Conference: September 14 - 17, 2017
* KEYNOTE SPEAKERS
- Georgios Giannakis, Department of Electrical and Computer
Engineering, University of Minnesota, Director of Digital Technology
Center, USA (TBC)
- Yi-Ke Guo, Department of Computing, Faculty of Engineering, Imperial
College London, UK Founding Director of Data Science Institute.
- Ruslan Salakhutdinov, Machine Learning Department, School of
Computer Science at Carnegie Mellon University, USA. Director of AI
Research at Apple.
- Jun Pei, Hefei University of Technology, China
* For a full list of topics see
http://www.taosciences.it/mod/
We particularly encourage submissions in emerging topics of high
importance such as data quality, advanced deep learning,
time-evolving networks, large multi-objective optimization, quantum
discrete optimization, learning representations, big data mining and
analytics, cyber-physical systems, heterogeneous data integration
and mining, autonomous decision and adaptive control.
* PROGRAM CO-CHAIRS:
Giovanni Giuffrida, University of Catania, Italy & Neodata Group
Giuseppe Nicosia, University of Catania, Italy
Panos Pardalos, University of Florida, USA
* SPECIAL SESSION CO-CHAIRS:
Giuseppe Narzisi, New York University Tandon School of Engineering &
New York Genome Center, New York, USA
* WORKSHOP CO-CHAIR:
Piero Conca, CNR, Italy
* INDUSTRIAL PANEL CHAIRS:
Ilaria Bordino, Marco Firrincieli, Fabio Fumarola, and Francesco
Gullo, UniCredit R&D
* FURTHER INFORMATION
W: http://www.taosciences.it/mod/
E: modworkshop2017@gmail.com
WORKSHOP ON LOGICAL FOUNDATIONS FOR UNCERTAINTY AND LEARNING (LFU 2017)
Call for Paper
August 19, Melbourne, Australia
Workshop affiliated with IJCAI-17
http://homepages.inf.ed.ac.uk/vbelle/workshops/lfu17/
* OVERVIEW. The purpose of this workshop is to promote logical
foundations for reasoning and learning under
uncertainty. Uncertainty is inherent in many AI applications, and
coping with this uncertainty, in terms of preferences, probabilities
and weights, is essential for the system to operate purposefully. In
the same vein, expecting a domain modeler to completely characterize
a system is often unrealistic, and so enabling mechanisms by means
of which the system can infer and learn about the environment is
needed. While probabilistic reasoning and Bayesian learning has
enjoyed many successes and is central to our current understanding
of the data revolution, a deeper investigation on the underlying
semantical issues as well as principled ways of extending the
frameworks to richer settings is what this workshop strives for.
Broadly speaking, we aim to bring together the many communities
focused on uncertainty reasoning and learning -- including knowledge
representation, machine learning, logic programming and databases --
by focusing on the logical underpinnings of the approaches and
techniques.
* TOPICS include (but are not limited to):
Probabilistic and weighted databases and knowledge bases
Integration of deductive and inductive reasoning with Bayesian
inference and learning
Semantical foundations for machine learning
Logics for data-intensive information processing, such as data fusion
Extension of statistical relational learning with generic weight functions
Declarative methods for inference and learning
* IMPORTANT DATES
Paper Submission: May 15
Author Notification: June 8
Camera ready: July 15
Workshop Date: August 19
SYGUS-COMP 2017 4TH ANNUAL SYNTAX GUIDED SYNTHESIS COMPETITION
(SyGuS-COMP 2017)
Call for Solvers and Benchmarks Submission
July 22, 2017 Heidelberg, Germany (with CAV and SYNT)
http://www.sygus.org/SyGuS-COMP2017.html
* The SyGuS Competition is an annual competition for solvers of the
syntax-guided synthesis problem. This problem asks to find a program
meeting a given logical formulae augmented with a grammar
restricting the set of allowed implementations. These are formulated
in SyGuS-IF, a logical formalism built on top of SMT-LIB.
* Benchmarks and Solvers submission is now open.
* IMPORTANT DATES:
Benchmark submission deadline: 15 May 2017
Deadline for first version of solvers: 7 June 2017
* Detailed information can be found on the webpage.
THIRD NORDIC LOGIC SUMMER SCHOOL (NLS 2017)
Second announcement and call for papers
Stockholm, August 7 - 11, 2017
Department of Mathematics, Kräftriket Campus, Stockholm University.
https://www.sls17.conf.kth.se
* The third Nordic Logic Summer School is arranged under the auspices
of the Scandinavian Logic Society
(http://scandinavianlogic.org/). The two previous schools were
organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The
intended audience is advanced master students, PhD-students,
postdocs and experienced researchers wishing to learn the state of
the art in a particular subject. The school is co-located with Logic
Colloquium 2017 (August 14-20) and Computer Science Logic 2017
(August 21-24).
* The school will consist of 10 five-hour courses, running in two
qparallel streams. In addition, there will be short student
presentations and poster sessions.
* The lectures start on:
Monday August 7, 9:00, and end Friday August 11, 16:15
* LECTURERS AND COURSES
The following lecturers and course topics are confirmed.
- Mirna Dzamonja (University of East Anglia)
Set Theory
- Martin Escardo (Birmingham)
Topological and Constructive Aspects of Higher-Order Computation
- Henrik Forssell (Oslo)
Categorical Logic
- Volker Halbach (Oxford)
Truth & Paradox
- Larry Moss (Indiana University, Bloomington)
Natural Logic
- Anca Muscholl (LaBRI, Université Bordeaux)
Logic in Computer Science - Control and Synthesis, from a
Distributed Perspective
- Eric Pacuit (University of Maryland)
Logic and Rationality
- Peter Pagin and Dag Westerståhl (Stockholm University)
Compositionality
- Sara L. Uckelman (Durham)
Medieval Logic
- Andreas Weiermann (Ghent)
Proof Theory
* IMPORTANT DATES
Registration:
Registration opens: March 6, 2017
Early registration ends: May 15, 2017
Late registration ends: August 4, 2017
Submission of abstracts for presentations and posters:
Opening: March 6, 2017
Closing: May 2, 2017
Notification of acceptance: May 9, 2017
* FURTHER INFORMATION
Further information about submissions, registration and accommodation
possibilities will (in due time) be available on the NLS webpage:
General enquiries: nls2017 [at] philosophy.su.se
Accommodation enquiries: logic2017-accommodation [at] math.su.se
* PROGRAM CHAIR
Erik Palmgren (chair, Stockholm U)
5TH INTERNATIONAL WORKSHOP ON STRATEGIC REASONING (SR 2017)
Preliminary Call for Papers
Liverpool, UK, July 26-27, 2017
http://sr2017.csc.liv.ac.uk/
* OVERVIEW: Strategic reasoning is one of the most active research
areas in the multi-agent system domain. The literature in this field
is extensive and provides a plethora of logics for modelling
strategic ability. Theoretical results are now being used in many
exciting domains, including software tools for information system
security, robot teams with sophisticated adaptive strategies, and
automatic players capable of beating expert human adversaries, just
to cite a few. All these examples share the challenge of developing
novel theories and tools for agent-based reasoning that take into
account the likely behaviour of adversaries. The international
workshop on strategic reasoning aims to bring together researchers
working on different aspects of strategic reasoning in computer
science, both from a theoretical and a practical point of view. SR
2017 will be co-located with TARK 2017, which will be held in
Liverpool on July 24-26, 2017.
* LIST OF TOPICS
The topics covered by the workshop include, but are not limited to,
the following:
Logics for reasoning about strategic abilities;
Logics for multi-agent mechanism design, verification, and synthesis;
Logical foundations of decision theory for multi-agent systems;
Strategic reasoning in formal verification;
Automata theory for strategy synthesis;
Strategic reasoning under perfect and imperfect information;
Applications and tools for cooperative and adversarial reasoning;
Robust planning and optimisation in multi-agent systems;
Risk and uncertainty in multi-agent systems;
Quantitative aspects in strategic reasonings.
* IMPORTANT DATES
Abstract deadline: May 8, 2017
Submission deadline: May 15, 2017
Acceptance notification: June 16, 2017
Camera-ready deadline: June 30, 2017
Workshop: July 26-27, 2017
* WORKSHOP CO-CHAIRS
Wiebe van der Hoek, University of Liverpool
Bastien Maubert, University of Naples "Federico II"
Aniello Murano, University of Naples "Federico II"
Sasha Rubin, University of Naples "Federico II"
4TH INTERNATIONAL CONFERENCE ON HISTORY AND PHILOSOPHY OF COMPUTING
(HaPoC4 2017)
Second Call for Papers
4-7 October 2017, Masaryk University Brno
https://hapoc2017.sciencesconf.org/
* HaPoC4 2017 will be held under the auspices of the DHST/DLMPS
Commission for the History and Philosophy of Computing (HaPoC)
www.hapoc.org
* OVERVIEW. HaPoC conferences aim to bring together researchers
exploring the various aspects of the computer from historical or
philosophical standpoint. The series aims at an interdisciplinary
focus on computing, rooted in historical and philosophical
viewpoints. The conference brings together researchers interested in
the historical developments of computing, as well as those
reflecting on the sociological and philosophical issues springing
from the rise and ubiquity of computing machines in the contemporary
landscape. For HaPoC 2017 we welcome contributions from logicians,
philosophers and historians of computing as well as from
philosophically aware computer scientists and mathematicians. We
also invite contributions on the use of computers in art. As HaPoC
conferences aim to provide a platform for interdisciplinary
discussions among researchers, contributions stimulating such
discussions are preferable.
* IMPORTANT DATES
Deadline for abstracts and extended abstracts: 15 May 2017
Notifications of acceptance: July 2016
19TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE
PROGRAMMING (PPDP 2017)
Call for Papers
Namur, Belgium, October 9-11, 2017
(co-located with LOPSTR'17)
http://complogic.cs.mcgill.ca/ppdp2017
* PPDP 2017 is a forum that brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint programming
paradigms. The goal is to stimulate research in the use of logical
formalisms and methods for analyzing, performing, specifying, and
reasoning about computations, including mechanisms for concurrency,
security, static analysis, and verification.
* This year the conference will be co-located with the 27th Int'l
Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR
2017).
* Submissions are invited on all topics from principles to practice,
from foundations to applications. Topics of interest include, but
are not limited to
- Language Design: domain-specific languages; interoperability;
concurrency, parallelism, and distribution; modules; probabilistic
languages; reactive languages; database languages; knowledge
representation languages; languages with objects; language
extensions for tabulation; metaprogramming. -- Implementations:
abstract machines; interpreters; compilation; compile-time and
run-time optimization; garbage collection; memory management.
- Foundations: type systems; type classes; dependent types; logical
frameworks; monads; resource analysis; cost models; continuations;
control; state; effects; semantics.
- Analysis and Transformation: partial evaluation; abstract
interpretation; control flow; data flow; information flow;
termination analysis; resource analysis; type inference and type
checking; verification; validation; debugging; testing.
- Tools and Applications: programming and proof environments;
verification tools; case studies in proof assistants or
interactive theorem provers; certification; novel applications of
declarative programming inside and outside of CS; declarative
programming pearls; practical experience reports and industrial
application; education.
* IMPORTANT DATES:
Abstract Submission: 12 May 2017
Paper Submission: 19 May 2017
Paper Rebuttal: 10 July 2017
Notification: 20 July 2017
Final Version: 15 Aug 2017
* SUBMISSION CATEGORIES:
Submissions can be made in three categories: regular Research Papers,
System Descriptions, and Experience Reports.
* PROGRAM COMMITTEE CHAIR
Brigitte Pientka (McGill University)
THE 13TH REASONING WEB SUMMER SCHOOL (RW 2017)
Call for Applications
London, U.K., July 7-11, 2017
http://reasoningweb.org/2017
* co-located with:
- RuleML+RR: International Joint Conference on Rules and Reasoning
London, U.K., July 12-15, 2017
http://2017.ruleml-rr.org
- RuleML+RR Doctoral Consortium
http://2017.ruleml-rr.org/doctoral-consortium/
- DecisionCAMP 2017
London, U.K., July 13-14, 2017
http://2017.ruleml-rr.org/decisioncamp-2017
- 11th International Rule Challenge
London, U.K., July 12-15, 2017
http://2017.ruleml-rr.org/calls/international-rule-challenge/
* The purpose of the Reasoning Web Summer School is to disseminate
recent advances on reasoning techniques which are of particular
interest to Semantic Web and Linked Data applications. The school is
primarily intended for postgraduate (PhD or MSc) students, postdocs,
young researchers, and senior researchers wishing to learn about
Reasoning on the Semantic Web and related issues. In 2017, the theme
of the school is:
"Semantic Interoperability on the Web"
* IMPORTANT DATES
Application deadline: May 20, 2017 (extended)
Notifications: May 25, 2017
Registration deadline: May 31, 2017
* LECTURES
- Andrea Cali (Birkbeck University of London, U.K.)
"Ontology querying: Datalog strikes back"
- Thomas Eiter (Technical University of Wien, Austria)
"Answer Set Programming with External Source Access"
- Thomas Lukasiewicz (University of Oxford, U.K.)
"Uncertainty Reasoning for the Semantic Web"
- Marco Montali (Free University of Bolzano/Bozen, Italy)
"Ontology-based Data Access for Log Extraction in Process Mining"
- Axel Polleres (Vienna University of Economics & Business, Austria)
"Challenges for Semantic Data Integration on the Web of Open Data"
- Marie-Christine Rousset (University Grenoble-Alpes,
Institut Universitaire de France)
"Datalog revisited for reasoning in Linked Data"
- Torsten Schaub (University of Potsdam, Germany and
Inria, Bretagne Atlantique, Rennes, France)
"A Tutorial on Hybrid Answer Set Solving"
- Juan Sequeda (Capsenta, USA)
"Integrating Relational Databases with the Semantic Web"
- Giorgos Stamou (National Technical University of Athens, Greece)
"Ontological query answering over semantic data"
* FURTHER DETAILS on applications, student fees and grants, venue, are
available on the school website.
THE EIGHTH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND
FORMAL VERIFICATION (GandALF 2017)
Rome, Italy, 20-22 September 2017
http://gandalf2017.istc.cnr.it
* AIM.
The aim of GandALF 2017 symposium is to bring together
researchers from academia and industry which are actively working in
the fields of Games, Automata, Logics, and Formal Verification. The
idea is to cover an ample spectrum of themes, ranging from theory to
applications, and stimulate cross-fertilization.
* TOPICS
Papers focused on formal methods are especially welcome. Authors are
invited to submit original research or tool papers on all relevant
topics in these areas. Papers discussing new ideas that are at an
early stage of development are also welcome. 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
* IMPORTANT DATES
Abstract submission: May 19, 2017
Paper submission: May 26, 2017
Notification: July 7, 2017
Camera-ready: July 31, 2017
Conference: Sept. 20-22, 2017
* PROGRAM CHAIRS
Patricia Bouyer-Decitre LSV, CNRS & ENS de Cachan, France
Pierluigi San Pietro, Politecnico di Milano, Italy
INTERNATIONAL CONFERENCE ON CRITICAL (INFORMATION) INFRASTRUCTURES
SECURITY (CRITIS 2017)
Call for Papers
Lucca, Italy, 9-11 October 2017
www.critis2017.org.
* We invite you to submit a contribution to CRITIS 2017, the
International Conference on Critical (Information) Infrastructures
Security.
* Special attention will be devoted to young talents. To this purpose, a
price (YCA: Young Critis Award) will be awarded to the best
contribution presented by a young author.
On 12-13 October, the conference will be followed by two satellite
workshops on Energy and Water.
* For further details, please visit our website www.critis2017.org.
* IMPORTANT DATES
Full-text submission 2 June 2017
Notification of acceptance 1 July 2017
Camera-ready papers 1 September 2017
* GENERAL CHAIR: Antonio Scala (IMT Lucca & CNR, Italy)
PROGRAMME GENERAL CHAIR: Gregorio D'Agostino (ENEA, Italy)
PROGRAM CO-CHAIRS: Grigore Havarneanu (International Union of
Railways, France), Cristina Alcaraz (University of Malaga, Spain),
Hypatia Nassopoulos (Ecole des Ingenieurs de la Ville de Paris,
France)
YCA CHAIRS: Marco Santarelli (ReS On Network) and
Bernhard Hammerli (HSLU)
THE SEVENTH FEDERATED LOGIC CONFERENCE (FLOC 2018)
Call for workshops
The 2018 Federated Logic Conference
6-19 July 2018 Oxford, England UK
http://www.floc2018.org/
* AIM. The Seventh Federated Logic Conference (FLoC 2018) will host the
following nine conferences and affiliated workshops.
- CAV (30th International Conference on Computer Aided Verification)
http://i-cav.org/
Workshop chair: Hana Chockler hana.chockler at kcl.ac.uk
- CSF (31st IEEE Computer Security Foundations Symposium)
http://www.ieee-security.org/CSFWweb/
Workshop chair: Cas Cremers cas.cremers at cs.ox.ac.uk
- FM (23rd International Symposium on Formal Methods)
http://www.fmeurope.org/?page_id=3D221 Workshop chair: Helen
Treharne H.Treharne at surrey.ac.uk
- FSCD (3rd International Conference on Formal Structures for
Computation and Deduction)
http://fscdconference.org/
Workshop chair: Paula Severi pgs11 at le.ac.uk
- ICLP (35th International Conference on Logic Programming)
https://www.cs.nmsu.edu/ALP/conferences/
Workshop chair: Stefan Woltran woltran at dbai.tuwien.ac.at
- IJCAR (International Joint Conference on Automated Reasoning)
http://www.ijcar.org
Workshop chair: Alberto Griggio griggio at fbk.eu
- ITP (9th International Conference on Interactive Theorem Proving)
http://itp2017.cic.unb.br
Workshop chair: Assia Mahboubi Assia.Mahboubi at inria.fr
- LICS (33rd Annual ACM/IEEE Symposium on Logic in Computer Science)
http://lics.siglog.org/
Workshop chair: Patricia Bouyer bouyer at lsv.ens-cachan.fr
- SAT (21st International Conference on Theory and Applications of
Satisfiability Testing)
http://www.satisfiability.org
Workshop chair: Martina Seidl martina.seidl at jku.at
* SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for
workshops on topics in the field of computer science, related to
logic in the broad sense. Each workshop proposal must indicate one
affiliated conference of FLoC 2018.
It is strongly suggested that prospective workshop organizers contact
the relevant conference workshop chair before submitting a proposal.
* Submission instructions will follow shortly from
http://www.floc2018.org/workshops/
For further information on FLoC 2018 see http://www.floc2018.org
* IMPORTANT DATES
Submission of workshop proposals deadline: June 19, 2017
Notification: July 31, 2017
Pre-FLoC workshops: Saturday & Sunday, July 7-8, 2018
Mid-FLoC workshops: Friday July 13, 2018
Post-FLoC workshops: Wednesday & Thursday, July 18-19, 2018
* CONTACT INFORMATION
Questions regarding proposals should be sent to the workshop chairs
of the proposed affiliated conference. General questions should be
sent to: gethin.norman at glasgow.ac.uk
7TH INTERNATIONAL CHALLENGE ON THE RIGOROUS EXAMINATION OF REACTIVE
SYSTEMS (RERS 2017)
Call for Papers
Santa Barbara, USA, July 2017.
co-located with ISSTA/SPIN 2017.
* RERS is designed to encourage software developers and researchers to
apply and combine their tools and approaches in a free style manner
to answer evaluation questions for reachability and LTL formulas on
specifically designed benchmarks. The goal of this challenge is to
provide a basis for the comparison of verification techniques and
available tools. The benchmarks are automatically synthesized to
exhibit chosen properties and then enhanced to include dedicated
dimensions of difficulty, ranging from conceptual complexity of the
properties (e.g. reachability, full safety, liveness), over size of
the reactive systems (a few hundred lines to tens of thousands of
them), to exploited language features (arrays and index
arithmetics). They are therefore especially suited for
community-overlapping tool comparisons. What distinguishes RERS
from other challenges is that the challenge problems can be
approached in a free-style manner: it is highly encouraged to
combine and exploit all known (even unusual) approaches to software
verification. In particular, participants are not constrained to
their own tools. To clearly separate RERS from other challenges,
this year the LTL analysis is separated from the reachability of
labels. RERS is then the only challenge with a special track for LTL
analysis on synthesized benchmarks.
* The main aims of RERS 2017 are to : - encourage the combination of
usually different research fields for better software verification
results; - provide a comparison foundation based on differently
tailored benchmarks that reveals the strengths and weaknesses of
specific approaches; - initiate a discussion for better benchmark
generation reaching out across the usual community barriers to
provide benchmarks useful for testing and comparing a wide variety
of tools.
* There will be a 1 day workshop where the results will be presented,
the generation methodology will be explained, and the modalities for
the RERS 2018 challenge, which will be part of ISoLA 2018 will be
discussed. There is still a lot of time to get engaged, and
collecting RERS achievements is a lot of fun!
* SCHEDULE:
* SEQUENTIAL PROBLEMS
The sequential challenge just started. Its entire setup in online
since a few days. Thus you can start right away. At least if you are
a RERS newcomer, we would strongly recommend you to start with the
training problems:
(http://www.rers-challenge.org/2017/index.php?page=trainingphase)
They are an ideal starting point for the challenge: They are smaller
in size than the challenge problems but otherwise structurally
equivalent. Moreover, an automatic checker (available on the same
page) allows you to evaluate your own solutions. After having
tackled the training problems it should be easy to move on to attack
the challenge problems.
* PARALLEL PROBLEMS: 01.03.2017:
The training problems for the parallel challenge wil be online
01.05.2017: The setup for the parallel challlenge will be online.
* DEADLINE for all submission: 01.07.2017
Please note that we want to specifically encourage also solutions
from participants that work with tools developed by others.
* FURTHER INFORMATION
More detailed information on the challenge can be found in the
participants section of www.rers-challenge.org/2017. Looking forward
to seeing you in Santa Barbara! Best regards Bernhard, Falk, Jaco,
and Markus
DataMod 2017 - 6th INTERNATIONAL SYMPOSIUM
"FROM DATA TO MODELS AND BACK"
Call for Papers
September 4-5, 2017, Trento, Italy
Satellite event of SEFM 2017
http://pages.di.unipi.it/datamod/edition-2017/
* DataMod 2017 aims at bringing together practitioners and researchers
from academia, industry and research institutions interested in the
combined application of computational modelling methods with
data-driven techniques from the areas of knowledge management, data
mining and machine learning.
* Modelling and analysis methodologies include Agent-based Methodologies,
Automata-based Notations, Big Data Analytics, Cellular Automata,
Classification, Clustering, Segmentation and Profiling, Conformance
Analysis, Constraint Programming, Data Mining, Differential Equations,
Empirical Modelling, Game Theory, Machine Learning, Membrane Systems,
Network Theory and Analysis, Ontologies, Optimisation Modelling,
Petri Nets,
Process Calculi, Process Mining, Rewriting Systems, Spatio-temporal
Data
Analysis/Mining, Statistical Model Checking, System Dynamics, Text
Mining, Topological Data Analysis
* Application domains include Biology, Brain Data and Simulation,
Business Process Management, Climate Change, Cybersecurity, Ecology,
Education, Environmental Risk Assessment and Management, Enterprise
Architectures, Epidemiology, Genetics, Governance, Open Source
Software Development and Communities, Pharmacology, Resilience
Engineering, Safety and Security Risk Assessment, Social Good,
Social Software Engineering, Social Systems, Sustainable
Development, Threat modelling and analysis, Urban Ecology and Smart
Cities
* Synergistic approaches include:
(1) use of modelling methods and notations in a
knowledge management/discovery context
(2) development and use of common modelling and
knowledge management/discovery frameworks
to explore and understand complex systems
from the application domains of interest
* IMPORTANT DATES:
Abstract submission due: 25 May 2017;
Paper submission: 1 June 2017;
Notification: 6 July 2017
INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF
RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION -
(RSSRAIL 2017)
Call for Papers
November 14-16, 2017, Pistoia, Italy
https://conferences.ncl.ac.uk/rssrail/
* AIMS.
The railway industry is facing an increasing pressure to improve
system safety, to decrease the production cost and time to market,
to reduce the carbon emission and running cost, and to improve the
system capacity. Railway systems are now being integrated into
larger multi-transport networks. Such systems require an even higher
degree of automation at all levels of operation. These trends
dramatically increase the complexity of railway applications and
pose new challenges in developing novel methods of modelling,
analysis, verification and validation to ensure their reliability,
safety and security, as well as in supporting novel mechanisms and
procedures to help argue that the development processes are meeting
the standards. Following the success of RSSRail 2016 held in Paris
on June 28-30, 2016, this conference will contribute to a range of
key objectives. There is a pressing demand to bring together
researchers and developers working on railway system reliability,
security and safety to discuss how these requirements can be met in
an integrated way.
* The conference aims to bring together researchers and engineers
interested in building critical railway applications and
systems. This will be a working conference in which research
advances will be discussed and evaluated by both researchers and
engineers focusing on their potential to be deployed in industrial
settings.
* We are interested in the submissions of three types:
- Research papers
- Industrial experience reports
- PhD student papers.
* IMPORTANT DATES:
Abstract submission: June 1, 2017
Paper submission deadline: June 8, 2017
Notification: July 8, 2017
camera-read papers submitted: August 18, 2017
* CONFERENCE CHAIRS:
Alessandro Fantechi, University of Firenze, Italy
Thierry Lecomte, ClearSy, France
Alexander Romanovsky, Newcastle University, UK
HIGHER-DIMENSIONAL REWRITING AND APPLICATIONS (HDRA 2017)
September 8-9 2017, Oxford, United Kingdom
http://hdra.gforge.inria.fr/
Satellite workshop of FSCD 2017, co-located with STRING 2017.
* Rewriting consists in orienting equalities. This seemingly simple
point of view has given rise to a rich theory, which was first
developped in computer science for handling strings and terms, and
was then extended over the recent years to many other settings
(operads, monoidal categories, higher categories, etc.), allowing it
to have applications in algebra, homotopy theory and physics. All
these generalizations fit into the general scope of
higher-dimensional rewriting theory, which has emerged as a unifying
algebraic framework.
* The aim of the workshop is to gather people interested in pushing
further rewriting theory, using (higher) categories as a common
language. It is open to all topics concerning higher-dimensional
generalizations and applications of rewriting theory.
* HDRA 2017 will be co-located with the first edition of the STRING
workshop (http://string2017.cs.ru.nl/)
* INVITED SPEAKERS
- Paul-Andre Mellies (CNRS and Paris Diderot)
- TBA
* IMPORTANT DATES
Submission: June 18, 2017
Notification: June 30, 2017
Final version: July 9, 2017
Conference: September 8-9, 2017
12TH WORKSHOP ON LOGICAL AND SEMANTIC FRAMEWORKS, WITH APPLICATIONS
(LSFA 2017)
Second Call for Papers
23-24 September 2017, Brasilia, Brazil
Satellite event of TABLEAUX, FroCoS, and ITP 2017
http://lsfa2017.cic.unb.br/
* OVERVIEW
Logical and semantic frameworks are formal languages used to
represent logics, languages and systems. These frameworks provide
foundations for the formal specification of systems and programming
languages, supporting tool development and reasoning.
LSFA 2017 aims to be a forum for presenting and discussing work in
progress, and therefore to provide feedback to authors on their
preliminary research. The proceedings are produced after the
meeting, so that authors can incorporate this feedback in the
published papers.
* TOPICS OF INTEREST
Topics of interest to this forum include, but are not limited to:
- Automated deduction
- Applications of logical and/or semantic frameworks
- Computational and logical properties of semantic frameworks
- Formal semantics of languages and systems
- Implementation of logical and/or semantic frameworks
- Lambda and combinatory calculi
- Logical aspects of computational complexity
- Logical frameworks
- Process calculi
- Proof theory
- Semantic frameworks
- Specification languages and meta -languages
- Type theory
* IMPORTANT DATES
Submission: 21 June 2017
Notification: 21 July 2017
Final pre-proceedings version due: 11 August 2017
LSFA 2017 23-24 September 2017
* PROGRAMME COMMITTEE CHAIRS
Sandra Alves, University of Porto - co-chair
Renata Wassermann, University of Sao Paulo - co-chair
37th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE
SYSTEMS (PODS 2018)
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
* The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundations of data
management, traditional or non-traditional (see
http://www.sigmod.org/the-pods-pages/the-pods-pages).
* For the 37th edition, PODS continues to aim to broaden its scope,
and calls for research papers providing original, substantial
contributions along one or more of the following aspects:
- deep theoretical exploration of topical areas central to data
management;
- new formal frameworks that aim at providing the basis for deeper
theoretical investigation of important emerging issues in data
management;
- validation of established theoretical approaches from the lens of
practical applicability in data management. Papers in this track
should provide an experimental evaluation that gives new insight
in established theories. Besides, they should provide a clear
message to the database theory community as to which aspects need
further (theoretical) investigation, based on the experimental
findings.
* Topics (that fit the interests of the symposium include, but are not
limited to):
- concurrency & recovery, distributed/parallel databases, cloud
computing
- data and knowledge integration and exchange, data provenance, views
and data warehouses, metadata management
- data-centric (business) process management, workflows, web services
- data management and machine learning
- data mining, information extraction, search
- data models, data structures, algorithms for data management
- data privacy and security, human-related data and ethics
- data streams
- design, semantics, query languages
- domain-specific databases (multi-media, scientific, spatial,
temporal, text)
- graph databases and (semantic) Web data
- incompleteness, inconsistency, uncertainty in data management
- knowledge-enriched data management
- model theory, logics, algebras, computational complexity
* PROGRAM CHAIR: Marcelo Arenas
* IMPORTANT DATES:
First Submission Cycle:
- Abstract submission: Jun 15, 2017
- Paper submission: Jun 22, 2017
- First notification: Aug 31, 2017
- Revision deadline: Sep 28, 2017
- Final notification: Nov 02, 2017
Second Submission Cycle:
- Abstract submission: Dec 12, 2017
- Paper submission: Dec 19, 2017
- Final notification: Feb 27, 2018
All deadlines end at 11:59pm AoE.
SECURITY AND PRIVACY IN CLOUD-ASSISTED CYBER-PHYSICAL SYSTEMS
Call for papers
Special issue in Computer Netwoks Journal (Elsevier)
Submission deadline: June 30, 2017
* Cloud-assisted Cyber-Physical Systems (CPS) feature a tight coupling
between embedded computing devices and their physical environment.
CPSes can be viewed as the bridge between physical
components/processes and the cyber space. Specifically, the notion
of CPSes is to use computing (e.g. sensing, analyzing and
predicting), communication (e.g. interaction, intervene and
interface management), and controlling (e.g. inter-operation,
evolving and evidence-based certification) to make intelligent and
autonomous systems. Recent years have seen a dramatic rise in the
development of CPSes services, including ubiquitous health care,
smart electricity grid, and smart buildings. However, the
fast-growing data volume is hard to process. The present CPSes
cannot support ultra-fast computing, and thus it cannot provide
real-time and reliable services to meet the requirements, which are
essential for mission-critical systems. Fortunately, cloud
infrastructures and platforms can provide flexible and on-demand
processing power and high-capacity storage for data streams, as well
as provisioning of a variety of services using telecommunication and
networking technologies. Thus, the large-scale nature of CPSes can
be effectively and efficiently supported and assisted by cloud
systems, which is referred to as cloud-assisted CPSes (Cloud-CPS).
The goal of this special issue is to unveil and address the security
and privacy aspects associated to the Cloud-CPeSs.
* SUGGESTED TOPICS include, but are not limited to the following.
- Secure data sharing in Cloud-CPSes
- Big data security and privacy in Cloud-CPSes
- Secure computation in Cloud-CPSes
- Location privacy in Cloud-CPSes
- Lightweight block ciphers for low-resource devices in Cloud-CPSes
- Searchable encryption in Cloud-CPSes
- End to end secure communications in Cloud-CPSes
- Access control in Cloud-CPSes
- Key management in Cloud-CPSes
* IMPORTANT DATES
Submission deadline: June 30, 2017
Notification of acceptance: August 31, 2017
Final manuscript due: October 15, 2017
* Requests for additional information should be addressed to the guest
editors.
* GUEST EDITORS
Cristina Alcaraz, University of Malaga, alcaraz@lcc.uma.es
Xinyi Huang, Fujian Normal University, xyhuang81@gmail.com
Eric Rome, Fraunhofer, erich.rome@iais.fraunhofer.de
ENCYCLOPEDIA OF PROOF SYSTEMS - POSTER SESSION & TASK-FORCE (EPS 2017)
Call for Posters and Encyclopedia Entries
24, 25th of September 2017, Brasilia, Brazil
http://proofsystem.github.io/Encyclopedia/
* DESCRIPTION. The Encyclopedia of Proof Systems was created in 2014
with the goal of being a quick reference for the various proof
systems used by logicians. Since then, it has collected 64 entries
on the most various logics and calculi. This was only possible due
to the collaboration of many members of the logic community. This
event aims to promote the encyclopedia and attract more
contributions and collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during
which submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th,
2017, for those who would like to contribute to the continuous
improvement of the encyclopedia.
* Submissions and instructions are available in the website:
http://proofsystem.github.io/Encyclopedia/
* IMPORTANT DATES
Submission: 1 August 2017
Notification: 15 August 2017
SEVENTH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND
PROOFS (CPP 2018)
Call for Papers
January 8-9, 2018, Los Angeles, USA
http://popl18.sigplan.org/track/CPP-2018
* OVERVIEW
Certified Programs and Proofs (CPP) is an international forum on
theoretical and practical topics in all areas, including computer
science, mathematics, and education, that consider certification as
an essential paradigm for their work. Certification here means
formal, mechanized verification of some sort, preferably with
production of independently checkable certificates.
* DATES
- Abstract submission deadline: Fri 6 Oct 2017
- Full paper submission deadline: Wed 11 Oct 2017
- Notification: Tue 14 Nov 2017
* PROGRAM CO-CHAIRS
- June Andronick (Data61, CSIRO and UNSW, Australia)
- Amy Felty (University of Ottawa, Canada)
CALL FOR INTEREST FOR PROFESSOR POSITIONS AT THE DEPARTMENT
OF COMPUTER SCIENCE - UNIVERSITY OF PISA
Call for Interest
Candidates for positions of Full Professor and Associate Professor
Department of Computer Science, University of Pisa, Italy
www.di.unipi.it
* The Department of Computer Science of the University of Pisa is
seeking expressions of interest for tenured positions at the
Associate Professor and Full Professor level, to be covered, in
multiple selection rounds, in 2017-2019.
* Outstanding candidates in all areas of Computer Science are invited
to apply. At this time, the Department seeks to expand its faculty
in particular into the following areas:
- Computational Science and Applied Mathematics including applications
to complex systems and models in the fields of physical sciences,
life sciences, social sciences, engineering and finance.
- Ubiquitous computing including Internet of Things, Cloud and Fog
computing, mobile applications, wearable and cyber-physical systems,
programming languages, formal methods and verification.
- Artificial Intelligence and Data Science including analysis and
management of big data, machine learning, and high-performance
architectures for related computations.
* Position Profile
Successful candidates will be expected to contribute to the activities
of the Department, in multiple capacities:
- Research, by providing leadership in defining research projects,
attracting funding from industry or competitive funding programs,
and contributing to dissemination of results through top-level
publications.
- Teaching, by offering courses for approximately 120 hrs per year
(this translates to 2-3 courses per year) to students, at the
undergraduate and graduate level. Post-grad teaching and PhD courses
can be arranged as well.
- Management, by serving in the various committees and boards of our
University.
* Candidates must have obtained a national habilitation for the
applied-for position (associate or full professor), or already hold
an equivalent academic position. Salary is aligned to national
standards, starting from a minimum of Euro 51000/yr for an Associate
Professor, and Euro 72000/yr for a Full Professor, and can be
increased based on seniority and qualifications.
* For any further detail please contact the Head of Department,
Professor Gian-Luigi Ferrari at gian-luigi.ferrari@unipi.it.
Interested candidates are kindly requested to send at
call.interest@di.unipi.it their resume and a short statement of
their research interest, together with their vision for how they
intend to contribute to our Department. For this round, please send
your expression of interest by 15th of May 2017. Next rounds are
expected in May 2018 and May 2019.
Back to the LICS web page.