Sixth Conference on Software Engineering and Information Management
17 April 2021, 11:00 17 April 2021, 11:00
SEIM-2019 Participant
Paper presentation at SEIM-2019 SEIM-2019 badges

SEIM-2019 Conference

Forum for young specialists

The Sixth Conference on Software Engineering and Information Management opens its doors to young researchers and practitioners in different areas of computer science and software engineering, providing an opportunity to present their research, discuss state-of-the-art technology and engage in useful networking.

Learn More
Free registration
CEUR publication

ISSN 1613-0073

RSCI indexation
Best paper award

Areas of Interests

We welcome submissions on a wide range of topics, including, but not limited to:
  • Algorithms and data structures
  • Big data
  • Cloud systems
  • Coding theory
  • Compilers
  • Crowdsourcing
  • Data storage and processing
  • Development management
  • Digital signal processing
  • Distributed systems
  • E-commerce / e-government
  • Empirical software engineering
  • High-performance computing
  • Information retrieval
  • Information security
  • Intelligent data analysis
  • Internet of Things
  • Machine learning
  • Mobile systems
  • Modelling
  • Natural language processing
  • Networks and telecommunications
  • (Non-)relational databases
  • Operating systems
  • Programming languages
  • Recommendation systems
  • Robotics
  • Semantic web
  • Social networks
  • Software analysis
  • Software testing
  • Software verification
  • Software virtualization
  • Software-defined networks
  • Theoretical computer science
  • Visual languages
Mark Batty

Keynote Speaker

Mark Batty
University of Kent

Mark is a Senior Lecturer at the University of Kent, United Kingdom. He develops rigorous mathematical specifications, testing tools, and verification techniques for real-world concurrent systems, focusing on established interfaces (e.g. C, C++ and, OpenCL) and concrete testable artefacts (e.g. x86, Power, ARM CPUs, and Nvidia, AMD GPUs). His interests span a variety of complementary topics including: empirical testing of the behaviour of hardware and compilers, building formal models of parts of the system, the development of algorithms and data-structures that use fine-grained concurrency, and the verification of those pieces of concurrent code.

Important Dates

Participate as

An author

We accept papers written in Russian and English. They all must present original work of the authors and be submitted before 22 February. You are welcome to take part in the poster session as well.

A listener

We welcome everybody to attend the conference. Please fill in the registration form on the website.

Conference Venue

Due to ongoing COVID-19 disease outbreak, the conference might be held online

JetBrains office

68-70 Primorskiy prospekt, St Petersburg, Russia

Paper submissions:

Other questions: