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), firstname.lastname@example.org - Fabio Gadducci, University of Pisa (Italy), email@example.com * 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.