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.

About the SING Venue How to attend Getting to and around Gdansk         Program Participants Organizer & contact

---

Wojtek Jamroga home page Polish-Japanese IT Academy

Last modified 2016-09-14

---