14-16 September 2016 @ 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
Last modified 2016-09-14