Seminarium:

Seminarium Zakładu Lingwistyki Matematycznej i Teorii Współbieżności odbywa się we wtorki o godzinie 12.15 w sali L8 (lub pokoju D307).

Najbliższe seminarium:

??.10.2010, godz. 12.15, L8

• Wspomnienia z wakacji (PETRINETS, SMI)

Inne aktualności:

• 19 - 23 lipca
  Warsztaty MASYW 2010 - Matematyczne Metody Modelowania i Analizy Systemów Współbieżnych, Tleń, Polska
  Dostępny jest już program warsztatów.
• 23-25 września
  SMI2010 - V Sejmik Młodych Informatyków, Międzyzdroje, Polska
  • Ł. Mikulski
     
     

Kierownik:

• dr hab. Edward Ochmański, prof. UMK

Pracownicy:

• prof. dr hab. Wojciech Rytter
• dr Barbara Klunder
• dr Krystyna Stawikowska
• mgr Kamila Barylska
• mgr Łukasz Mikulski
• mgr Marcin Piątkowski

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).

Granty realizowane aktualnie:

• Grant zespołowy MNiSW Matematyczne metody modelowania i analizy systemów współbieżnych, kierownik Edward Ochmański.

Granty zrealizowane:

• 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.
  

• Joanna Jółkowska, Etyka procesów sieci Petriego w świetle teorii śladów, 2008 na UW.
• Krystyna Stawikowska, Języki regularne indukujące rozpoznawalne i bezgwiazdkowe języki śladów, 2007 na UW z wyróżnieniem.

Rok 2010:

• K. Barylska, Ł. Mikulski, E. Ochmański, On Persistent Reachability in Petri Nets, Proc. of the APNOC'2010 Workshop, pp. 1-12.
• B. Klunder, W. Rytter, Post Correspondence Problem with Partially Commutative Alphabets, LNCS 6031, pp. 356-357.

Rok 2009:

• P. Baturo, M. Piątkowski, W. Rytter, Usefulness of Directed Acyclic Subword Graphs in Problems Related to Standard Sturmian Words, IJoCS 20(6), pp. 1005-1023.
• P. Baturo, W. Rytter, Compressed string-matching in standard Sturmian words, TCS 410, pp. 2804-2810.
• K. Barylska, Ł. Mikulski, E. Ochmański, Nonviolence Petri Nets, Proc. of CS&P'09, pp. 50-59.
• K. Barylska, E. Ochmański, Levels of Persistency in Place/Transition Systems, FI 93, pp. 33-43.
• Ł. Mikulski, Internal Conflict-Free Projection Sets, AISC 59, pp. 497-504.
• Ł. Mikulski, P. Weichbroth, Discovering Patterns of Web Page Visits from the Association Rules Veiwpoint, PJoES 18(3B), str. 267-271.
• M. Piątkowski, W. Rytter, Asymptotic Behaviour of the Maximal Number of Squares in Standard Sturmian Words, Proc. of PSC'09, pp. 237-248.

 Rok 2010:

• 21-25 czerwca
  PETRI NETS 2010 - 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Braga, Portugalia
  • Ł. Mikulski, K. Barylska, E. Ochmański, referat On Persistent Reachability in Petri Nets
• 24-28 maja
  LATA'10 - IV International Conference on Language and Automata Theory and Applications, Trier, Niemcy
  • W. Rytter, referaty (współautorka B. Klunder) Post Correspondence Problem with Partially Commutative Alphabets oraz (współautorzy M. Crochemore, C. Iliopoulos, M. Kubica, J. Radoszewski, T. Waleń) On the Maximal Number of Cubic Runs in a String
• 22-25 kwietnia
  FIT'10 - XXIV Forum Informatyki Teoretycznej, Zakopane, Polska
  • Ł. Mikulski, referat Konflikty w sieciach Petriego
  • M. Piątkowski, referat Powtórzenia w wybranych podklasach słów
• 9-11 kwietnia
  PCM'10 - Podlasie Conference on Mathematics, Białystok, Polska
  • K. Barylska, referat Levels of Persistency in Place/Transition Nets
  • M. Piątkowski, referat Repetitions in Words - a Brief Survey
• 24 marca
  Wydziałowe Święto Nauki, Toruń, Polska
  • Ł. Mikulski, referat Sieci Petriego z bezkonfliktowymi regułami działania
  • K. Barylska, B. Klunder, E. Ochmański, M. Piątkowski (bez referatu)
• 10-12 lutego
  IBiZa'10 - Informatyka, Badania i Zastosowania, Kazimierz Dolny, Polska
  • K. Barylska, referat Sieci bez przemocy
  •   Ł. Mikulski, referat Usuwanie artefaktów w wykrywaniu wzorców zachowań użytkowników stron WWW
  • M. Piątkowski, referat Badanie struktury powtórzeń w słowach

Rok 2009:

• 28-30 września
  CS&P'09 - Concurrency, Specification and Programming, Kraków, Polska
  • Ł. Mikulski, K. Barylska, E Ochmański, referat Nonviolence Petri Nets [materiały konferencyjne]
  • M. Piątkowski (bez referatu)
• 25-27 września
  ICMMI - International Conference on Man-Machine Interactions, Kocierz, Polska
  
  • Ł. Mikulski, referat Internal Conflict-Free Projection Sets
    
• 5-8 września
  SMI'09 - IV Sejmik Młodych Informatyków, Międzyzdroje, Polska
  • Ł. Mikulski (współautor P. Weichbroth), plakat Odkrywanie wzorców wizyt na stronach internetowych w ujęciu modeli asocjacyjnych

• 31 sierpnia - 2 września
  PSC'09 - XIV Prague Stringology Conference, Praga, Czechy
  • M. Piątkowski, W. Rytter, referat Asymptotic Behaviour of the Maximal Number of Squares in Standard Sturmian Words
  • K. Barylska, Ł. Mikulski (bez referatu)