Drugie międzynarodowe warsztaty nt. metainformatyki, Peresław Zaleski, Rosja
1 Lipca 2010 - 1 Lipca 2010
W dniach 1-5 lipca 2010 r. odbędą się w Peresławie Zaleskim, Rosja, drugie międzynarodowe warsztaty nt. metainformatyki.
Wydarzenie będzie oparte na szerokiej interpretacji semantycznego manipulowania programem. Ma zgromadzić ekspertów z dziedziny analizy i manipulowania programowego w oparciu o metainformatykę. Wśród najważniejszych tematów warsztatów należy wymienić:
- superkompilację,
- destylację,
- obliczenia mieszane,
- uogólnione obliczanie częściowe,
- ewaluację częściową.Więcej informacji:
http://meta2010.pereslavl.ru/index.htm(odnośnik otworzy się w nowym oknie)
Wydarzenie będzie oparte na szerokiej interpretacji semantycznego manipulowania programem. Ma zgromadzić ekspertów z dziedziny analizy i manipulowania programowego w oparciu o metainformatykę. Wśród najważniejszych tematów warsztatów należy wymienić:
- superkompilację,
- destylację,
- obliczenia mieszane,
- uogólnione obliczanie częściowe,
- ewaluację częściową.Więcej informacji:
http://meta2010.pereslavl.ru/index.htm(odnośnik otworzy się w nowym oknie)