Aktualności

Seminarium:

Seminarium Zakładu Lingwistyki Matematycznej i Teorii Współbieżności odbywa się 
co drugi wtorek (na zmianę z Seminarium Informatycznym)
o godzinie 12.15 w sali PM3 (lub w pokoju E309).

 

Najbliższe seminarium:

3.10.2017, godz. 12.30 (PM3)

  • Anna Gogolińska / Łukasz Mikulski - Kolorowane sieci Petriego - wprowadzenie na przykładzie modelu dostępu do pamięci 
     

Inne aktualności:

 

Skład osobowy

Katedra Informatyki


kierownik: dr hab. Piotr Wiśniewski, prof. UMK

dr Kamila Barylska
dr Dariusz Borkowski
dr Marta Burzańska
dr Michał Chlebiej
dr Anna Gogolińska
dr Anna Beata Kwiatkowska
dr Łukasz Mikulski
dr Jakub Narębski
dr Marek Nowicki
dr Marcin Piątkowski
dr Piotr Przymus
dr Krzysztof Rykaczewski
dr Andrzej Sendlewski
dr Błażej Zyglarski
mgr Andrzej Polewczyński
mgr Andrzej Rutkowski

Nagrody i granty

Nagrody:

  • Nagroda zespołowa III stopnia JM Rektora UMK w roku 2005 (zespół w składzie E.Ochmański, B.Klunder, J.Pieckowska, K.Stawikowska).
  • Nagroda indywdualna IV stopnia JM Rektora UMK w roku 2008 za wyróżniającą się rozprawę doktorską dla K.Stawikowskiej.
  • Nagroda zespołowa III stopnia JM Rektora UMK w roku 2009 (zespół w składzie E.Ochmański, B.Klunder, K. Barylska, Ł. Mikulski, M. Piątkowski).
  • Nagroda zespołowa III stopnia JM Rektora UMK w roku 2014 (zespół w składzie Ł. Mikulski, K. Barylska, M. Piątkowski).
  • Stypendium JM Rektora UMK w roku 2017 za wysoko punktowaną publikację naukową An extension of the taxonomy of persistent and nonviolent steps dla Ł. Mikulskiego.
  • Nagroda zespołowa II stopnia JM Rektora UMK w roku 2017 (zespół w składzie Ł. Mikulski, K. Barylska, M. Piątkowski). 

Granty realizowane aktualnie:

  • Grant studencki w ramach projektu Najlepsi z Najlepszych 2.0, opiekun zespołu Łukasz Mikulski.

Granty zrealizowane:

  • Grant zespołowy NCN (program SONATA) Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych, kierownik Łukasz Mikulski
  • Grant studencki w ramach projektu Generacja Przyszłości, opiekun zespołu Łukasz Mikulski.
  • Półroczne stypendium podoktorskie w projekcie WZROST, stypendyści Kamila Barylska i Marcin Piątkowski.
  • Półroczne stypendium podoktorskie (przedłużone o dodatkowy miesiąc) w projekcie WZROST, stypendysta Łukasz Mikulski.
  • Półroczne stypendia naukowe (przedłużone od dodatkowe trzy miesiące) dla młodych doktorów Instytutu Podstaw Informatyki Polskiej Akademii Nauk, stypendyści Kamila Barylska, Łukasz Mikulski, Marcin Piątkowski.
  • Grant zespołowy MNiSW Matematyczne metody modelowania i analizy systemów współbieżnych, kierownik Edward Ochmański.
  • Grant promotorski MNiSW Etyka procesów sieci Petriego w świetle teorii śladów, kierownik Edward Ochmański, wykonawca Joanna Jółkowska.
  • Grant promotorski MNiSW Języki regularne indukujące rozpoznawalne języki śladów, kierownik Edward Ochmański, wykonawca Krystyna Stawikowska.

Doktoraty

Publikacje

Rok 2014:

  • M. Piątkowski, W. Rytter, Computing the Number of Cubic Runs in Standard Sturmian WordsDiscrete Applied Mathematics 163, pp. 361-372.
  • Ł. Mikulski, M. Koutny, Folded Hasse Diagrams of Combined Traces, Information Processing Letters 114(4), pp. 208-216.
  • Ł. Mikulski, A. Niewiadomski, M. Piątkowski, S. Smyczyński Generating CA-Plans from Multisets of Services, Proceedings of PNSE'14, CEUR-WS vol. 1160, pp. 347-348.
  • K. Barylska Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics, Proceedings of PNSE'14, CEUR-WS vol. 1160, pp. 325-330.

