Seminarium:

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

Najbliższe seminarium:

17.04.2012, godz. 12.15

• Próba generalna przed FITem
   

Inne aktualności:

• XXVI Forum Informatyki Teoretyczej, 19-22.04.2012, Zakopane.
• 12th International Conference on Application of Concurrency to System Design, 25-29.06.2012, Hamburg.

Kierownik:

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

Pracownicy:

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

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:

• Stypendia naukowe dla młodych doktorów Instytutu Podstaw Informatyki Polskiej Akademii Nauk, stypendyści Kamila Barylska, Łukasz Mikulski, Marcin Piątkowski.

Granty zrealizowane:

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

• Łukasz Mikulski, Procesy nieskończone systemów współbieżnych, 2012, w UW.
• Marcin Piątkowski, Efficient algorithms related to combinatorial structure of words, 2011, w UW.
• Kamila Barylska, Trwałość i bezkonfliktowość w sieciach Petriego, 2011 w IPI PAN.
• Joanna Jółkowska, Etyka procesów sieci Petriego w świetle teorii śladów, 2008 w UW.
• Krystyna Stawikowska, Języki regularne indukujące rozpoznawalne i bezgwiazdkowe języki śladów, 2007 w UW z wyróżnieniem.

Rok 2012:

• K. Barylska, Ł. Mikulski, E. Ochmański, On Persistent Reachability in Petri Nets, Recent Advances in Petri Nets and Concurrency, pp. 373-384.

Rok 2011:

• R. Kluszczyński, Ł. Mikulski, M. Nowicki, P. Bała, Contests Hosting Service as a tool to teach programming, Annales UMCS Informatica AI IX, pp. 213-224.
• Ł. Mikulski, M. Koutny, Hasse Diagrams of Combined Traces, Technical Report CS-TR-1301.
• S. Kaniewski, Ł. Mikulski, E. Ochmański, Nonviolence Petri Nets without Weights and Selfloops, Matematyczne Metody Modelowania i Analizy Systemów Współbieżnych MASYW 2010, str. 47-59.
• K. Barylska, Ł. Mikulski, E. Ochmański, O klasycznych problemach decyzyjnych w p/t-sieciach, sieciach inhibitorowych i sieciach pokojowych, Matematyczne Metody Modelowania i Analizy Systemów Współbieżnych MASYW 2010, str. 15-26.
• Ł. Mikulski, M. Piątkowski, O maksymalnych powtórzeniach w śladach Mazurkiewicza, Matematyczne Metody Modelowania i Analizy Systemów Współbieżnych MASYW 2010, str. 111-120.
• A. Gogolińska, E. Ochmański, W. Nowak, Petri Nets in Immunological System Modeling, Matematyczne Metody Modelowania i Analizy Systemów Współbieżnych MASYW 2010, str. 35-46.
• B. Klunder, W. Rytter, Post Correspondence Problem with Partially Commutative Alphabets, Matematyczne Metody Modelowania i Analizy Systemów Współbieżnych MASYW 2010, str. 60-71.
• Ł. Mikulski, Transposition Rearrangement: Linear Algorithm for Length-Cost Model, Annales UMCS Informatica AI IX, pp. 7-13.
• Ł. Mikulski, Transposition Rearangement in Weighted Length Cost Model, Studia i Materiały Polskiego Towarzystwa Zarządzania Wiedzą 42, pp. 114-124.
  

 Rok 2011:

• 29-31 sierpnia
  PSC 2011 Prague Stringology Conference, Praga, Czechy
  • Ł. Mikulski, referat Algorithmics of Posets Generated by Words over Partially Commutative Alphabets
  • M. Piątkowski, referat Computing the Number of Cubic Runs in Standard Sturmian Words

• 20-24 czerwca
  Petri Nets 2011, Newcastle, Wielka Brytania
  • K. Barylska, Ł. Mikulski, udział

• 8-11 kwietnia
  FIT'11 XXV Forum Informatyki Teoretycznej, Gdańsk, Polska
  • K. Barylska (współautor E. Ochmański), referat Hierarchia e/l-trwałości
  • S. Smyczyński, Ł. Mikulski, M.Piątkowski, referat Algorytmika posetów generowanych przez słowa nad alfabetami częściowo przemiennymi