Jump to content

Draft:International Conference on Current Trends in Theory and Practice of Computer Science

From Wikipedia, the free encyclopedia
International Conference on Current Trends in Theory and Practice of Computer Science
AbbreviationSOFSEM
DisciplineTheoretical Computer Science
Publication details
Publisher
History1974–
Frequencyannual

The International Conference on Current Trends in Theory and Practice of Computer Science, commonly known as SOFSEM (orig. SOFtware SEMinar), is an annual academic conference focused on the latest advancements of research in the theoretical foundations of computer science and artificial intelligence.

History

[edit]

SOFSEM was established in 1974, initially as a professional seminar for computer scientists and software specialists in former Czechoslovakia.[1] Over time it evolved into an international research conference focused on both theoretical and practical aspects of leading subareas of computer science. Since 1993 SOFSEM alternated between the Czech and Slovak Republics,[2] and since 2016 it is held in other countries across Europe as well.[3] As of 2023, SOFSEM is devoted entirely to the algorithms and formal modelings in theoretical computer science and related subareas of AI.[4]

Proceedings

[edit]

The annual proceedings of SOFSEM are published in the series Lecture Notes in Computer Science (LNCS) by Springer since 1995.[1] The proceedings are indexed in several bibliographic collections, notably in the ACM Digital Library, DBLP, and zbMATH Open.

See also

[edit]

References

[edit]
  1. ^ a b Foreword, in: M. Bartoušek, J. Staudek, J. Wiedermann (Eds.), SOFSEM '95: Theory and Practice of Informatics, Proceedings 22nd Seminar, Lecture Notes in Computer Science, Vol. 1012, Springer, 1995, pp. v-vi.
  2. ^ Brief history of SOFSEM, at the official SOFSEM homepage. Retrieved on 16 September 2024.
  3. ^ Recent SOFSEM conferences, listed at the official SOFSEM homepage. Retrieved on 16 September 2024.
  4. ^ Preface, in: L. Gąsieniec (Ed.), SOFSEM 2023: Theory and Practice of Computer Science, Proceedings 48th International Conference, Lecture Notes in Computer Science, Vol. 13878, Springer, 2023, pp. v-vi.
[edit]