Rok 2013:

  • M. Koutny, Ł. Mikulski, M. Pietkiewicz-Koutny, A Taxonomy of Persistent and Nonviolent Steps, Proceedings of Petri Nets 2013 Conference, LNCS 7927, pp. 210-229.
  • Ł. Mikulski, Algebraic Structure of Combined Traces, Logical Methods in Computer Science 9(3:8), pp. 1-26.
  • Ł Mikulski, M. Piątkowski, S. Smyczyński: Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended). Scientific Annals of Computer Science 23(2), pp. 229-249
  • R. Janicki, J. Kleijn, M. Koutny, Ł. Mikulski, Causal Structures for General Concurrent Behaviours, Proceedings of CS&P 2013 Conference, pp. 193-205.
  • Ł. Mikulski, M. Piątkowski, S. Smyczyński, Lexicographical Generations of Combined Traces, Proceedings of 13th ACSD Conference, pp. 196-205.
  • K. Barylska, Ł. Mikulski, E. Ochmański, On Persistent Reachability in Petri Nets, Information and Computation 223, pp. 67-77.
  • M. Nowicki, Ł. Mikulski, M. Piątkowski, R. Kluszczyński, P. Bała, On-line contests hosting service as a tool to teach computer science students programming, Proceedings of WCCE, pp. 61-71.
  • M. Piątkowski, The Sum of Exponents of Maximal Repetitions in Standard Sturmian Words, Proceedings of PSC 2013, 48-62.
  • P. Baturo, M. Piątkowski, W. Rytter, The maximal number of runs in standard Sturmian words, The Electronic Journal of Combinatorics 20(1), pp. 1-22.
  • Ł. Mikulski, M. Piątkowski, Visualisation of concurrent processes, Control an Cybernetics 42(3), pp. 699-725.

Konferencje

Rok 2015

 

28-30 września

CS&P2015, Rzeszów, Polska

  • K. Barylska On Decidability of Persistence Notions (współautor Ł. Mikulski)

23-25 września

LAMAS Seminar on Interaction, Gdańsk, Polska

  • Ł. Mikulski, wykład zaproszony Generalizing Mazurkiewicz Traces

27-30 lipca

DLT 2015, Liverpool, Wielka Brytania

  • M. Piątkowski, referat Diverse Palindromic Factorization in NP-Complete

30 czerwca – 1 lipca

XII Konferencja IwE, Toruń, Polska

  • D. Kurpiewski, współprowadzenie warsztatów Propozycja zastosowania systemów BLOCKLY w nauczaniu informatyki

29 czerwca -1 lipca,

CPM 2015, Ischia, Włochy

  • M. Piątkowski, referat Tighter bounds for the sum of irreducible LCP values

21-26 czerwca

Petri Nets 2015, ACSD 2015, ATAED 2015, Bruksela, Belgia

  • K. Barylska, Ł. Mikulski, M. Piątkowski, referat On binary words being Petri net solvable (współautorzy  Eike Best, Evgeny Erofeev) (ATAED)

20-21maja

VII Dni e-Biznesu, Toruń, Polska

  • D. Kurpiewski, referat  Innowacyjne, zbliżeniowe wizytówki

2-6 marca

LATA2015, Nicea, Francja

  • Ł. Mikulski, referat Order structures for subclases of generalised traces (współautorzy . Janicki, J. Kleijn, M. Koutny)
  • Ł. Mikulski, M. Piątkowski, referat Square-free words over partially commutative alphabets współautor W. Rytter)

 

Rok 2014

 

 1-2 września

Workshop on Formal Methods in the Development of Software, Grenoble, Francja

  • Ł. Mikulski, M. Piątkowski, referat On generation of context-abstract plans (współautor S. Smyczyński)

23-27 czerwca

Petri Nets 2014, ACSD 2014, PNSE 2014, Tunis, Tunezja

  • K. Barylska, referat Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics (PNSE)
  • Ł. Mikulski (współautorzy A. Niewiadomski, M. Piątkowski, S. Smyczyński), plakat Generating CA-Plans from Multisets of Services (PNSE)

25-27 kwietnia

FIT 2014, Jarnołtówek, Polska

  • M. Piątkowski, referat Powtórzenia w słowach sekwencyjnych i współbieżnych

19-21 marca

Horyzonty matematyki 2014, Będlewo, Polska

  • Ł. Mikulski, M. Piątkowski, referat Badanie regularności w słowach - przypadek sekwencyjny

 

Rok 2013

 

18-20 września

SMI 2013, Szczecin, Polska

  • M. Piątkowski (współautor Ł. Mikulski), referat Visualisation of concurrent processes

3-8 września

CSP 2013, Warszawa, Polska

  • Ł. Mikulski (współautorzy R. Janicki, J. Kleijn, M. Koutny), referat Causal Structures for General Concurrent Behaviours

2-4 września

PSC 2013 Prague Stringology Conference, Praga, Czechy

  • M. Piątkowski, referat The Sum of Exponents of Maximal Repetitions in Standard Sturmian Words

8-10 lipca

ACSD 2013, Barcelona, Hiszpania

  • M. Piątkowski (współautorzy Ł. Mikulski, S. Smyczyński), referat Lexicographical Generations of Combined Traces
  • Ł. Mikulski, członek PC

24-28 czerwca

Petri Nets 2013, Mediolan, Włochy

  • Ł. Mikulski (współautorzy M. Koutny, M. Pietkiewicz-Koutny), referat A Taxonomy of Persistent and Nonviolent Steps

11-14 kwietnia

FIT 2013, Toruń, Polska

  • K. Barylska, Ł. Mikulski, M. Piątkowski, organizatorzy