MATCOS-25 bo organiziran skupaj s 28. multikonferenco o informacijski družbi (28th Multi-Conference on Information Society), ki bo potekala od 6. do 10. oktobra 2025 v Ljubljani.

V zadnjih letih so tudi druga področja uporabila več vsebin, metod in pristopov teoretičnega računalništva, številni rezultati pa so bili vključeni v praktične namene. Rešitve za NP-težke probleme, algoritmično usmerjena umetna inteligenca in podatkovna znanost, novi modeli in metode v sistemski biologiji in bioinformatiki, pristopi teorije avtomatov pri preverjanju programske in strojne opreme, praktične rešitve kvantnega računalništva in razvoj drugih perspektivnih novih modelov računanja so dobri primeri, ki podpirajo navedeno.

Slavnostni govorec: Michel Bierlaire, École Polytechnique Fédérale de Lausanne (EPFL), Švica

Konferenca ima dva cilja: pridobiti ideje in rešitve s področja teoretičnega računalništva, ki so bile neposredno uporabljene v resničnih aplikacijah ter zbrati teoretične rezultate, ki temeljijo na plodovitih idejah in bi jih bilo mogoče uporabiti pri praktičnih problemih.

Predlagane (a ne izključne) teme vključujejo:

• avtomati in formalni jeziki, izračunljivost,
• algoritmi in podatkovne strukture,
• računska zahtevnost,
• umetna inteligenca, strojno učenje,
• optimizacija, aproksimacijske metode, NP-težki problemi,
• teorija grafov,
• računalniška geometría.

Poseben poudarek je tudi na uporabi pristopov umetne inteligence ter na aplikacijah, kot so simulacija, bioinformatika, obdelava digitalnih signalov in slik, podatkovne vede, digitalna forenzika, logistika, pametni domovi/mesta, internet stvari (IoT), računalniške družbene vede ipd.