Eventlist is a distribution list run by our group.

We run this list for the convenience of the scientific community, to distribute mainly calls for papers and open position announcements, with a focus on logic, formal methods and agent/multi-agent systems.



The Environment Interface Standard (EIS) is a Java-based interface standard for connecting agents to controllable entities in an environment such as a game. The interface provides support for managing the connection (e.g., for pausing and terminating an environment) and for interaction between agents and entities that are available in an environment ...