text_combined: logical methods cs upadwwwlmcsonlineorg year 1 new journal year 1 new journal year one new journal excuse multiple copies dear colleague writing inform progress openaccess online journal logical methods computer science recently benefited freshly designed web site see httpwwwlmcsonlineorg first year existence journal received 75 submissions 21 accepted 22 declined rest still editorial process first issue complete anticipate three end calendar year eventual aim publish four issues per year also publish special issues date three progress devoted selected papers lics 2004 cav 2005 lics 2005 average turnaround submission publication 7 months comprises thorough refereeing revision process every submission refereed normal way two referees apply high standards quality would encourage submit best papers logical methods computer science encourage colleagues flier leaflet containing basic information new journal homepage would appreciate posting distributing otherwise publicising journal would also appreciate suggestions may may improve journal sincerely dana scott editorinchief gordon plotkin moshe vardi managing editors jiri adamek executive editor wed 06 aug 2008 193943 0200 uai journal logical methods cs