The track is devoted to the recognized core areas of foundational computer science including the theories and application of algorithms and their complexity, automata and languages, computability, data analytics, formal models, intelligent systems, programming semantics, science–inspired computing and foundations of information and software systems. Original contributions showing the value of fundamental research in areas like artificial intelligence and data science are welcome as well.<br>Topics include (but are not limited to):<br>algorithms (incl. game–theoretic, geometric, network, graph, parametrized, exact, approximation, randomized, evolutionary and online algorithms)<br>automata, languages, and rewriting systems<br>bio–inspired computing<br>combinatorial optimization and simulation<br>complexity theory (incl. computational, descriptional, fine–grained, and parametrized complexity)<br>computability and decidability<br>cryptographic algorithms and security<br>data structures<br>experimental algorithmics<br>formal models of systems (incl. concurrent, hybrid, reactive, mobile, timed, and stochastic processes and systems)<br>foundations of agent systems and artificial intelligence<br>graphs and networks<br>machine learning<br>non–classical models of computing (incl. computing by nature, cellular automata, neural computing, cognitive computing, nano–computing, self–assembly)<br>parallel and distributed computing<br>physics of computation<br>quantum computation and quantum information<br>theory of databases, semi–structured data, and finite model theory<br>theory of programming languages<br>
Abbrevation
SOFSEM
City
Krems
Country
Austria
Deadline Paper
Start Date
End Date
Abstract