SIGLOG Monthly 207
October 18, 2020
*******************************************************************
* Past issues of the newsletter are available at
https://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
https://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* DEADLINES
Forthcoming Deadlines
* CALLS
NLPinAI 2021 - Call for Papers
SCI. COMPUT. PROGRAM. - Call for Papers (Graph Transformation)
J. LOG. COMPUT. - Call for Papers (Social Networks)
CIE 2021 - Call for Papers
* ANNOUNCEMENTS
PH.D. POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC (RWTH AACHEN UNIVERSITY)
DATES
* RWTH Aachen: Oct 30, 2020 (PhD positions)
* NLPinAI 2021: Nov 26, 2020 (papers)
* SCI. COMPUT. PROGRAM. (Graph Transformation): Dec 20, 2020:
* J. LOG. COMPUT (Social Networks): Dec 31, 2020
* CiE 2021: Jan 17, 2021 (abstracts), Feb 5, 2021 (articles),
May 1, 2021 (informal presentations)
NATURAL LANGUAGE PROCESSING IN ARTIFICIAL INTELLIGENCE (NLPinAI 2021)
Call for Papers
Online Streaming 4-6 February, 2021
http://www.icaart.org/NLPinAI.aspx
(special Session within the 13th International Conference on Agents
and Artificial Intelligence - ICAART 2021 http://www.icaart.org)
* SCOPE
Computational and technological developments that incorporate natural
language are proliferating. Adequate coverage encounters difficult problems
related to partiality, underspecification, and context-dependency, which
are signature features of information in nature and natural languages.
Furthermore, agents (humans or computational systems) are information
conveyors, interpreters, or participate as components of informational
content. Generally, language processing depends on agents' knowledge,
reasoning, perspectives, and interactions.
The session covers theoretical work, applications, approaches, and
techniques for computational models of information and its presentation by
language (artificial, human, or natural in other ways). The goal is to
promote computational systems of intelligent natural language processing
and related models of thought, mental states, reasoning, and other
cognitive processes.
* TOPICS
We invite contributions relevant to the following topics, without being
limited to them:
- Type theories for applications to language and information processing
- Computational grammar
- Computational syntax
- Computational semantics of natural languages
- Computational syntax-semantics interface
- Interfaces between morphology, lexicon, syntax, semantics, speech,
text, pragmatics
- Parsing
- Multilingual processing
- Large-scale grammars of natural languages
- Models of computation and algorithms for natural language processing
- Computational models of partiality, underspecification, and
context-dependency
- Models of situations, contexts, and agents, for applications to language
processing
- Information about space and time in language models and processing
- Models of computation and algorithms for linguistics
- Data science in language processing
- Machine learning of language
- Interdisciplinary methods
- Integration of formal, computational, model theoretic, graphical,
diagrammatic, statistical, and other related methods
- Logic for information extraction or expression in written and spoken
language
- Language processing based on biological fundamentals of information
and languages
- Computational neuroscience of language
* IMPORTANT DATES
Paper Submission: November 26, 2020
Authors Notification: December 14, 2020
Camera Ready and Registration: December 22, 2020
* PAPER SUBMISSION
Prospective authors are invited to submit papers in any of the topics
listed above. Instructions for preparing the manuscript (in LaTeX and
Word styles) are available on the ICAART pages.
Paper Templates: http://www.icaart.org/Templates.aspx
Guidelines: http://www.icaart.org/Guidelines.aspx
Papers must be submitted electronically via the web-based
submission system using the button SUBMIT PAPER on the pages
of NLPinAI 2021 at ICAART 2021.
* PUBLICATIONS
After thorough reviewing by the special session program committee, all
accepted papers will be published in a special section of the conference
proceedings book - under an ISBN reference and on digital support - and
submitted for indexation by Thomson Reuters Conference Proceedings
Citation Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index),
Scopus, Semantic Scholar and Google Scholar.
SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and
every paper is given a DOI (Digital Object Identifier). All papers presented
at the conference venue will be available at the SCITEPRESS Digital Library
SCIENCE OF COMPUTER PROGRAMMING SPECIAL ISSUE ON APPLICATION-ORIENTED ASPECTS OF GRAPH TRANSFORMATION
Call for Papers
http://icgt2020.di.unipi.it/special-issue/
* IMPORTANT DATES
Deadline for Submissions: December 20, 2020:
First Review Notification: March 31, 2021
* SCOPE AND TOPICS
The use of graphs and graph-like structures as a formalism for specification
and modelling is widespread in all areas of computer science as well as in
many fields of computational research and engineering. Relevant examples
include software architectures, pointer structures, state space graphs,
control/data flow graphs, UML and other domain-specific models, network
layouts, topologies of cyber-physical environments, and molecular structures.
Often, these graphs undergo dynamic change, ranging from reconfiguration
and evolution to various kinds of behaviour, all of which may be captured by
rule-based graph manipulation. Thus, graphs and graph transformation form
a fundamental universal modelling paradigm that serves as a means for formal
reasoning and analysis, ranging from the verification of certain properties
of interest to the discovery of fundamentally new insights.
This special issue focuses on application-oriented aspects of graphs and
graph transformation. Topics of interest include but are not limited to:
- Analysis and verification of graph transformation systems
- Automata on graphs and parsing of graph languages
- Structuring and modularization of graph transformation
- Hierarchical graphs and decomposition of graphs
- Parallel, concurrent, and distributed graph transformation
- Term graph and string diagram rewriting
- Petri nets and other models of concurrency
- Business process models and notations
- Graph databases and graph queries
- Model-driven development and model transformation
- Model checking, program analysis and verification, simulation and animation
- Syntax, semantics and implementation of programming languages, including domain-specific and visual languages
- Graph transformation languages and tool support
- Efficient algorithms (e.g. pattern matching, graph traversal, network analysis)
- Applications and case studies in software engineering (e.g. software architectures, refactoring, access control, and service-orientation)
- Applications to computing paradigms (e.g. bio-inspired, quantum, ubiquitous, and visual)
* GUEST EDITORS
- Timo Kehrer, Humboldt-Universität zu Berlin (Germany), timo.kehrer@informatik.hu-berlin.de
- Fabio Gadducci, University of Pisa (Italy), fabio.gadducci@unipi.it
* PAPER SUBMISSION
Manuscripts should be submitted through the Editorial Manager:
https://ees.elsevier.com/scico/default.asp
When submitting the manuscript for this special issue, please select
"SI: ICGT 2020" as the article type. Formatting of the manuscripts should
adhere to Elsevier's article class: https://ctan.org/tex-archive/macros/latex/contrib/elsarticle
Further information on the special issue is available online at
http://icgt2020.di.unipi.it/special-issue/
SPECIAL ISSUE ON REASONING ABOUT SOCIAL NETWORKS (JOURNAL OF LOGIC AND COMPUTATION)
* CONTEXT
Following a successful workshop at ECAI2020 (https://netreason.w.uib.no/)
we invite submissions for a Special Issue on Reasoning about Social Networks
in the Journal of Logic and Computation.
* TOPICS
The special issue focuses on the issues of information spread in a social
networks of natural and artificial agents, as studied by the emerging
interdisciplinary field of multi-agent systems, logic and social network
analysis. The topics of the workshop include but are not limited to:
- Logic based models of social networks phenomena
- Epistemic models on graphs
- Strategic behaviour in opinion diffusion
- Computational issues in opinion diffusion
- Computational Trust
- Collective information distortions and how to prevent them
- Model checking and verification of social network phenomena
All papers will be peer reviewed according to the standards of the Journal.
Authors of submissions might also be asked to review a paper.
* SUBMISSIONS
Submissions are to be sent to all the guest editors, written in English
and formatted in LaTeX. Please communicate with the editors your interest
to submit.
* IMPORTANT DATES
31st December 2020: Submission Deadline
15th March 2021: Reviews
1st May 2021: Revised versions
1st July 2021: Second Revision
1st September 2021 : Intended Publication (Online First)
* EDITORS
Giuseppe Primiero
Marija Slavkovik
Sonja Smets
CiE 2021: CONNECTING WITH COMPUTABILITY
Call for Papers
5-9 July 2021
http://www.CiE2021.ugent.be
(due to the current pandemic CiE 2021 will be held as a virtual conference)
* SERIES
CiE 2021 is the seventeenth conference organized by the Association
Computability in Europe. The /Computability in Europe/ conference (CiE)
series has built up a strong tradition for developing a scientific program
which is interdisciplinary at its core bringing together all aspects of computability
and foundations of computer science, as well as the interplay of these theoretical
areas with practical issues in CS and other disciplines such as biology,
mathematics, history, philosophy, and physics. For more information about
the CiE conferences and the Association CiE, please have a look at:
https://www.acie.eu/. CiE 2021 will be the second CiE conference that is
organized as a virtual event and aims at a high-quality meeting that allows
and invites active participation from all participants. It will be hosted virtually
by Ghent University.
* PLENARY SPEAKERS
Laura Crosilla (University of Oslo, Norway)
Markus Lohrey (Universität Siegen. Germany)
Russell Miller (tutorial speaker, CUNY, US)
Joan Rand Moschovakis (UCLA, US)
Joël Ouaknine (Max Planck Institute for software systems, Germany)
Christine Tasson (tutorial speaker, Université Paris Diderot, France)
Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan)
Henry Yuen (University of Toronto, Canada)
* SPECIAL SESSIONS
/Classical Computability theory: Open problems and solutions/
Noam Greenberg (Victoria University of Wellington, New Zealand) and
Steffen Lempp (University of Wisconsin)
/Proof theory and computation/
David Fernández Duque (Ghent University, Belgium) and Juan Pablo
Aguilera (Ghent University, Belgium)
/Quantum computation and information/
Harry Buhrman (Universiteit van Amsterdam, Netherlands) and Frank
Verstraete (Ghent University, Belgium)
/Church's thesis in constructive mathematics (HaPoC session)/
Marianna Antonutti-Marfori (Ludwig-Maximilians-Universität München, Germany)
and Alberto Naibo (Université Paris 1 Panthéon-Sorbonne)
/Computational geometry/
Maike Buchin (Ruhr-Universität Bochum, Germany) and Maarten Löffler
(Utrecht University, Netherlands)
/Computational Pangenomics/
Nadia Pisanti (University of Pisa, Italy) and Solon Pissis (University of
Amsterdam, Netherlands)
* WOMEN IN COMPUTABILITY
The Computability in Europe conference series has a long tradition in
setting up a Women in Computability program. For CiE 2021 we plan
a Women in Computability workshop combined with an online mentoring
program. For more details on the Special Interest Group Women in
Computability, see:
https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/
* IMPORTANT DATES:
Deadline for article registration (abstract submission): January 17, 2021
Deadline for article submission: February 5, 2021
Notification of acceptance: April 13, 2021
Final versions due: April 27, 2021
Deadline for informal presentations submission: May 1, 2021
The notifications of acceptance for informal presentations will be sent
a few days after submission.
* ORGANIZED BY
Department of Mathematics WE16, Ghent University
* ORGANIZING COMMITTEE
Juan Pablo Aguilera (Ghent University)
David Bélanger (Ghent University)
Liesbeth De Mol (CNRS, Université de Lille)
David Fernández-Duque (chair, Ghent University)
Fedor Pakhomov (Ghent University)
Frederik Van De Putte (Ghent University)
Andreas Weiermann (Ghent University)
* SUBMISSION
The Programme Committee cordially invites all researchers (European and
non-European) to submit their papers in computability related areas for
presentation at the conference and inclusion in the proceedings. Papers
building bridges between different parts of the research community are
particularly welcome. Papers should be in English and anonymized. They
must be submitted in PDF format, using the LNCS style and should have
a maximum of 10 pages, including references but excluding a possible
appendix in which one can include proofs and other additional material.
Authors should submit their papers electronically using EasyChair:
https://easychair.org/conferences/?conf=cie2021
The CONFERENCE PROCEEDINGS will be published with LNCS,
Springer Verlag.
* INFORMAL PRESENTATIONS:
Continuing the tradition of past CiE conferences, in addition to the formal
presentations based on the LNCS proceedings volume, CiE 2021 will host
a track of informal presentations, that are prepared very shortly before
the conference and inform the participants about current research and
work in progress.
* PROGRAM CHAIRS
Liesbeth De Mol (CNRS, Université de Lille, PC co-chair)
Andreas Weiermann (Ghent University, PC co-chair)
VARIOUS PH.D. POSITIONS IN ALGORITHMS, VERIFICATION, AND LOGIC (RWTH AACHEN UNIVERSITY)
Call for Applications
Deadline for applications: October 30, 2020
Starting date positions: January-June 2021
https://unravel.rwth-aachen.de/
* The RWTH Aachen University is looking for enthusiastic and highly
qualified doctoral researchers. Various positions are open within
the Research Training Group (RTG) UnRAVeL. The key emphasis of an
RTG is on the qualification of doctoral researchers with a focused
research program and a structured training strategy. UnRAVeL aims
to significantly advance probabilistic modelling and analysis for
uncertainty by developing new theories, algorithms, and tool-sup-
ported verification techniques, and to apply them to core problems
from security, planning, and railway engineering.
* Application details are available on the web page.
* Involved supervisors: Martin Grohe, Erich Grädel, Erika Abraham,
Jürgen Giesl, Joost-Pieter Katoen, Christof Löding, Britta Peis,
Gerhard Woeginger, Gerhard Lakemeyer, Ulrike Meyer, Nils Niessen,
and Christina Büsing.
Back to the LICS web page.