From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2016 Path: news.gmane.org!not-for-mail From: Methods for Modalities Newsgroups: gmane.science.mathematics.categories Subject: Call for Submissions M4M-2 Date: Thu, 14 Jun 2001 13:05:42 +0200 Message-ID: <20010614130511.A9297@wins.uva.nl> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241018285 1749 80.91.229.2 (29 Apr 2009 15:18:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:18:05 +0000 (UTC) To: Methods for Modalities Original-X-From: rrosebru@mta.ca Sun Jun 17 14:39:01 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f5HH9XP24970 for categories-list; Sun, 17 Jun 2001 14:09:33 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Organisation: Faculty of Science, University of Amsterdam, The Netherlands X-URL: http://www.science.uva.nl/ Content-Disposition: inline User-Agent: Mutt/1.2.5i Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 27 Original-Lines: 66 Xref: news.gmane.org gmane.science.mathematics.categories:2016 Archived-At: ======================================================================= We apologize if you receive this more than once. ======================================================================= CALL FOR SUBMISSIONS METHODS FOR MODALITIES 2 (M4M-1) Institute for Logic, Language and Computation University of Amsterdam November 29-30, 2001 www.science.uva.nl/~m4m DEADLINE: October 12, 2001 THEME The workshop Methods for Modalities' (M4M) aims to bring together researchers interested in developing proof tools and reasoning methods for modal logic broadly conceived, including description logic, hybrid logics, feature logic, temporal logic, etc. SPECIAL FEATURES To stimulate interaction and transfer of expertise, M4M will be centered around a number of long presentations by leading researchers; these presentations aim to provide both the general background and inside information in a number of key areas. To complement these, we are inviting submissions of short, focussed presentations aimed at highlighting new developments, and submissions of system demonstrations. M4M-2 is the second installment of this bi-anual workshop series. SUBMISSIONS We invite two kinds of submissions: research papers on proof tools and reasoning methods for modal logic as well as their applications; and system descriptions. Research papers need not be original; they can be up to 10 A4 size pages, and system descriptions can be up to 4 A4 size pages. System descriptions should focus on actual implementations, explaining system architecture issues and specific implementation techniques. Every system description should be accompanied by a system demo at M4M. The primary means of submission will be electronic, in PostScript format. Submissions should be sent to m4m@science.uva.nl. PROGRAM COMMITTEE The program committee for M4M consists of Carlos Areces (ILLC, The Netherlands), Stephane Demri (LSV, ENS de Cachan and Lab. LEIBNIZ, France), Joseph Halpern (Cornell University, USA), Ian Horrocks (University of Manchester, United Kingdom) [to be confirmed], Joost-Pieter Katoen (University of Twente, The Netherlands), Maarten de Rijke (ILLC, The Netherlands), Holger Schlingloff (University of Bremen, Germany), Renate Schmidt (University of Manchester, United Kingdom). IMPORTANT DATES * Deadline for submissions: October 12, 2001 * Notification: November 5, 2001 * Workshop dates: November 29-30, 2001 FURTER INFORMATION Please visit www.science.uva.nl/~m4m for further information about M4M. -- M4M: Methods for Modalities www.science.uva.nl/~m4m