KBN grant
8 T11C 037 16
Spotkania:
Planowane:
|
10.03.2000, Sopot
|
Marek A. Bednarczyk
O obiektach schizofrenicznych
cd.
|
|---|
Przeszłe:
|
07.03.2000, Sopot
|
Marek A. Bednarczyk
O obiektach schizofrenicznych
Badania prowadzone we współpracy z Philipem Darondeau i Erykiem Badouel.
|
|---|
|
02.03.2000, Sopot
|
Andrzej Borzyszkowski
Zastosowanie metody Rasiowej i Sikorskiego w informatyce
W oparciu o pracę kol. Beaty Konikowskiej.
|
|---|
|
14.01.2000, Gdańsk
|
Peter Mosses z Uniwersytetu w Aarhus (Dania).
Foundations of MSOS
A novel form of labelled transition system is proposed, where the
labels are the arrows of a category, and adjacent labels in
computations are required to be composable. Such transition systems
provide the foundations for modular structural operational semantic
(MSOS) descriptions of programming languages, with the labels having
semantic entities (such as environments and stores) as components.
Bisimulation generally involves relations on labels as well as on
configurations.
Three fundamental ways of transforming label categories, analogous
to monad transformers, are provided, and it is shown that their
applications preserve computations in MSOS. The approach is
illustrated with fragments taken from an MSOS for ML concurrency
primitives.
|
|---|
|
13.01.2000, Sopot
|
Completeness of categories of general Petri net morphisms
Ostateczna wersja pracy
|
|---|
|
10.01.2000, Sopot
|
Andrzej Borzyszkowski
Completeness of categories of general Petri net morphisms
Omówienie przygotowywanej wersji ostatecznej pracy, dalsze wyniki dotyczące
istnienia ekwalizatorów.
|
|---|
|
10.12.99, Sopot
|
Kategoryjne pojęcie otwartości morfizmu
Zastosowanie do otwartych morfizmów systemów tranzycji, badanie dla morfizmów
sieci Petriego, kategorii itd.
|
|---|
|
25.11.99, Sopot
|
Rafał Somla
Dowód twierdzenia o zupełności metodą tableaux.
Dla logiki pierwszego rzędu.
|
|---|
|
19.11.99, Gdańsk
|
Rafał Somla
Dowód twierdzenia o zupełności metodą tableaux.
Omówiono jedynie rachunek zdań, za to również dla logiki temporalnej.
|
|---|
|
19.11.99, Gdańsk
|
Jurek Skurczyński
Logika temporalna, Henessy-Milnera, a morfizmy systemow tranzycji.
Przedstawienie problematyki i problemów do rozpatrzenia.
|
|---|
|
18.11.99, Sopot
|
Wiesiek Pawłowski
Dowód twierdzenia o zupełności.
Omówienie klasycznego wyniku na podstawie Henkina.
|
|---|
|
12.11.99, Sopot
|
Marek Bednarczyk
Logika temporalna, Henessy-Milnera, a morfizmy systemow tranzycji
Przedstawienie problematyki
|
|---|
|
29.10.99, Sopot
|
Marek Bednarczyk
Dowód twierdzenia o zupełności.
Omówienie klasycznego wyniku na podstawie Lyndona.
|
|---|
|
28.10.99, Sopot
|
Andrzej Borzyszkowski
Equalizing Petri Nets Morphisms
Omówienie nowych wyników w w/w pracy.
|
|---|
|
19.10.99, Gdańsk
|
Equalizing Petri Nets Morphisms
Omówienia (wspólnego) wystąpienia na seminarium w IPIPAN Warszawa.
Nowe wyniki w pracy.
|
|---|
|
11.10.99, Sopot
|
Equalizing Petri Nets Morphisms
Przygotowanie (rozszerzonej) wersji na konferencję FOSSAC 2000.
Omówienia wystąpienia na seminarium w IPIPAN Warszawa.
Omówienie dalszej problematyki sieci Petriego.
|
|---|
|
23.09.99, Sopot
|
Rafał Somla
Equalizing Petri Nets Morphisms
Kolejne spotkanie w celu omówienia wystąpienia na CSP'99,
tudzież pracy bieżącej.
|
|---|
|
15.09.99, Sopot
|
Rafał Somla
Equalizing Petri Nets Morphisms
Kolejne spotkanie w celu omówienia wystąpienia na CSP'99,
tudzież pracy bieżącej.
|
|---|
Dawniejsze:
1997-1998
1996-1997
Lista uczestników:
Comments to webmaster@ipipan.gda.pl.
Last modified: 16 September 1999
|