LAMAS SING 2015
(LAMAS Seminar on INteraction Gdansk)

23-25 September 2015 @ Gdansk, Poland

SING is a scientific seminar on modeling, design, specification, verification, and reasoning about interaction. The seminar is loosely connected to LAMAS (the research network on Logical Aspects of Multi-Agent Systems). And strongly connected to the idea that doing science should be a merry collaborative process in a nice environment. Note: the event is by invitation only.

The seminar is supported by the Polish-Japanese IT Academy.

  


Wojtek Jamroga home page
Polish-Japanese IT Academy
Polish-Japanese IT Academy Main page
Last modified 2015-10-09