Call for Papers: Special Issue M4M

Call for Papers: Special Issue M4M

Post by carlo » Wed, 08 Sep 2004 02:02:49



Call for Papers for

"Methods for Modalities"

A Special Issue of the Journal of Applied Logic
( http://www.yqcomputer.com/ )

The workshop `Methods for Modalities' (M4M) organized every two
years aims to bring together researchers interested in developing
proof tools and decision methods for modal logic broadly conceived,
including description logic, hybrid logic, temp *** logic, etc.

During 1993 M4M-3, the third instance of the workshop was organized
in Nancy, France. We have been invited by the Journal of Applied
Logic to prepare a Special Issue containing selected publications
from the workshop, in addition to other articles that might fit
within the topics of interest of M4M. For that reason we are now
distributing this Call for Papers.


TOPICS OF INTEREST OF M4M

The following list is provided as an example of suitable topics for
the Special Issue. All topics should concern modal-like logics,
broadly conceived. The list is by no means exhaustive and is given
in an arbitrary order:

* Automated theorem proving
* Decision methods
* Proof methods
* Standard and non-standard inference problems
* Model checking
* Testing
* Expressive power
* Modelling
* Applications
* Successful uses of modal-like languages in other fields
* Knowledge representation


SUBMISSION DETAILS

The final version of accepted papers has to follow the standard
layout guidelines of the Journal of Applied Logic. Instructions
for authors and the *** style files are available from

http://www.yqcomputer.com/ ~m4m/SI/

Although not mandatory, we suggest to use the corresponding style
files from that web-page also for your initial submission. The
issue aims at high quality papers with a length around 20 to max. 30
pages. Please send your submission in postscript or pdf no later
than October 31th, 2004 to

XXXX@XXXXX.COM .

Notice that all papers will be refereed to ensure that their
suitability for journal publication.



IMPORTANT DATES

Deadline for Submissions: October 31th, 2004
Reviews Due : November 21th, 2004
Final Versions Due : December 19th, 2004


GUEST EDITORS of the Special Issue

Dr. Carlos Areces
INRIA Lorraine
615, rue du Jardin Botanique
54602 Villers les Nancy Cedex, France
phone : +33 (0)3 83 58 17 90
fax : +33 (0)3 83 41 30 79
e-mail : XXXX@XXXXX.COM
www : http://www.yqcomputer.com/ ~areces
 
 
 

Call for Papers: Special Issue M4M

Post by carlo » Thu, 30 Sep 2004 11:57:16


Call for Papers for

"Methods for Modalities"

A Special Issue of the Journal of Applied Logic
( http://www.yqcomputer.com/ )

The workshop `Methods for Modalities' (M4M) organized every two
years aims to bring together researchers interested in developing
proof tools and decision methods for modal logic broadly conceived,
including description logic, hybrid logic, temp *** logic, etc.

During 2003 M4M-3, the third instance of the workshop was organized
in Nancy, France. We have been invited by the Journal of Applied
Logic to prepare a Special Issue containing selected publications
from the workshop, in addition to other articles that might fit
within the topics of interest of M4M. For that reason we are now
distributing this Call for Papers.


TOPICS OF INTEREST OF M4M

The following list is provided as an example of suitable topics for
the Special Issue. All topics should concern modal-like logics,
broadly conceived. The list is by no means exhaustive and is given
in an arbitrary order:

* Automated theorem proving
* Decision methods
* Proof methods
* Standard and non-standard inference problems
* Model checking
* Testing
* Expressive power
* Modelling
* Applications
* Successful uses of modal-like languages in other fields
* Knowledge representation


SUBMISSION DETAILS

The final version of accepted papers has to follow the standard
layout guidelines of the Journal of Applied Logic. Instructions
for authors and the *** style files are available from

http://www.yqcomputer.com/ ~m4m/SI/

Although not mandatory, we suggest to use the corresponding style
files from that web-page also for your initial submission. The
issue aims at high quality papers with a length around 20 to max. 30
pages. Please send your submission in postscript or pdf no later
than October 31th, 2004 to

XXXX@XXXXX.COM .

Notice that all papers will be refereed to ensure that their
suitability for journal publication.



IMPORTANT DATES

Deadline for Submissions: October 31th, 2004
Reviews Due : November 21th, 2004
Final Versions Due : December 19th, 2004


GUEST EDITORS of the Special Issue

Dr. Carlos Areces
INRIA Lorraine
615, rue du Jardin Botanique
54602 Villers les Nancy Cedex, France
phone : +33 (0)3 83 58 17 90
fax : +33 (0)3 83 41 30 79
e-mail : XXXX@XXXXX.COM
www : http://www.yqcomputer.com/ ~areces



----- End forwarded message -----

--
Carlos Eduardo Areces
ILLC, University of Amsterdam

Nieuwe Achtergracht 166, 1018 WV, Amsterdam, The Netherlands
phone : +31 20 525-6730
e-mail : XXXX@XXXXX.COM
www : http://www.yqcomputer.com/ ~carlos
visit : http://www.yqcomputer.com/ -> The Hybrid Logic's Home Page