AIML

We aim at recording important new developments in modal logic in the volumes of the Advances in Modal Logic book series. Ideally, each volume in the series has an editorial introduction which identifies new and important trends, and which places the contributions in perspective for researchers and students alike... To attract contributions to the volumes in the Advances in Modal Logic book series, we aim to organize bi-annual workshops of approximately 3 days at which both invited and contributed papers are to be presented. Ideally, the accompanying volumes in the book series will be available at the workshops. We aim at workshops of a fairly limited size, say about 30 participants, both to enhance interaction between the participants, and to make organizing and financing the events a manageable task... Developer of a French application program based in AiML. Enhancing the interactivity with external events and code context

Primary location: Cambridge United States