text_combined: carlos areces mlyxktscienceuvanl call papers methods modalities special issue journal applied logic httpwwwsciencedirectcomsciencejournal15708683 workshop methods modalities m4m organized every two years aims bring together researchers interested developing proof tools decision methods modal logic broadly conceived including description logic hybrid logic temporal logic etc 1993 m4m3 third instance workshop organized nancy france invited journal applied logic prepare special issue containing selected publications workshop addition articles might fit within topics interest m4m reason distributing call papers topics interest m4m following list provided example suitable topics special issue topics concern modallike logics broadly conceived list means exhaustive given arbitrary order automated theorem proving decision methods proof methods standard nonstandard inference problems model checking testing expressive power modelling applications successful uses modallike languages fields knowledge representation submission details final version accepted papers follow standard layout guidelines journal applied logic instructions authors latex style files available httpstaffscienceuvanlm4msi although mandatory suggest use corresponding style files webpage also initial submission issue aims high quality papers length around 20 max 30 pages please send submission postscript pdf later october 31th 2004 arecesloriafr notice papers refereed ensure suitability journal publication important dates deadline submissions october 31th 2004 reviews due november 21th 2004 final versions due december 19th 2004 guest editors special issue dr carlos areces inria lorraine 615 rue du jardin botanique 54602 villers les nancy cedex france phone 33 03 83 58 17 90 fax 33 03 83 41 30 79 email ghfqvbypiobaloriafr www httpwwwloriafrareces tue 05 aug 2008 163852 0700 uai call papers special issue m4m