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

Zakład Lingwistyki Matematycznej i Teorii Współbieżności


dr Kamila Barylska
dr Anna Gogolińska
dr Łukasz Mikulski
dr Marcin Piątkowski

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