SLSP 2019: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
**********************************************************************************
7th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING
SLSP 2019
Ljubljana, Slovenia
October 14-16, 2019
Co-organized by:
Jožef Stefan Institute
Institute for Research Development, Training and Advice (IRDTA), Brussels/London
http://slsp2019.irdta.eu/
**********************************************************************************
AIMS:
SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.
VENUE:
SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be:
Jožef Stefan Institute
Jamova cesta 39
1000 Ljubljana
Slovenia
https://www.ijs.si/ijsw/JSI
SCOPE:
The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:
anaphora and coreference resolution
authorship identification, plagiarism and spam filtering
computer-aided translation
corpora and language resources
data mining and semantic web
information extraction
information retrieval
knowledge representation and ontologies
lexicons and dictionaries
machine translation
multimodal technologies
natural language understanding
neural representation of speech and language
opinion mining and sentiment analysis
parsing
part-of-speech tagging
question-answering systems
semantic role labelling
speaker identification and verification
speech and language generation
speech recognition
speech synthesis
speech transcription
spelling correction
spoken dialogue systems
term extraction
text categorisation
text summarisation
user modeling
STRUCTURE:
SLSP 2019 will consist of:
invited talks
peer-reviewed contributions
posters
INVITED SPEAKERS:
Jure Leskovec (Stanford University), Learning and Reasoning with Knowledge Graphs
Alexandros Potamianos (National Technical University of Athens), Emotion and Behavioral Tracking in the Lab and in the Wild
Odette Scharenborg (Delft University of Technology), The Representation and Processing of Speech in Human Listeners and Deep Neural Network-based Automatic Speech Recognition Systems
PROGRAMME COMMITTEE:
Jon Barker (University of Sheffield, UK)
Roberto Basili (University of Rome Tor Vergata, IT)
Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN)
Fethi Bougares (University of Le Mans, FR)
Philipp Cimiano (Bielefeld University, DE)
Carol Espy-Wilson (University of Maryland, US)
Nikos Fakotakis (University of Patras, GR)
Robert Gaizauskas (University of Sheffield, UK)
Julio Gonzalo (National Distance Education University, ES)
Reinhold Häb-Umbach (Paderborn University, DE)
John Hershey (Google, US)
Julia Hirschberg (Columbia University, US)
Jing Huang (JD AI Research, US)
Mei-Yuh Hwang (Mobvoi AI Lab, US)
Nancy Ide (Vassar College, US)
Martin Karafiát (Brno University of Technology, CZ)
Vangelis Karkaletsis (National Center for Scientific Research "Demokritos", GR)
Tomi Kinnunen (University of Eastern Finland, FI)
Sandra Kübler (Indiana University, US)
Carlos Martín-Vide (Rovira i Virgili University, ES, chair)
David Milne (University of Technology Sydney, AU)
Marie-Francine Moens (KU Leuven, BE)
Preslav Nakov (Qatar Computing Research Institute, QA)
Elmar Nöth (University of Erlangen-Nuremberg, DE)
Senja Pollak (Jožef Stefan Institute, SI)
Stephen Pulman (University of Oxford, UK)
Matthew Purver (Queen Mary University of London, UK)
Mats Rooth (Cornell University, US)
Tony Russell-Rose (UX Labs, UK)
Horacio Saggion (Pompeu Fabra University, ES)
Tanja Schultz (University of Bremen, DE)
Efstathios Stamatatos (University of the Aegean, GR)
Erik Tjong Kim Sang (Netherlands eScience Center, NL)
Isabel Trancoso (Instituto Superior Técnico, PT)
Josef van Genabith (German Research Center for Artificial Intelligence, DE)
K. Vijay-Shanker (University of Delaware, US)
Atro Voutilainen (University of Helsinki, FI)
Hsin-Min Wang (Academia Sinica, TW)
Hua Xu (University of Texas, Houston, US)
Edmund S. Yu (Syracuse University, US)
François Yvon (CNRS - Limsi, FR)
Wlodek Zadrozny (University of North Carolina, Charlotte, US)
ORGANIZING COMMITTEE:
Tina Anžič (Ljubljana)
Jan Kralj (Ljubljana)
Matej Martinc (Ljubljana)
Sara Morales (Brussels)
Manuel Parra-Royón (Granada)
Senja Pollak (Ljubljana, co-chair)
Matthew Purver (London)
David Silva (London, co-chair)
Anita Valmarska (Ljubljana)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://easychair.org/conferences/?conf=slsp2019
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The registration form can be found at:
http://slsp2019.irdta.eu/Registration.php
DEADLINES (all at 23:59 CET):
Paper submission: June 1, 2019
Notification of paper acceptance or rejection: July 8, 2019
Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019
Early registration: July 15, 2019
Late registration: September 30, 2019
Submission to the journal special issue: January 16, 2020
QUESTIONS AND FURTHER INFORMATION:
david(a)irdta.eu
ACKNOWLEDGMENTS:
Institut "Jožef Stefan"
Institute for Research Development, Training and Advice (IRDTA), Brussels/London
=================================================================
LOPSTR 2019: Call for Papers
=================================================================
29th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2019
Porto, Portugal, October 8-10, 2019
(co-located with the Symposium on Formal Methods, FM'19
and a part of the FM Week)
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
The 29th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2019) will be held at the Porto, Portugal. Previous
symposia were held in Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven,
Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona,
Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm,
Arnhem, Pisa, Louvain-la-Neuve, Manchester and Frankfurt. LOPSTR 2019
will be co-located with the Symposium on Formal Methods, FM'19
and a part of the FM Week.
Topics of interest cover all aspects of logic-based program development,
all stages of the software life cycle, and issues of both programming-in-the-small
and programming-in-the-large.
This year LOPSTR extends its traditional topics to include also logic-based program
development based on integration of sub-symbolic and symbolic models, on machine
learning techniques and on differential semantics. Both full papers and extended
abstracts describing applications in all these areas are especially welcome.
Contributions are welcome on all aspects of logic-based program development,
including, but not limited to:
* synthesis
* transformation
* specialization
* composition
* optimization
* inversion
* specification
* analysis and verification
* testing and certification
* program and model manipulation
* machine learning for program development
* integration of sub-symbolic and symbolic models
* differential semantics
* transformational techniques in SE
* applications and tools
Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Important Dates
Abstract submission: June 17, 2019
Paper/Extended abstract submission: June 24, 2019
Notification: July 24, 2018
Camera-ready (for electronic pre-proceedings): August 7, 2019
Symposium: October 8-10, 2019
Submission Guidelines
Authors should submit an electronic copy of the paper (written in
English) in PDF, formatted in the Lecture Notes in Computer Science
style. Each submission must include on its first page the paper title;
authors and their affiliations; contact author's email; abstract; and
three to four keywords which will be used to assist the PC in
selecting appropriate reviewers for the paper. Page numbers (and, if
possible, line numbers) should appear on the manuscript to help the
reviewers in writing their report. Submissions cannot exceed 15 pages
including references but excluding well-marked appendices not intended
for publication. Reviewers are not required to read the appendices,
and thus papers should be intelligible without them. Papers should be
submitted via the Easychair submission website for LOPSTR 2019.
Best Paper Award and Prize
A best paper award will be granted, which will include a 500 EUR prize
provided by Springer. This award will be given to the best paper
submitted to the conference, based on the relevance, originality, and
technical quality. The program committee may split the award among two
or more papers, also considering authorship (e.g., student paper).
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series. Full papers can be
directly accepted for publication in the formal proceedings, or
accepted only for presentation at the symposium and inclusion in
informal proceedings. After the symposium, all authors of extended
abstracts and full papers accepted only for presentation will be
invited to revise and/or extend their submissions in the light of the
feedback solicited at the symposium. Then, after another round of
reviewing, these revised papers may also be published in the formal
proceedings.
After the symposium, a selection of the best papers might be invited for
submission to a special issue of a journal.
Program Committee
Sabine Broda - University of Porto, Portugal
Manuel Carro - Technical University of Madrid and IMDEA, Spain
Ugo Dal Lago - University of Bologna, Italy
Daniel De Schreye - KU Leuven, Belgium
Santiago Escobar - Polytechnic University of Valencia, Spain
Moreno Falaschi - University of Siena, Italy
Laurent Fribourg - CNRS, France
Arnaud Gotlieb - SIMULA Research Laboratory, Norway
Gopal Gupta - The University of Texas at Dallas, U.S.A
Andy King - University of Kent, U.K.
Herbert Kuchen - University of Muenster, Germany
Jacopo Mauro - University of Southern Denmark, Denmark
Hernan Melgratti - University of Buenos Aires, Argentina
Maria Chiara Meo - University G. D'Annunzio, Chieti Pescara, Italy
Carlos Olarte - Federal University of Rio Grande do Norte, Brazil
Hirohisa Seki - Nagoya Institute of Technology, Japan
Caterina Urban - INRIA, France
Herbert Wiklicky - Imperial College London, U.K.
Program Chair
Maurizio Gabbrielli - University of Bologna, Italy
General Chair of FM 19
Jose' Nuno Oliveira, INESC TEC & University of Minho
Publicity Chair
Tong Liu - University of Bologna, Italy
2nd Call for Papers
Formal Methods 2019 - Doctoral Symposium
Porto, Portugal, October 7th, 2019
http://formalmethods2019.inesctec.pt/?page_id=361
In conjunction with the
23rd International Symposium on Formal Methods and
3rd World Congress on Formal Methods
Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt
GOALS AND SCOPE
A Doctoral Symposium will be held on the 7th October in conjunction
with the 23rd International Symposium on Formal Methods and 3rd World
Congress on Formal Methods which will take place in Porto, Portugal,
from 7 to 11 October 2019. This symposium aims to provide a helpful
environment in which selected PhD students can present and discuss
their ongoing work, meet other students working on similar topics, and
receive helpful advice and feedback from a panel of researchers and
academics. If you are a PhD student researching any topic that falls
within the area of formal methods, you are warmly invited to submit a
Research Abstract for consideration to be selected as a participant.
There will be a best presentation award. Scholarships for attendance
will also be available.
RESEARCH ABSTRACTS
Research Abstracts should be no more than 4 pages in LNCS format.
Your Research Abstract should:
- Outline the problem being addressed, its relevance, the solution you
are working on, your research approach (such as your research method)
and your expected contribution.
- Contain a very brief literature survey indicating the most important
references related to:
(a) the problem being addressed and/or
(b) existing solutions as appropriate.
- Indicate your progress to date and the current stage of research.
The Research Abstract should be written by yourself as sole author,
but should include references to any papers you have already
published, including joint publications with your supervisor.
IMPORTANT DATES
Submission deadline: June 10, 2019 (AoE)*
Notification: July 5, 2019
Doctoral Symposium: October 7, 2019
HOW TO SUBMIT
Please upload a PDF version of your Research Abstract, including your
name, affiliation, and email address to:
https://easychair.org/conferences/?conf=dsfm19
DOCTORAL SYMPOSIUM WEBSITE
http://formalmethods2019.inesctec.pt/?page_id=361
ORGANISATION
CHAIRS:
Alexandra Silva, University College London
Antonia Lopes, University of Lisbon
PROGRAM COMMITTEE
Alessandro Fantechi, University of Florence
Ana Cavalcanti, University of York
André Platzer, CMU
Carlo A. Furia, USI - Università della Svizzera Italiana
Dalal Alrajeh, Imperial College
Einar Broch Johnsen, University of Oslo
Elvira Albert, Universidad Complutense de Madrid
Jaco van de Pol, University of Twente
Matteo Rossi, Politecnico di Milano
Stefania Gnesi, ISTI-CNR
Stephan Merz, INRIA Nancy
[We apologize if you receive multiple copies of this call]
----------------------------------------------------------------------
CALL FOR PAPERS
QBF 2019
--------
International Workshop on
Quantified Boolean Formulas and Beyond
Lisbon, Portugal, July 7, 2019
http://fmv.jku.at/qbf19/
Affiliated to and co-located with:
Int. Conf. on Theory and Applications
of Satisfiability Testing (SAT'19)
Lisbon, Portugal, July 7-12, 2019
----------------------------------------------------------------------
Quantified Boolean formulas (QBF) are an extension of propositional
logic which allows for explicit quantification over propositional
variables. The decision problem of QBF is PSPACE-complete, compared to
the NP-completeness of the decision problem of propositional logic (SAT).
Many problems from application domains such as model checking, formal
verification or synthesis are PSPACE-complete and hence could be
encoded as a QBF in a natural way. Considerable progress has been made
in QBF solving throughout the past years. However, in contrast to SAT,
QBF is not yet widely applied to practical problems in academic or
industrial settings. For example, the extraction and validation of
models of (un)satisfiability of QBFs has turned out to be
challenging, given that state-of-the-art solvers implement different
solving paradigms.
The goal of the International Workshop on Quantified Boolean Formulas
and Beyond (QBF 2019) is to bring together researchers working on
theoretical and practical aspects of QBF solving. In addition to that,
it addresses (potential) users of QBF in order to reflect on the
state-of-the-art and to consolidate on immediate and long-term
research challenges.
The workshop also welcomes work on reasoning with quantifiers in
related problems, such as dependency QBF (DQBF), quantified constraint
satisfaction problems (QCSP), and satisfiability modulo theories (SMT)
with quantifiers.
===============
INVITED SPEAKER
===============
Alexander Feldman, PARC
===============
IMPORTANT DATES
===============
May 25: Submission (extended)
June 5: Notification (extended)
June 15: Camera-ready versions
Please see the workshop webpage for any updates:
http://fmv.jku.at/qbf19/
======================
CALL FOR CONTRIBUTIONS
======================
The workshop is concerned with all aspects of current research on all
formalisms enriched by quantifiers, and in particular QBF. The topics
of interest include (but are not limited to):
- Applications, encodings and benchmarks with quantifiers
- QBF proof theory and complexity results
- Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc.
- Experimental evaluations of solvers or related tools
- Case studies illustrating the power of quantifiers
- Formats of proofs and certificates
- Implementations of proof checkers and verifiers
- Decision procedures
- Calculi and their relationships
- Data structures, implementation details and heuristics
- Pre- and inprocessing techniques
- Structural reasoning
==========
SUBMISSION
==========
Submissions of extended abstracts are invited and will be managed via
Easychair:
https://easychair.org/conferences/?conf=qbf19
In particular, we invite the submission of extended abstracts on work
that has been published already, novel unpublished work, or work in
progress.
The following forms of submissions are solicited:
- Proposals for short tutorial presentations on topics related to the
workshop. The number of accepted tutorials depends on the overall
number of accepted papers and talks, with the aim to set up a
balanced workshop program.
- Talk abstracts reporting on already published work. Such an abstract
should include an outline of the planned talk, and pointers to
relevant bibliography.
- Talk proposals presenting work that is unpublished or in progress.
- Submissions which describe novel applications of QBF or related
formalisms in various domains are particularly welcome.
Additionally, this call comprises known applications that have been
shown to be hard for QBF solvers in the past as well as new
applications for which present QBF solvers might lack certain
features still to be identified.
Each submission should have an overall length of 1-4 pages in LNCS
format. Authors may decide to include an appendix with additional
material. Appendices will be considered at the reviewers' discretion.
The accepted extended abstracts will be published on the workshop
webpage. The workshop does not have formal proceedings.
Authors of accepted contributions are expected to give a talk at the
workshop.
=======
CONTACT
=======
qbf19(a)easychair.org
===============================
PROGRAM CHAIRS AND ORGANIZATION
===============================
Hubie Chen, Birkbeck, University of London
Florian Lonsing, Stanford University
Martina Seidl, University of Linz, Austria
Friedrich Slivovsky, TU Wien, Austria
Dynamic Logic: New Trends and Applications
workshop.dali.di.uminho.pt
Second Call for Papers
Porto, 9 October, 2019
(part of the 3rd World Congress on Formal Methods 2019)
OVERVIEW
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic
was introduced in the 70's as a suitable logic to reason about, and
verify, classic imperative programs. Since then, the original
intuitions grew to an entire family of logics, which became
increasingly popular for assertional reasoning about a wide range of
computational systems. Simultaneously, their object (i.e. the very
notion of a program) evolved in unexpected ways. This lead to dynamic
logics tailored to specific programming paradigms and extended to new
computing domains, including probabilistic, continuous and quantum
computation. Both its theoretical relevance and practical potential
make dynamic logic a topic of interest in a number of scientific
venues, from wide-scope software engineering conferences to modal
logic specific events. However, no specific event is exclusively
dedicated to it. This workshop aims at filling fill such a gap,
joining an heterogeneous community of colleagues, from Academia to
Industry, from Mathematics to Computer Science.
Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692
TOPICS
Submissions are invited on the general field of dynamic logic, its
variants and applications, including, but not restricted to
Dynamic logic, foundations and applications
Logics with regular modalities
Modal/temporal/epistemic logics
Kleene and action algebras and their variants
Quantum dynamic logic
Coalgebraic modal/dynamic logics
Graded and fuzzy dynamic logics
Dynamic logics for cyber-physical systems
Dynamic epistemic logic
Complexity and decidability of variants of dynamic logics
and temporal logics
Model checking, model generation and theorem proving for
dynamic logics
SUBMISSION AND PUBLICATION
Original papers (unpublished and not submitted for publication
elsewhere), up to 15 pages in LNCS style. As in the previous edition,
post-proceedings will be published by Springer in a Lecture Notes of
Computer Science volume. We will also have a special issue with
extended, revised contributions in the Journal of Logic and Algebraic
Methods in Programming, Elsevier.
Submit via the EasyChair link
https://easychair.org/conferences/?conf=dali2019
INVITED SPEAKER
Dexter Kozen, Cornell University
IMPORTANT DATES
Paper Submission: June 14, 2019
Notification: July 19, 2019
Camera Ready: September 2, 2019
Workshop: October 9, 2019
PROGRAMME COMMITTEE
Guillaume Aucher (IRISA, FR)
Carlos Areces (U Cordoba, AR)
Alexandru Baltag, (UvA, NL) - PC co-chair
Luis S. Barbosa, (U Minho, PT) - PC co-chair
Mario Benevides (UFRJ, BR)
Johan van Benthem (U Stanford, USA)
Patrick Blackburn, (U Roskilde, DK)
Thomas Bolander (DTU, Denmark)
Zoe Christoff (U Bayreuth, Germany)
Fredrik Dahlqvist (UCL, UK)
Hans van Ditmarsch (LORIA, Nancy, FR)
Nina Gierasimczuk (DTU, Denmark)
Valentin Goranko (U Stockholm, SE)
Davide Grossi (U Groningen, NL)
Reiner Hahle (TU Darmstadt, DE)
Rolf Hennicker (LMU, Munchen, DE)
Andreas Herzig (U Toulouse, FR)
Dexter Kozen (Cornell, USA)
Clemens Kupke (U Strathclyde, UK)
Alexandre Madeira (U Aveiro, PT)
Manuel A. Martins (U Aveiro, PT)
Paulo Mateus (IST, PT)
Stefan Mitsch (CMU, USA)
Renato Neves (U Minho, PT)
Valeria de Paiva (Nuance Comms, USA)
Aybuke Ozgun (ILLC, NL)
Fernando Velazquez-Quesada (ILLC, NL)
Olivier Roy (U Bayreuth, DE)
Lutz Schroeder (FAU, Erlangen-Nurenberg, DE)
Alexandra Silva (UCL, UK)
Sonja Smets (UvA, NL)
Rui Soares Barbosa (U Oxford, UK)
Tinko Tinchev (Sofia U, BG)
Renata Wassermann (USP, BR)
[apologies for any cross-posting]
****************************************************************************************************************************************************************
Call for Papers
AIIA19 - The 18th International Conference of the Italian Association
for Artificial Intelligence
UNICAL, Rende (CS), 19-22 November 2019
****************************************************************************************************************************************************************
-----------------------------------------------------------------
Topics of Interest
-----------------------------------------------------------------
The conference covers broadly the many aspects of theoretical and
applied Artificial Intelligence. A series of workshops dedicated to
specific topics enhances the program. AIIA 2019 welcomes submissions
covering all areas of AI, including (but not limited to) machine
learning, search, planning, knowledge representation, reasoning,
constraint satisfaction, natural language processing, robotics and
perception, and multiagent systems. We encourage all types of
high-quality contributions including theoretical, engineering and
applied papers. We also encourage contributions on AI techniques in the
context of novel application domains, such as security, sustainability,
health care, transportation, and commerce.
Besides regular original papers, in this edition we also welcome
discussion papers containing descriptions of results recently published
or accepted for the presentation in international conferences.
Discussion papers are expected to be more broadly accessible than
regular papers, they are an opportunity for the authors to present their
recent results to the AI community, and a valuable addition for the
attendees of AIIA 2019.
At least one author of each accepted paper is required to register and
attend the conference to present the work.
-----------------------------------------------------------------
Important Dates
-----------------------------------------------------------------
Abstract submission by 28 May 2019
Paper submission by 4 June 2019
Notification to authors by 23 July 2019
Camera-ready copies due by 3 September 2019
-----------------------------------------------------------------
Proceedings of Regular Papers
-----------------------------------------------------------------
The regular papers will be included in the proceedings of the
conference, and will be published by Springer Verlag in the Lecture
Notes in Artificial Intelligence series. Authors of selected regular
papers accepted to the main track will be invited to submit an extended
version for publication on "Intelligenza Artificiale", the International
Journal of the Italian Association for Artificial Intelligence, edited
by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation
Index" and Scopus by Elsevier.
-----------------------------------------------------------------
Proceedings of Discussion Papers
-----------------------------------------------------------------
The discussion papers will not be included in the LNCS proceedings of
the conference, and will be made available through the conference
WEB-Site and possibly published on CEUR WS Proceedings upon request.
-----------------------------------------------------------------
Best Papers
-----------------------------------------------------------------
The Program Committee will select the Best Student Paper Award and the
Best Paper Award from the accepted regular papers. In order to be
eligible for the Best Student Paper award, at least one author must be a
student.
-----------------------------------------------------------------
Submission Instructions
-----------------------------------------------------------------
The submitted papers should be written in English and formatted
according to the Springer LNCS style.
Regular papers must be original papers which are not being submitted
simultaneously for publication elsewhere. These papers should not exceed
12 pages plus bibliography.
The discussion papers report results already published or accepted for
the publication in international conferences, and should not exceed 8
pages plus bibliography.
Paper submission is electronic via easychair at the address:
https://easychair.org/conferences/?conf=aiia2019
-----------------------------------------------------------------
Conference Web Site
-----------------------------------------------------------------
For the most up to date information, please visit:
https://aiia2019.mat.unical.it
-----------------------------------------------------------------
Organizing Committee
-----------------------------------------------------------------
Conference Chair:
Nicola Leone (UNICAL, Italy)
Program Chairs:
Mario Alviano (UNICAL, Italy)
Gianluigi Greco (UNICAL, Italy)
Francesco Scarcello (UNICAL, Italy)
Organization Chairs:
Francesco Ricca (UNICAL, Italy)
Chiara Ghidini (FBK, Trento)
Workshop and Tutorial Chair:
Rafael Penaloza (UNIMIB, Italy)
Doctoral Consortium Chair:
Marco Maratea (UNIGE, Italy)
Publicity and Web Chair:
Luca Pulina (UNISS, Italy)
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
TPNC 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
****************************************************************************
8th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING
TPNC 2019
Kingston, Canada
December 9-11, 2019
Co-organized by:
Royal Military College of Canada
Institute for Research Development, Training and Advice
Brussels / London
http://tpnc2019.irdta.eu/
****************************************************************************
AIMS:
TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2019 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.
VENUE:
TPNC 2019 will take place in Kingston, a city midway between Toronto and Montréal with an important military history. The venue will be:
Royal Military College of Canada
Kingston, Ontario
Canada K7K 7B4
https://www.rmc-cmr.ca/en
SCOPE:
Topics include, but are not limited to:
- Theoretical contributions to:
ant colony optimization
artificial immune systems
artificial life
cellular automata
cognitive computing
collective behaviour
collective intelligence
computational intelligence
computing with words
developmental systems
DNA computing
DNA nanotechnology
evolutionary algorithms
evolutionary computing
fuzzy logic
fuzzy sets
fuzzy systems
genetic algorithms
genetic programming
granular computing
heuristics
intelligent agents
intelligent systems
machine intelligence
metaheuristics
molecular programming
multiobjective optimization
neural networks
quantum communication
quantum computing
quantum information
rough sets
self-organization
soft computing
swarm intelligence
unconventional computing
- Applications of natural computing to:
algorithmics
bioinformatics
control
cryptography
design
economics
graphics
hardware
human-computer interaction
knowledge discovery
learning
logistics
medicine
natural language processing
optimization
pattern recognition
planning and scheduling
programming
robotics
telecommunications
web intelligence
A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.
STRUCTURE:
TPNC 2019 will consist of:
- invited talks
- peer-reviewed contributions
- posters
INVITED SPEAKERS:
tba
PROGRAMME COMMITTEE: (to be completed)
Thomas Bäck (Leiden University, NL)
Mauro Birattari (Université Libre de Bruxelles, BE)
Shyi-Ming Chen (National Taiwan University of Science and Technology, TW)
Carlos A. Coello Coello (CINVESTAV – National Polytechnic Institute, MX)
Marco Dorigo (Université Libre de Bruxelles, BE)
Matthias Ehrgott (Lancaster University, UK)
Andries Engelbrecht (Stellenbosch University, ZA)
Deborah M. Gordon (Stanford University, US)
Etienne E. Kerre (Ghent University, BE)
Chung-Sheng Li (Accenture, IE)
Gui Lu Long (Tsinghua University, CN)
Vittorio Maniezzo (University of Bologna, IT)
Carlos Martín-Vide (Rovira i Virgili University, ES, chair)
Luis Martínez López (University of Jaén, ES)
Serge Massar (Université Libre de Bruxelles, BE)
Geoffrey Pond (Royal Military College of Canada, CA)
Shahab Shamshirband (Norwegian University of Science and Technology, NO)
José Luis Verdegay (University of Granada, ES)
Xin-She Yang (Middlesex University, UK)
Yi Zhang (Sichuan University, CN)
ORGANIZING COMMITTEE:
Sara Morales (Brussels)
Manuel Parra-Royón (Granada)
Geoffrey Pond (Kingston, co-chair)
David Silva (London, co-chair)
Miguel A. Vega-Rodríguez (Cáceres)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://easychair.org/conferences/?conf=tpnc2019
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The registration form can be found at:
http://tpnc2019.irdta.eu/Registration.php
DEADLINES (all at 23:59 CET):
Paper submission: July 27, 2019
Notification of paper acceptance or rejection: August 31, 2019
Final version of the paper for the LNCS proceedings: September 7, 2019
Early registration: September 7, 2019
Late registration: November 25, 2019
Submission to the journal special issue: March 11, 2020
QUESTIONS AND FURTHER INFORMATION:
david(a)irdta.eu
ACKNOWLEDGMENTS:
Royal Military College of Canada / Collège militaire royal du Canada
IRDTA – Institute for Research Development, Training and Advice, Brussels/London
Several PhD and Postdoc positions in Formal Methods and Web Security at TU
Wien funded by ERC Consolidator Grant
WHAT: The Security & Privacy group at TU Wien (
<https://secpriv.tuwien.ac.at> https://secpriv.tuwien.ac.at) is currently
looking for several outstanding Ph.D. and postdoc candidates to conduct
research within the ERC Consolidator Project "Foundations and Tools for
Client-Side Web Security". The project will develop a holistic approach to
client-side web security, laying its theoretical foundations and developing
innovative security enforcement technologies. The project is a
multidisciplinary research effort, promising practical impact and delivering
breakthrough advancements in various disciplines, such as web security,
JavaScript semantics, software engineering, and program verification.
APPLICATION: Successful applicants should have a background and interest in
at least one of the following areas:
- security
- web technologies
- formal methods
- semantics of programming languages
- verification
- Doctoral applicants should have recently completed (or be close to
complete) a master or bachelor with honours degree. Postdoctoral applicants
should have an excellent publication record with at least one top-tier
conference in one of the aforementioned areas.
+ The employment is full-time (40 hrs/week) and the salary is
internationally competitive (the yearly entry-level gross salary is approx.
40K EUR for PhD students and 53K for postdocs).
+ The working language at the university is English, knowledge of German is
not required.
APPLICATION: Interested candidates should send
- a motivation letter
- transcripts of records (Bachelor and Master, for PhD applicants)
- a publication list (for postdoc applicants)
- a research statement (for postdoc applicants)
- a curriculum vitae
- contact information for two referees
to Univ. Prof. Matteo Maffei
<mailto:matteo.maffei@tuwien.ac.at> matteo.maffei(a)tuwien.ac.at
DEADLINE: The application deadline is May 31, 2019.
ABOUT TU WIEN (Vienna University of Technology), AUSTRIA: TU Wien offers an
outstanding research environment and numerous professional development
opportunities. The Faculty of Informatics is the largest one in Austria and
is consistently ranked among the best in Europe. Ph.D. students have the
possibility to join the LogiCS doctoral school ( <http://logic-cs.at>
http://logic-cs.at). Vienna features a vibrant and excellence-driven
research landscape, with several leading research institutes (e.g.,
University of Vienna, IST, AIT, SBA) and universities continuously
establishing collaborations in various fields, including security and
privacy. Finally, Vienna has been consistently ranked by Mercer over the
last years the best city for quality of life worldwide.
CALL FOR PAPERS
18th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2020
08. April to 11. April 2020, Palaiseau, France
URL: http://ramics18.gforge.inria.fr/
IMPORTANT DATES:
Abstract Submission: 06. October 2019
Paper Submission: 13. October 2019
Author Notification: 15. December 2019
Final Version: 16. January 2020
RAMiCS 2020: 08. April to 11. April 2020
GENERAL INFORMATION:
Since 1994, the RAMiCS conference series has been the main venue for
research on relation algebras, Kleene algebras and similar algebraic
formalisms, and their applications as conceptual and methodological
tools in computer science and beyond.
TOPICS:
We invite submissions in the general fields of algebras relevant to
computer science and applications of such algebras. Topics include but
are not limited to:
* Theory
- algebras such as semigroups, residuated lattices, semirings,
Kleene algebras, relation algebras and quantales
- their connections with program logics and other logics
- their use in the theories of automata, concurrency, formal languages,
games, networks and programming languages
- the development of algebraic, algorithmic, category-theoretic,
coalgebraic and proof-theoretic methods for these theories
- their formalisation with theorem provers
* Applications
- tools and techniques for program correctness, specification and
verification
- quantitative and qualitative models and semantics of computing
systems and processes
- algorithm design, automated reasoning, network protocol analysis,
social choice, optimisation and control
- industrial applications
WATA 2020
WATA 2020, the 10th International Workshop on Weighted Automata: Theory and
Applications, will take place just after RAMICS, from 14 to 17 April, in
Marseille. We encourage participants to combine the two events.
SUBMISSION INSTRUCTIONS:
Submission is via EasyChair at
https://www.easychair.org/conferences/?conf=ramics2020
All papers will be peer-reviewed by at least three referees. The
proceedings will be published in an LNCS volume by Springer, ready at
the conference. Submissions must not be published or under review for
publication elsewhere. Submissions must be in English using a PDF not
exceeding 16 pages in LNCS style. Submissions must provide sufficient
information to judge their merits. Additional material may be provided
in a clearly marked appendix or by a reference to a manuscript on a web
site. Experimental data, software or mathematical components for theorem
provers must be available in sufficient detail for referees. Deviation
from these requirements may lead to rejection.
One author of each accepted paper is expected to present the paper at
the conference. Accepted papers must be produced with LaTeX. Formatting
instructions and LNCS style files are available at
http://www.springer.de/comp/lncs/authors.html
As for earlier RAMiCS conferences, we intend to publish a journal
special issue with revised and extended versions of a selection of the
best papers.
COMMITTEES:
Organising Committee
--------------------
Conf. & PC Co-Chair: Peter Jipsen, Chapman University, USA
Conf. & PC Co-Chair: Uli Fahrenberg, École polytechnique, France
Conf. & PC Co-Chair: Michael Winter, Brock University, Canada
Programme Committee
-------------------
Roland Backhouse University of Nottingham, UK
Rudolf Berghammer Kiel University, Germany
Manuel Bodirsky TU Dresden, Germany
Jules Desharnais Laval University, Canada
Amina Doumane PPS, France
Uli Fahrenberg École polytechnique, France
Hitoshi Furusawa Kagoshima University, Japan
Mai Gehrke LIAFA, France
Walter Guttmann University of Canterbury, New Zealand
Robin Hirsch University College London, UK
Peter Höfner CSIRO, Australia
Marcel Jackson La Trobe University, Australia
Jean-Baptiste Jeannin University of Michigan, USA
Peter Jipsen Chapman University, USA
Wolfram Kahl McMaster University, Canada
Dexter Kozen Cornell University, USA
Tadeusz Litak FAU Erlangen-Nürnberg, Germany
Wendy MacCaull St. Francis Xavier University, Canada
Roger Maddux Iowa State University, USA
Annabelle McIver Macquarie University, Australia
Szabolcs Mikulas University of London, UK
Ali Mili NJIT, USA
Jose Oliveira University of Minho, Portugal
Alessandra Palmigiano Technical University of Delft, Netherlands
Damien Pous CNRS - ENS Lyon, France
Mehrnoosh Sadrzadeh Queen Mary University of London, UK
Luigi Santocanale LIS, Aix-Marseille Université, France
John Stell University of Leeds, UK
Georg Struth University of Sheffield, UK
Michael Winter Brock University, Canada