Wednesday, August 16, 2023

[DMANET] Final CfP SOFSEM 2024, Abstract Deadline August 28th, 2023

==================================================

49th International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 2024 in Cochem, Germany: February 19-23, 2024, organized by the University of Trier.

Homepage: https://www.uni-trier.de/index.php?id=90670&L=2

==================================================

SOFSEM has a special focus on Foundations of Computer Science and AI, in particular algorithms, AI-based methods, computational complexity, and formal models. For more information about SOFSEM, we refer to http://www.sofsem.cz/.
==================================================
Important Dates

*
August 28th, 2023, AoE: abstract deadline
*
September 1st, 2023, AoE: full paper deadline
*
mid-November, 2023: author notification

==================================================
News

* We welcome submissions of original research in Foundations of Computer Science and AI, formatted using LNCS style: at most 14 pages (including references) plus a clearly marked appendix. Firm abstract deadline: August 28th, 2023; full papers must be submitted until September 1st, 2023. The reviewing is single-blind. Easychair submission server: <https://easychair.org/conferences/directory?a=31466484> https://easychair.org/conferences/?conf=sofsem2024.

* We plan to have a Special Issue with the renowned Journal of Computer and System Sciences (approval pending) or a similar journal.

* All invited Speakers announced the prospective titles of their talks.

* SOFSEM 24 proceedings will be published in the ARCoSS subline of LNCS.

* There will be a Best Paper and a Best Student Paper Award sponsored by Springer.

==================================================

Invited Speakers

*
Edith Elkind, Univ. Oxford, UK: Fairness in Multiwinner Voting
*
Sevag Gharibian, Univ. Paderborn, Germany: Quantum algorithms and complexity theory: Does theory meet practice?
*
Rob van Glabbeek, Univ. Edinburgh, UK & Stanford Univ., USA & UNSW, AUS: Modeling Time Qualitatively in Process Algebra and Concurrency Theory
*
Markus L Schmid, HU Berlin, Germany: The Information Extraction Framework of Document Spanners - An Overview of Concepts, Results, and Recent Developments
*
Sandra Zilles, Univ. Regina, Canada: Machine Teaching - A Combinatorial Approach to Machine Learning from Small Amounts of Data

==================================================

Program Chairs

*
Henning Fernau, Univ. Trier, Germany
*
Serge Gaspers, UNSW Sydney, Australia
*
Ralf Klasing, CNRS, Univ. Bordeaux, France


==============================

List of topics:

* algorithmic game theory

* algorithmic learning theory

* approximation algorithms

* automata theory

* coding theory

* combinatorics, including polyhedral combinatorics

* complexity theory

* computational biology

* computational geometry

* computational models and computability

* computational statistics

* data compression: algorithms and theory

* database theory

* discrete structures

* distributed algorithms

* formal languages

* formal methods

* foundations of artificial intelligence

* foundations of machine learning

* games: algorithmic and complexity aspects

* grammatical inference

* graph algorithms, including applications like graph drawing

* graph theory

* information retrieval

* information theory

* kernelization algorithms

* logic in computer science

* network science

* neural networks theory

* online algorithms

* quantum algorithms and computing

* parallel computing

* parameterized algorithms

* probabilistic methods

* randomized algorithms

* reconfiguration and reoptimization

* self-organizing systems

* string algorithms

========================================


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************