[CPM-SPIRE-L] Prepare your papers for SOFSEM 2024

Tue Jul 4 08:10:11 PDT 2023

==================================================
49th International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 2024 in Cochem, Germany:  February 19-23, 2024.
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: abstract deadline (firm)
September 1st, 2023: full paper deadline (firm)
mid-November, 2023: author notification
==================================================
News
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
========================================

________________________________
Von: Fernau, Henning, Univ.-Prof. Dr.
Gesendet: Dienstag, 4. Juli 2023 17:09:16
An: dmanet at zpr.uni-koeln.de; podc-related at listserv.acm.org; cpm-spire-l at lists.cs.ucr.edu; grammarlearning at liste.lis-lab.fr; reconf at lists.uwaterloo.ca; diskrete-mailingliste at mathematik.de; gdnet at graphdrawing.org; compgeom-announce at inria.fr
Betreff: AW: Prepare your papers for SOFSEM 2024

SORRY: PLEASE IGNORE THE PREVIOUS MESSAGE!

I forgot some lines in the beginning!

I will re-send a new message with EVERYTHING.

Best regards,

Henning

________________________________
Von: Fernau, Henning, Univ.-Prof. Dr.
Gesendet: Dienstag, 4. Juli 2023 17:04:47
An: dmanet at zpr.uni-koeln.de; podc-related at listserv.acm.org; cpm-spire-l at lists.cs.ucr.edu; grammarlearning at liste.lis-lab.fr; reconf at lists.uwaterloo.ca; diskrete-mailingliste at mathematik.de; gdnet at graphdrawing.org; compgeom-announce at inria.fr
Betreff: Prepare your papers for SOFSEM 2024

==================================================
News
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
========================================

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://fenris.cs.ucr.edu/pipermail/cpm-spire-l/attachments/20230704/b5288bea/attachment.html>