---------- Forwarded Message -----------
From: George Rahonis <[email protected]>
To: [email protected]
Sent: Tue, 07 Apr 2009 06:12:43 +0300
Subject: QUANTLOG 2009 Call for Papers
**************** We apologize for multiple copies ******************
2nd CALL FOR PAPERS
Workshop on Quantitative Logics QUANTLOG 2009
Satellite event to ICALP 2009
Rhodes, Greece
July 11, 2009
Supported by ESF programme "AutoMathA"
Topics of Interest: Quantitative monadic second order and temporal
logic for strings, trees, graphs, texts, traces, etc, and connections
to weighted automata. Quantitative computational logics. Algorithms
and complexity of quantitative logics. Applications of quantitative
logics.
Invited Speakers
Manfred Droste, Leipzig
Thomas Henzinger, Lausanne
Program Committee
Zoltan Esik, Szeged (Chairman)
Paul Gastin, Cachan
Werner Kuich, Vienna
Orna Kupferman, Jerusalem
Dietrich Kuske, Leipzig
Kim Larsen, Aalborg
Carsten Lutz, Bremen
George Rahonis, Thessaloniki
Submissions:
Authors are invited to submit an extended abstract (in PostScript or
PDF format) of at most 10 pages electronically to
[email protected]. There will be a special issue of
International Journal of Foundations of Computer Science on the topic
of the workshop. Submissions to the special issue should be original
and unpublished work and will be refereed according to the usual
journal standards.
Important Dates:
Submission Due: 30 April 2009
Notification: 20 May 2009
Journal Version Due: 1 October 2009
Organizing Committee
E. Mandrali
G. Rahonis
Please find more information at the web page of QUANTLOG 2009
http://quantlog09.web.auth.gr/
With best regards
George Rahonis
------- End of Forwarded Message -------
==========================================================================
Prof. Benjamin Rene Callejas Bedregal
Universidade Federal do Rio Grande do Norte - UFRN
Departamento de Informatica e Matematica Aplicada - DIMAp
Laboratorio de Logica, Linguagem, Informação, Teoria e Aplicações - LoLITA
http://www.dimap.ufrn.br/~bedregal
==========================================================================
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
