Nabble - Lambda Prolog

LATA 2010: last call for papers

2009-11-04T07:38:47Z

*********************************************************************

Last Call for Papers

4th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2010)

Trier, Germany, May 24-28, 2010

http://grammars.grlmc.com/LATA2010/

*********************************************************************

Deadline: December 3

Please notice that the deadline is firm and will not be extended !
=====================================================================

AIMS:

LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:

- algebraic language theory
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computer linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and artificial life
- neural networks
- parallel and regulated rewriting
- parsing
- pattern matching and pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and bioinformatics
- symbolic dynamics
- term rewriting
- text algorithms
- text retrieval
- transducers
- trees, tree languages and tree machines
- weighted machines

STRUCTURE:

LATA 2010 will consist of:

- 3 invited talks
- 2 invited tutorials
- refereed contributions
- open sessions for discussion in specific subfields, on open problems, or on professional issues (if requested by the participants)

INVITED SPEAKERS:

John Brzozowski (Waterloo), Complexity in Convex Languages
Alexander Clark (London), Three Learnable Models for the Description of Language
Lauri Karttunen (Palo Alto), to be announced (tutorial)
Borivoj Melichar (Prague), Arbology: Trees and Pushdown Automata
Anca Muscholl (Bordeaux), Communicating Automata (tutorial)

PROGRAMME COMMITTEE:

Alberto Apostolico (Atlanta)
Thomas Bäck (Leiden)
Stefania Bandini (Milano)
Wolfgang Banzhaf (St. John's)
Henning Bordihn (Potsdam)
Kwang-Moo Choe (Daejeon)
Andrea Corradini (Pisa)
Christophe Costa Florencio (Leuven)
Maxime Crochemore (Marne-la-Vallée)
W. Bruce Croft (Amherst)
Erzsébet Csuhaj-Varjú (Budapest)
Jürgen Dassow (Magdeburg)
Volker Diekert (Stuttgart)
Rodney G. Downey (Wellington)
Frank Drewes (Umea)
Henning Fernau (Trier, co-chair)
Rusins Freivalds (Riga)
Rudolf Freund (Wien)
Paul Gastin (Cachan)
Edwin Hancock (York, UK)
Markus Holzer (Giessen)
Helmut Jürgensen (London, Canada)
Juhani Karhumäki (Turku)
Efim Kinber (Fairfield)
Claude Kirchner (Bordeaux)
Brian Marcus (Vancouver)
Carlos Martín-Vide (Brussels, co-chair)
Risto Miikkulainen (Austin)
Victor Mitrana (Bucharest)
Claudio Moraga (Mieres)
Sven Naumann (Trier)
Chrystopher Nehaniv (Hatfield)
Maurice Nivat (Paris)
Friedrich Otto (Kassel)
Daniel Reidenbach (Loughborough)
Klaus Reinhardt (Tübingen)
Antonio Restivo (Palermo)
Christophe Reutenauer (Montréal)
Kai Salomaa (Kingston, Canada)
Jeffrey Shallit (Waterloo)
Eljas Soisalon-Soininen (Helsinki)
Bernhard Steffen (Dortmund)
Frank Stephan (Singapore)
Wolfgang Thomas (Aachen)
Marc Tommasi (Lille)
Esko Ukkonen (Helsinki)
Todd Wareham (St. John's)
Osamu Watanabe (Tokyo)
Bruce Watson (Pretoria)
Thomas Wilke (Kiel)
Slawomir Zadrozny (Warsaw)
Binhai Zhu (Bozeman)

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Henning Fernau (Trier, co-chair)
Maria Gindorf (Trier)
Stefan Gulan (Trier)
Anna Kasprzik (Trier)
Carlos Martín-Vide (Brussels, co-chair)
Norbert Müller (Trier)
Bianca Truthe (Magdeburg)

SUBMISSIONS:

Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single-spaced pages and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at:

http://www.easychair.org/conferences/?conf=lata2010

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of the Journal of Computer and System Sciences (Elsevier) will be later published containing refereed extended versions of some of the papers contributed to the conference. Submissions to it will be only by invitation.

A special issue of another major journal containing papers oriented to applications is under consideration.

REGISTRATION:

The period for registration will be open since September 1, 2009 until May 24, 2010. The registration form can be found at the website of the conference: http://grammars.grlmc.com/LATA2010/

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 530 Euro
Late registration fees (PhD students): 430 Euro
On-site registration fees: 550 Euro
On-site registration fees (PhD students): 450 Euro

At least one author per paper should register. Papers that do not have a registered author by February 15, 2010 will be excluded from the proceedings.

Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks, lunches, excursion, and conference dinner.

PAYMENT:

Early (resp. late) registration fees must be paid by bank transfer before February 15, 2010 (resp. May 14, 2010) to the conference series account at Open Bank (Plaza Manuel Gomez Moreno 2, 28020 Madrid, Spain): IBAN: ES1300730100510403506598 - Swift code: OPENESMMXXX (account holder: Carlos Martin-Vide & URV – LATA 2010).

Please write the participant’s name in the subject of the bank form. Transfers should not involve any expense for the conference.

On-site registration fees can be paid only in cash.

A receipt for the payment will be provided on site.

Besides paying the registration fees, it is required to fill in the registration form at the website of the conference.

BEST PAPER AWARDS:

An award will be offered to the authors of the two best papers accepted to the conference. Only papers fully authored by PhD students are eligible. The award intends to cover their travel expenses.

IMPORTANT DATES:

Paper submission: December 3, 2009 *
Notification of paper acceptance or rejection: January 21, 2010
Final version of the paper for the LNCS proceedings: February 3, 2010
Early registration: February 15, 2010
Late registration: May 14, 2010
Starting of the conference: May 24, 2010
Submission to the post-conference special issue(s): August 27, 2010

* Contributors who have submitted by the deadline will be allowed to upload an updated version until December 10.

FURTHER INFORMATION:

gindorf-ti@...

CONTACT:

LATA 2010
Universität Trier
Fachbereich IV – Informatik
Campus II, Behringstraße
D-54286 Trier

Phone: +49-(0)651-201-2836
Fax: +49-(0)651-201-3954
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

PAKM Verteiler KSEM Conference Program Announced

2009-11-03T08:58:52Z

(Mailing list information, including unsubscription instructions, is located at the end of this message.)
__

Dear Ladies and Gentlemen,

We would like to inform you that the conference program for the KSEM2009 - 3rd International Conference on Knowledge Science, Engineering and Management has been published. For details please see ksem2009.dke.univie.ac.at/ksem_programm.html.

We are honoured to announce the participation of Prof. John Mylopoulos, University of Trento, and Prof. Fangzhen Lin, Hong Kong University of Science and Technology as invited speakers to the KSEM2009. Prof. Mylopoulos will talk about Models in Knowledge Management, while Prof. Lin will speak about Two Applications of Computer-Aided Theorem Discovery and Verification.

Furthermore we would like to announce two panel discussions to be held during the conference: one on the topic of Required Knowledge for Delivering Services and one on Knowware: The Third Star after Hardware and Software.

We look forward to welcoming you in Vienna for the KSEM2009.

Sincerely yours,
Zhi Jin and Dimitris Karagiannis

--
The following information is a reminder of your current mailing
list subscription:

You are subscribed to the following list:

PAKM Verteiler

using the following email:

lprolog@...

You may automatically unsubscribe from this list at any time by
visiting the following URL:

<http://tools.dke.univie.ac.at/verteiler/mail.cgi/u/pakm01/>

If the above URL is inoperable, make sure that you have copied the
entire address. Some mail readers will wrap a long URL and thus break
this automatic unsubscribe mechanism.

You may also change your subscription by visiting this list's main screen:

<http://tools.dke.univie.ac.at/verteiler/mail.cgi/list/pakm01>

If you're still having trouble, please contact the list owner at:

<mailto:pakm@...>

The following physical address is associated with this mailing list:

Vienna, Austria

Mailing List Powered by Dada Mail
http://tools.dke.univie.ac.at/verteiler/mail.cgi/what_is_dada_mail/
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

contest: how to combine logics?

2009-11-02T02:19:50Z

How to combine logics?

This will be the contest for
the universal logic 2010 price offered by Birkhäuser at the
World Congress on Universal Logic III
Lisbon, Portugal, April 22-25, 2010
http://www.uni-log.org

When we have two logics, we may want to put them together.
For example on the one hand we have a temporal logic and on the other hand
we have a deontic logic, how then to put them together to produce a
temporal deontic logic in which we can deal with sentences such as
"Sometimes it is allowed to eat chocolate"?

This is a very interesting question in the engineering of logic. People
have been working in the subject since about 15 years. But there are still
some fundamental problems not completely solved. These problems are
connected to the very nature of what a logical system is. One may wonder
if the intuitive definition of combination of logic as the smallest
conservative extension of two given logics really works, and also if it is
always possible to combine two logics.

If you want to take part to this contest send a short paper (10 to 15
pages) to unilog2010@... before November 15th, 2009. The best ones
will be selected for presentation at a special session during the congress
and a jury will then decide who the winner is.

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

call for organizing next AFP summerschool (2010)

2009-11-02T00:55:12Z

Call for organizers:
The Advanced Functional Programming School, 2010.

http://www.cs.uu.nl/~johanj/afp/

We solicit plans for organizing the next Advanced Functional Programming School. Since 1995 there have been six Schools on Advanced Functional Programming:

2008, LNCS 5832, Nijmegen, The Netherlands
2004, LNCS 3622, Tartu, Estonia
2002, LNCS 2638, Oxford, UK
1998, LNCS 1608, Braga, Portugal
1996, LNCS 1129, Olympia, WA, USA
1995, LNCS 925, Baastad, Sweden

The goals of this series of schools are

Bring computer scientists, in particular young researchers and programmers, up to date with the latest AFP techniques.
Use AFP techniques in "programming in the real world".
Bridge the gap between results presented at programming conferences and material from introductory textbooks on functional programming.

The approach we take to achieve these goals in the schools is

In depth lectures about AFP techniques, taught by experts in the field.
Lectures are accompanied by practical problems to be solved by the students at the school. The problems guide the students' learning to a great extent. This implies that there has to be a lab at the school site.
Group work is stimulated, especially because the practical problems will typically be too large for a single person.

By functional programming we mean programming in a style that emphasizes the evaluation of expressions rather than the execution of commands.

The lecture notes of the Advanced Functional Programming schools are published after the school. The organizers are responsible for publishing the lecture notes.

Please submit a proposal for organizing the next advanced functional programming school.

Your proposal should include

the name of the organizers (preferably more than one)
a programme: lecturers (a mix of young and bright, and old and wise lecturers is preferred) and topics (keep in mind that lectures have to be about "programming in the real world". Applications of functional programming are very important for the school)
the approximate dates (preferably somewhere in 2010)
a location
a budget, including an estimation of the registration and hotel costs per participant.

The programme, dates, location and budget don't have to be completely fixed when you submit your proposal, but there should be sufficient information to review your proposal. Your proposal will be reviewed by the steering committee of the Advanced Functional Programming Schools, consisting of

· Peter Achten (AFP6)

Pedro Henriques (AFP3)
Johan Jeuring (AFP4, AFP5)
Simon Peyton Jones (AFP4)
Pieter Koopman (AFP6)
Erik Meijer (AFP2)
Rinus Plasmeijer (Chairman, AFP6)
Tim Sheard (AFP2)
Doaitse Swierstra (AFP3, AFP6)
Tarmo Uustalu (AFP5)
Varmo Vene (AFP5)

Submit your proposal to rinus@... before December 15, 2009.
Notification January 9, 2010.

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

WoLLIC 2010 - 2nd Call for Papers

2009-10-26T05:30:37Z

(please circulate; apologies for any cross-postings)

WoLLIC 2010
17^th Workshop on Logic, Language, Information and Computation
July 6^th to 9^th, 2010

Universidade de Brasília,
Brasília, Brazil

Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)

Funding
(tbc)

Special:
A screening of I want to be a mathematician: A conversation with Paul Halmos

Organisation
Department of Mathematics, Universidade de Brasília, Brazil
Centro de Informática, Universidade Federal de Pernambuco, Brazil

Call for Papers

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The Seventeenth WoLLIC will be held in Brasília, Brazil, from July 6th to 9th, 2010. It is sponsored by theAssociation for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

Special Event
2010 will mark the 50-th anniversary of the first publication of Paul Halmos' classic book Naïve Set Theory by Springer Verlag. WoLLIC will celebrate this by screening the documentary about Paul Halmos which was directed by George Csicsery: "I want to be a mathematician. A conversation with Paul Halmos"http://zalafilms.com/films/halmos.html

Paper submission
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2010 EasyChair website. (Please go to http://wollic.org/wollic2010/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by February 28, and the full paper by March 7 (firm date). Notifications are expected by April 12, and final papers for the proceedings will be due by May 3 (firm date).

Proceedings
The proceedings of WoLLIC 2010, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series (TBC). In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2010 issue of a scientific journal (soon to be announced).

Invited Speakers

Marcelo Finger

Michiel van Lambalgen

Johann (Janos) Makowsky

Sebastiaan Terwijn

Student Grants
ASL sponsorship of WoLLIC 2010 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2010). Seehttp://www.aslonline.org/studenttravelawards.html for details.

Important Dates

February 28, 2010: Paper title and abstract deadline

March 7, 2010: Full paper deadline (firm)

April 12, 2010: Author notification

May 3, 2010: Final version deadline (firm)

Programme Committee

Verónica Becher

Raffaella Bernardi

Ricardo Bianconi

Vasco Brattka

Balder ten Cate

Bob Coecke

Adriana Compagnoni

Marcelo Coniglio

Anuj Dawar

Valentin Goranko

Masahito Hasegawa

Rosalie Iemhoff

Makoto Kanazawa

Giuseppe Longo

Mike Mislove

Michael Norrish

Bart Selman

Scott Weinstein

Organising Committee

Mauricio Ayala-Rincon

Flávio L. C. Moura

Claudia Nalon

Anjolina G. de Oliveira

Ruy de Queiroz

Further information
Contact one of the Co-Chairs of the Organising Committee.

Web page
http://wollic.org/wollic2010/

Steering committee

Samson Abramsky, Johan van Benthem, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

* extended deadline: FLOPS 2010: Last Call for Papers *

2009-10-19T19:31:46Z

----------------------------------------------------------------------------
LAST CALL FOR PAPERS

Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan

http://www.kb.ecei.tohoku.ac.jp/flops2010/

** EXTENDED SUBMISSION DEADLINES **

abstracts: October 27, 2009
papers: November 3, 2009

FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held in Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise
(2008).

TOPICS

FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):

Declarative Pearls: new and excellent declarative programs with
illustrative applications.

Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.

Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.

Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.

Applications: case studies, real-world applications, graphical
user interfaces, Internet applications, XML, databases, formal
methods and model checking.

The proceedings will be published as an LNCS volume. The proceedings
of the previous meeting (FLOPS 2008) were published as LNCS 4989.

INVITED SPEAKERS

TBD

PC CO-CHAIRS

Matthias Blume (Google, Chicago, USA)
German Vidal (Technical University of Valencia, Spain)

CONFERENCE CHAIR

Naoki Kobayashi (Tohoku University, Sendai, Japan)

PC MEMBERS

Nick Benton (Microsoft Research, Cambridge, UK)
Manuel Chakravarty (University of New South Wales, Australia)
Michael Codish (Ben-Gurion University of the Negev, Israel)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
John P. Gallagher (Roskilde University, Denmark)
Maria Garcia de la Banda (Monash University, Australia)
Michael Hanus (University of Kiel, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Patricia Johann (Rutgers University, USA)
Shin-ya Katsumata (Kyoto University, Japan)
Michael Leuschel (University of Dusseldorf, Germany)
Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)
Paqui Lucio (University of the Basque Country, Spain)
Yasuhiko Minamide (University of Tsukuba, Japan)
Frank Pfenning (Carnegie Mellon University, USA)
Francois Pottier (INRIA, France)
Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)
Chung-chieh "Ken" Shan (Rutgers University, USA)
Zhong Shao (Yale University, USA)
Jan-Georg Smaus (University of Freiburg, Germany)
Nobuko Yoshida (Imperial College London, UK)

LOCAL CHAIR

Eijiro Sumii (Tohoku University, Sendai, Japan)

SUBMISSION

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions should
fall into one of the following categories:

Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.

System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.

All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use
LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html

Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a
web page, or an appendix). Papers should be submitted electronically
at http://www.easychair.org/conferences/?conf=flops2010

IMPORTANT DATES

Submission deadlines:
- Abstract: October 27, 2009
- Paper: November 3, 2009
Author notification: December 21, 2009
Camera-ready copy: January 24, 2010
Conference: April 19-21, 2010

PLACE

Sendai, Japan

Some previous FLOPS:

FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
FLOPS 2004, Nara
FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSOR

Japan Society for Software Science and Technology (JSSST), SIG-PPL
Graduate School of Information Sciences, Tohoku University
International Information Science Foundation

IN COOPERATION with

AAFS (Asian Association for Foundation of Software)
ACM SIGPLAN
ALP (Association for Logic Programming)

----------------------------------------------------------------------------

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

World Congress, Lisbon 2010 - Call for Papers

2009-10-16T04:19:21Z

The third edition of the World Congress and School on Universal Logic will
happen April 18-25, 2010 in Lisbon, Portugal.

There will be:
10 invited speakers, among them: Hartry Field, George Grätzer, Yuri
Gurevich, Gehrard Jaeger, Dana Scott

10 special sessions, among them: logic diagrams, substructural logics,
non-classical mathematics, categorical logic, mutlimodal logics, paradoxes

21 tutorials, among them: Hybrid logic, Logical Pluralism, Erotetic
Logics, Truth-values, Refutation, Ideospheres, How to cut and paste
logical systems

1 contest: How to combine logics?

Submission deadline for contributed talks has been extended to November
15, 2009

UNILOG'2010
World Congress and School on Universal Logic III
April 18-25, 2010, Lisbon, Portugal
http://www.uni-log.org

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE

2009-10-15T16:29:52Z

Dear Colleague:

We would like to bring the community up to date on the journal

Logical Methods in Computer Science
www.lmcs-online.org

We started this fully refereed, open access, free electronic journal in
January 2005, intending to create a high-level platform for publications
in all theoretical and practical areas in computer science involving
logical methods, taken in a broad sense. We are now on Issue 3 of Volume 5
(there are four issues a year). So far, we have received more than 350
submissions of which we have published 162. In addition to individual
submissions, our journal publishes special issues, e.g., of selected
papers of high-level international conferences such as LICS, IJCAR, CAV,
CSL, and RTA.

We are continuing actively to develop the journal. For example, we accept
survey articles, and are developing `live' surveys, which can be
continually updated as knowledge progresses. In another direction, we are
considering allowing authors to provide additional material of an
expository nature, such as slides and videos, to enable them to interest a
wider spectrum of readers in their contribution.

The journal is an overlay of CoRR, the computer science repository of
arXiv. There are no fees for authors nor for readers. Every paper is
refereed by two or more referees, and high standards are applied. The
editorial board consists of about sixty top specialists in all areas of
logic in computer science.

The journal is covered by Mathematical Reviews, the ISI Web of Knowledge,
and the DBLP Database.

We welcome your comments and suggestions, and we seek your contributions!
For more information please consult our web pages:

www.lmcs-online.org

Yours,

Editor-in-Chief: Dana S. Scott <dana.scott@...>
Managing Editors: Benjamin C. Pierce <bcpierce@...>
Gordon D. Plotkin <gdp@...>
Moshe Y. Vardi <vardi@...>
Executive Editors: Jiri Adamek <adamek@...>
Stefan Milius <s.milius@...>

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

KSEM Conference Program Announced

2009-10-13T11:37:10Z

Call for Participation: VSTTE 2009

2009-10-13T08:03:43Z

*********************************************************
* *
* VSTTE 2009 *
* *
* Workshop on Verified Software *
* Theory Tools and Experiments *
* (affiliated with Formal Methods Week) *
* *
* *** Call For Participation *** *
* *
* November 2, 2009 *
* Eindhoven, the Netherlands *
* http://vstte09.lri.fr/ *
* *
*********************************************************

The workshop on Verified Software: Theories, Tools, and
Experiments (VSTTE 2009) will take place on November the
2nd. The focus of this workshop will be on tools, as
previous VSTTE conferences in Zurich and Toronto
emphasised theories and experiments. Consisting of
contributed papers and invited talks, the workshop will
focus on the tools behind the development of systematic
methods for specifying, building, and verifying
high-quality software.

Program
=======

09:00-10:00 - Rajeev Joshi, NASA JPL US
TBA

10:30-11:30 - Discovering Specifications for Unknown Procedures with
Separation Logic
Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He
and Wei-Ngan Chin.

On Essential Program Annotations and Completeness of
Verifying Compilers
Bernhard Beckert, Thorsten Bormer and Vladimir Klebanov.

11:30-12:30 - Jim Woodcock, University of York UK
TBA

13:30-14:30 - Pascal Cuoq, CEA France
TBA

14:30-15:30 - SMT Solvers: New Oracles for the HOL Theorem Prover
Tjark Weber.

An Interval-based SAT Modulo ODE Solver for Model Checking
Nonlinear Hybrid Systems
Daisuke Ishii, Kazunori Ueda and Hiroshi Hosobe.

16:00-17:00 - John McDermott, Naval Research Lab US
TBA

Kalou Cabrera Castillos, INRIA Nancy France
TBA

Registration
============

Participants can register for any combination of FM2009
activities, inclusing VSTTE 2009, at
http://www.win.tue.nl/fmweek/Registration.html

Deadline for (normal) registration is October 19.

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

CAV 2010 Call for Papers

2009-10-13T07:19:25Z

We apologize if you receive multiple copies of this email.
See below on how to unsubscribe.

........................................................................
22nd International Conference on
Computer Aided Verification (CAV)
CAV 2010
http://www.floc-conference.org/CAV.html
July 15 - 19, 2010
Edinburgh, United Kingdom

Call for Papers
........................................................................

Aims and Scope
---------------
CAV 2010 is the 22nd in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. This year, CAV is part of the 5th
International Federated Logic Conference (FLoC 2010), which includes
CAV and seven other conferences/symposia: CSF, ICLP, IJCAR, ITP, LICS,
RTA and SAT. More details about FLoC 2010 can be found at
http://www.floc-conference.org/

CAV considers it vital to continue its leadership in hardware
verification, maintain its recent momentum in software verification, and
consider new domains such as biological systems. The conference covers
the spectrum from theoretical results to concrete applications, with an
emphasis on practical verification tools and the algorithms and
techniques that are needed for their implementation. The proceedings of
the conference will be published in the Springer-Verlag Lecture Notes in
Computer Science series. A selection of papers will be invited to a
special issue of the International Journal on Formal Methods in System
Design.

Topics of interest include:
* Model checking techniques
* Algorithms and tools for verifying models and implementations
* Hardware verification techniques
* Hybrid systems and embedded systems verification
* Program analysis and software verification
* Modeling and specification formalisms
* Deductive, compositional, and abstraction techniques for verification
* Testing and runtime analysis based on verification technology
* Applications and case studies
* Verification in industrial practice
* Formal methods for biological systems

Events
-------
There will be pre-conference workshops on July 14 and July 15, and
post-conference workshops on July 20. Please see the conference website
for more details.

There will be tutorials on July 15 (first day of the conference).

Invited tutorial speakers
-------------------------

* Robert Brayton: University of California, Berkeley, US
* Kenneth Mcmillan: Cadence Berkeley Labs, US
* Thomas Reps: University of Wisconsin-Madison, US
* Andrey Rybalchenko: Max Planck Institute, Germany

Invited speakers
----------------

* Somesh Jha: University of Wisconsin-Madison, US
* Pasquale Malacaria: Queen Mary University, United Kingdom
* Maged Michael: IBM, US

CAV Award
---------

An annual award, called the CAV Award, has been established
"For a specific fundamental contribution
or a series of outstanding contributions
to the field of Computer-Aided Verification."

The cited contribution(s) must have been made not more recently than
five years ago and not over twenty years ago. In addition, the
contribution(s) should not yet have received recognition via a major
award, such as the ACM Turing or Kanellakis Awards. (The nominee may
have received such an award for other contributions.)

The award of $10,000 will be granted to an individual or a group of
individuals chosen by the Award Committee from a list of nominations.
The Award Committee may choose to make no award in a given year.

The CAV Award will be presented in an award ceremony at the
Computer-Aided Verification Conference and a citation will be published
in a journal of record (currently, Formal Methods in System Design).

Anyone, with the exception of members of the Award Committee, is
eligible to receive the Award.

Nominations are welcome. Please see the Call for Nominations for the CAV
Award on the conference website.

Paper Submission
----------------

There are two categories of submissions:

* A. Regular papers. Submissions, not exceeding fourteen (14) pages
using Springer's LNCS format, should contain original research, and
sufficient detail to assess the merits and relevance of the
contribution. For papers reporting experimental results, authors are
strongly encouraged to make their data available with their submission.
Submissions reporting on case studies in an industrial context are
strongly invited, and should describe details, weaknesses and strength
in sufficient depth. Simultaneous submission to other conferences with
proceedings or submission of material that has already been published
elsewhere is not allowed.

* B. Tool presentations. Submissions, not exceeding four (4) pages using
Springer's LNCS format, should describe the implemented tool and its
novel features. A demonstration is expected to accompany a tool
presentation. Papers describing tools that have already been presented
in this conference before will be accepted only if significant and clear
enhancements to the tool are reported and implemented.

Papers can be submitted in PDF or PS format. Submission is done with
EasyChair, and the submission site will open on Jan 4, 2010. Please
follow guidelines on the conference website:
http://www.floc-conference.org/CAV.html

Papers exceeding the stated maximum length run the risk of rejection
without review. The review process will include a feedback/rebuttal
period where authors will have the option to respond to reviewer
comments.

Important Dates
----------------

* Abstract submission: January 11, 2010
* Paper submission (firm): January 15, 2010
* Author feedback/rebuttal period: February 26 - March 1, 2010
* Notification of acceptance/rejection: March 15, 2010
* Final version due: April 16, 2010

Program Chairs
---------------

* Byron Cook: Microsoft Research, United Kingdom
* Paul Jackson: University of Edinburgh, United Kingdom
* Tayssir Touili: LIAFA-CNRS, France

Program Committee
------------------

Rajeev Alur: University of Pennsylvania, US
Domagoj Babic: Synopsys, US
Christel Baier: Technical University of Dresden, Germany
Roderick Bloem: Graz University of Technology, Austria
Ahmed Bouajjani: LIAFA-University of Paris 7, France
Alessandro Cimatti: FBK-irst, Italy
Byron Cook: Microsoft Research, United Kingdom
Javier Esparza: Munich University, Germany
Azadeh Farzan: University of Toronto, Canada
Martin Fränzle: University of Oldenburg, Germany
Ganesh Gopalakrishnan: University of Utah, US
Mike Gordon: University of Cambridge, United Kingdom
Orna Grumberg: Technion, Israel
Ziyad Hanna: Jasper, US
Holger Hermanns: Saarland University, Germany
Alan Hu: University of British Columbia, Canada
Paul Jackson: University of Edinburgh, United Kingdom
Kevin Jones: Green Plug, US
Vineet Kahlon: NEC Labs, US
Jean Krivine: Institut des Hautes Etudes Scientifiques, France
Daniel Kroening: Oxford University, United Kingdom
Sava Krstic: Intel Corporation, US
Marta Kwiatkowska: Oxford University, United Kingdom
Kenneth McMillan: Cadence, US
David Monniaux: VERIMAG-CNRS, France
Markus Müller-Olm: Muenster University, Germany
Kedar Namjoshi: Bell Labs, US
Doron Peled: Bar Ilan University, Israel
Amir Pnueli: New York University, US
Shaz Qadeer: Microsoft Research, US
Jean-Francois Raskin: Brussels University, Belgium
Natasha Sharygina: University of Lugano, Switzerland
Tayssir Touili: LIAFA-CNRS, France
Helmut Veith: University of Darmstadt, Germany
Kwangkeun Yi: Seoul National University, Korea
Karen Yorav: IBM Haifa, Israel
Greta Yorsh: IBM, US

Steering Committee
-------------------

* Edmund M. Clarke: Carnegie Mellon University, US
* Mike Gordon: University of Cambridge, United Kingdom
* Robert P. Kurshan: Cadence, US
* Amir Pnueli, New York University, US

----------------------------------------------------------
We apologize if you receive multiple copies of this email.
If you do not want any further announcements regarding CAV 2010, reply
to this email and put 'UNSUBSCRIBE' in the body or subject of your
reply.

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

CFP: International Symposium on Memory Management 2010

2009-10-12T13:07:32Z

International Symposium on Memory Management 2010
Toronto, June 5-6, 2010
http://www.cs.purdue.edu/ISMM10/

CALL FOR PAPERS

ISMM is a forum for research in memory management. Areas of interest include
but are not limited to:

* Memory allocation and deallocation
* Garbage collection algorithms and implementations
* Compiler analyses and tools to aid memory management
* Empirical analysis of heap intensive programs
* Formal analysis and verification of heap intensive programs
* Memory system design and analysis
* Verification of memory management algorithms
* Development and evaluation of open source implementations

ISMM solicits full-length submissions covering new work on these topics, as
well as papers presenting confirmations or refutations of important prior
results. Surveys and comparative analyses that shed new light on previously
published techniques are also welcome.

ORGANIZERS

General Chair: Jan Vitek, Purdue University
Program Chair: Doug Lea, State University of New York at Oswego

Program Committee:
* Hans Boehm, HP Labs
* Cliff Click, Azul Systems
* David Detlefs, Microsoft Research
* Dave Dice, Sun Microsystems
* Christine Flood, Sun Microsystems
* Daniel Frampton, Australian National University
* Samir Genaim, Complutense University of Madrid
* Richard Jones, University of Kent
* Simon Marlow, Microsoft Research
* Nick Mitchell, IBM T.J. Watson Research
* Filip Pizlo, Purdue University
* Martin Vechev, IBM T.J. Watson Research
* Adam Welc, Intel

KEY DATES

Abstracts due: February 3, 2010
Submissions due: February 9, 2010
Author response: March 9-11, 2010
Notification: March 19, 2010
Final copy: April 2, 2010
Conference: June 5-6, 2010

SUBMISSIONS

Submitted papers must be in English and formatted to print on US Letter (8.5 x
11 inches) paper. Submissions must contain an abstract and postal and electronic
mailing addresses for at least one contact author. All papers must be submitted
on-line, preferably in Portable Document Format (PDF), although the submission
system will also accept PostScript. Submissions should be no more than 10 pages
(including bibliography, excluding well marked appendices) in standard ACM
SIGPLAN conference format: two columns, nine-point font (or larger) on a
ten-point baseline (or larger), with columns 20pc (3.33in) wide and 54pc (9in)
tall, and a column gutter of 2pc (0.33in). Detailed formatting guidelines along
with formatting templates or style files for LaTeX are available at
http://www.acm.org/sigs/sigplan/authorInformation.htm. Papers that violate these
guidelines will be rejected by the program chair. Program committee members are
not required to read appendices, and so a paper should be intelligible without
them. All accepted papers will appear in the published proceedings.

Double-blind reviewing

Authors are anonymous to the reviewers, just as reviewers are anonymous to the
authors. Authors must take reasonable efforts not to disclose their identities
to reviewers: Do not give your names nor mention your institution, research
group or project name. Where necessary for flow, a stand-in name such as "XYZ",
may be used, with a footnote explaining that the actual name is withheld.
Discuss your own prior work in the third person, as you would other related
work. You may also provide reviewers with anonymous auxiliary material such as
proofs and source code via the PC Chair (see below). Reviewers, for their part,
will be honor-bound not to try to discover authors' identities until their
initial reviews are complete. Authors' identities will be revealed at a later
point in the program committee's deliberations, but will be known only to the
program chair until that point.

Review committee

ISMM uses a separate Review Committee (RC) as part of the reviewing process. The
RC complements the Program Committee (PC) by providing expert reviews. The same
reviewing standards apply to the RC as for the PC. However, RC members review
only a few papers each, and do not participate in the PC meeting. The use of the
RC increases the breadth and depth of the reviewer pool.

Rebuttal

The rebuttal process will occur in early March 2010, and will give the authors
opportunity to respond succinctly to factual errors in reviews, before the
program committee meets to make its decisions. The committee may, but need not,
respond to rebuttals or revise reviews at or after the committee meeting.

Auxiliary Material

Authors may provide the PC Chair with a URL for upload of auxiliary material.
The URL itself will not be seen by reviewers. The authors may reference such
material in their paper, noting that the material has been made available to the
PC Chair. This facility may be used by authors to provide reviewers with useful
information beyond the scope of the submitted paper, such as technical reports,
proofs, and source code, without disclosing the authors' identity. Authors are
obliged to make reasonable efforts to make all auxiliary material suitably
anonymous. Authors are reminded that reviewers are under no obligation to read
any auxiliary material.
Papers accompanied by or based on open-source implementations are especially
welcome. However, if the authors are primary contributors to such a project,
they should provide source URLs separately to the Program Chair for validation,
and not list them in the submission proper.

Proceedings

The proceedings will be published by the ACM. Authors should read the ACM Author
Guidelines and related information. Authors of accepted papers must guarantee
that their paper will be presented at the conference. For additional information
please feel free to contact the Program Chair.

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

LATA 2010: 2nd call for papers

2009-10-09T07:15:10Z

*********************************************************************

2nd Call for Papers

4th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2010)

Trier, Germany, May 24-28, 2010

http://grammars.grlmc.com/LATA2010/

*********************************************************************

AIMS:

LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at Rovira i Virgili University (the host of the previous three editions and co-organizer of this one) in the period 2002-2006, LATA 2010 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:

- algebraic language theory
- algorithms on automata and words
- automata and logic
- automata for system analysis and programme verification
- automata, concurrency and Petri nets
- cellular automata
- combinatorics on words
- computability
- computational complexity
- computer linguistics
- data and image compression
- decidability questions on words and languages
- descriptional complexity
- DNA and other models of bio-inspired computing
- document engineering
- foundations of finite state technology
- fuzzy and rough languages
- grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
- grammars and automata architectures
- grammatical inference and algorithmic learning
- graphs and graph transformation
- language varieties and semigroups
- language-based cryptography
- language-theoretic foundations of artificial intelligence and artificial life
- neural networks
- parallel and regulated rewriting
- parsing
- pattern matching and pattern recognition
- patterns and codes
- power series
- quantum, chemical and optical computing
- semantics
- string and combinatorial issues in computational biology and bioinformatics
- symbolic dynamics
- term rewriting
- text algorithms
- text retrieval
- transducers
- trees, tree languages and tree machines
- weighted machines

STRUCTURE:

LATA 2010 will consist of:

- 3 invited talks
- 2 invited tutorials
- refereed contributions
- open sessions for discussion in specific subfields, on open problems, or on professional issues (if requested by the participants)

INVITED SPEAKERS:

John Brzozowski (Waterloo), Complexity in Convex Languages
Alexander Clark (London), Three Learnable Models for the Description of Language
Lauri Karttunen (Palo Alto), to be announced (tutorial)
Borivoj Melichar (Prague), Arbology: Trees and Pushdown Automata
Anca Muscholl (Bordeaux), Communicating Automata (tutorial)

PROGRAMME COMMITTEE:

Alberto Apostolico (Atlanta)
Thomas Bäck (Leiden)
Stefania Bandini (Milano)
Wolfgang Banzhaf (St. John's)
Henning Bordihn (Potsdam)
Kwang-Moo Choe (Daejeon)
Andrea Corradini (Pisa)
Christophe Costa Florencio (Leuven)
Maxime Crochemore (Marne-la-Vallée)
W. Bruce Croft (Amherst)
Erzsébet Csuhaj-Varjú (Budapest)
Jürgen Dassow (Magdeburg)
Volker Diekert (Stuttgart)
Rodney G. Downey (Wellington)
Frank Drewes (Umea)
Henning Fernau (Trier, co-chair)
Rusins Freivalds (Riga)
Rudolf Freund (Wien)
Paul Gastin (Cachan)
Edwin Hancock (York, UK)
Markus Holzer (Giessen)
Helmut Jürgensen (London, Canada)
Juhani Karhumäki (Turku)
Efim Kinber (Fairfield)
Claude Kirchner (Bordeaux)
Brian Marcus (Vancouver)
Carlos Martín-Vide (Brussels, co-chair)
Risto Miikkulainen (Austin)
Victor Mitrana (Bucharest)
Claudio Moraga (Mieres)
Sven Naumann (Trier)
Chrystopher Nehaniv (Hatfield)
Maurice Nivat (Paris)
Friedrich Otto (Kassel)
Daniel Reidenbach (Loughborough)
Klaus Reinhardt (Tübingen)
Antonio Restivo (Palermo)
Christophe Reutenauer (Montréal)
Kai Salomaa (Kingston, Canada)
Jeffrey Shallit (Waterloo)
Eljas Soisalon-Soininen (Helsinki)
Bernhard Steffen (Dortmund)
Frank Stephan (Singapore)
Wolfgang Thomas (Aachen)
Marc Tommasi (Lille)
Esko Ukkonen (Helsinki)
Todd Wareham (St. John's)
Osamu Watanabe (Tokyo)
Bruce Watson (Pretoria)
Thomas Wilke (Kiel)
Slawomir Zadrozny (Warsaw)
Binhai Zhu (Bozeman)

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Henning Fernau (Trier, co-chair)
Maria Gindorf (Trier)
Stefan Gulan (Trier)
Anna Kasprzik (Trier)
Carlos Martín-Vide (Brussels, co-chair)
Norbert Müller (Trier)
Bianca Truthe (Magdeburg)

SUBMISSIONS:

Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single-spaced pages and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at:

http://www.easychair.org/conferences/?conf=lata2010

PUBLICATIONS:

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

A special issue of the Journal of Computer and System Sciences (Elsevier) will be later published containing refereed extended versions of some of the papers contributed to the conference. Submissions to it will be only by invitation.

A special issue of another major journal containing papers oriented to applications is under consideration.

REGISTRATION:

The period for registration will be open since September 1, 2009 until May 24, 2010. The registration form can be found at the website of the conference: http://grammars.grlmc.com/LATA2010/

Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 530 Euro
Late registration fees (PhD students): 430 Euro
On-site registration fees: 550 Euro
On-site registration fees (PhD students): 450 Euro

At least one author per paper should register. Papers that do not have a registered author by February 15, 2010 will be excluded from the proceedings.

Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks, lunches, excursion, and conference dinner.

PAYMENT:

Early (resp. late) registration fees must be paid by bank transfer before February 15, 2010 (resp. May 14, 2010) to the conference series account at Open Bank (Plaza Manuel Gomez Moreno 2, 28020 Madrid, Spain): IBAN: ES1300730100510403506598 - Swift code: OPENESMMXXX (account holder: Carlos Martin-Vide & URV – LATA 2010).

Please write the participant’s name in the subject of the bank form. Transfers should not involve any expense for the conference.

On-site registration fees can be paid only in cash.

A receipt for the payment will be provided on site.

Besides paying the registration fees, it is required to fill in the registration form at the website of the conference.

BEST PAPER AWARDS:

An award will be offered to the authors of the two best papers accepted to the conference. Only papers fully authored by PhD students are eligible. The award intends to cover their travel expenses.

IMPORTANT DATES:

Paper submission: December 3, 2009
Notification of paper acceptance or rejection: January 21, 2010
Final version of the paper for the LNCS proceedings: February 3, 2010
Early registration: February 15, 2010
Late registration: May 14, 2010
Starting of the conference: May 24, 2010
Submission to the post-conference special issue(s): August 27, 2010

FURTHER INFORMATION:

gindorf-ti@...

CONTACT:

LATA 2010
Universität Trier
Fachbereich IV – Informatik
Campus II, Behringstraße
D-54286 Trier

Phone: +49-(0)651-201-2836
Fax: +49-(0)651-201-3954
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

Call for participation: Methods for Modalities 6

2009-10-07T05:51:12Z

====================================================================
CALL FOR PARTICIPATION
6th Workshop on METHODS FOR MODALITIES (M4M-6)
http://m4m.loria.fr/M4M6
Copenhagen, Denmark
November 12-14, 2009
NOTE: The deadline for early registration is October 19
====================================================================

Scope
-----
The workshop METHODS FOR MODALITIES (M4M) aims to bring together
researchers interested in developing algorithms, verification methods
and tools based on modal logics. Here the term "modal logics" is
conceived broadly, including temporal logic, description logic,
guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature
a number of invited talks by leading scientists, research
presentations aimed at highlighting new developments, and submissions
of system demonstrations.

More information about the previous editions can be found at

http://m4m.loria.fr/

Autumn School
-------------
M4M-6 will be preceded by a two-day mini-course called "Autumn School
on Modal Logic" aimed at preparing PhD students and other researchers
for participation in the workshop. The autumn school will be taught
by Carlos Areces, Patrick Blackburn, Valentin Goranko, Renate Schmidt,
and Carsten Schürmann. Consult the autumn school home page for further
information:

http://hylocore.ruc.dk/m4m6school.html

The autumn school is associated with the FIRST research school
(http://first.dk).

Registration
------------
To register for the workshop and/or the preceding autumn school on
modal logic, please visit the following site:

http://hylocore.ruc.dk/m4m6registration.html

Note that the deadline for early registration is October 19.

Workshop venue
--------------
M4M will take place at the IDA Conference Center in the center of
Copenhagen
(http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx).
The preceeding autumn school will take place at the IT University
of Copenhagen (http://www1.itu.dk/sw5211.asp). For travelling and
accommodation information, please consult the workshop home page
(http://m4m.loria.fr/M4M6/).

Invited speakers
-----------------
- Franz Baader, TU Dresden
"Small is again beautiful in description logics"
(http://lat.inf.tu-dresden.de/~baader/index-en.html)
- Barteld Kooi, University of Groningen
"Logics for intelligent interaction"
(http://www.philos.rug.nl/~barteld/)
- Kim Guldstrand Larsen, Aalborg University
"Modal logics for specification and verification"
(http://www.cs.aau.dk/~kgl/)
- Renate Schmidt, University of Manchester
"Simulation and Synthesis of Deduction Calculi"
(http://www.cs.man.ac.uk/~schmidt/)
- Yde Venema, University of Amsterdam
"Proof systems for Moss' co-algebraic modality"
(http://staff.science.uva.nl/~yde/)

Important dates
---------------
Deadline for early registration M4M-6: October 19, 2009
Deadline for late registration M4M-6: November 5, 2009
Deadline for registration autumn school: November 5, 2009
Autumn school dates: November 11-12, 2009
M4M-6 workshop dates: November 12-14, 2009

Local organisers
----------------
- Thomas Bolander, Technical University of Denmark
tb@...
- Torben Braüner, Roskilde University
torben@...

Program Committee
-----------------
Carlos Areces, INRIA Lorraine
Lars Birkedal, IT University of Copenhagen
Patrick Blackburn, INRIA Lorraine
Thomas Bolander (co-chair), Technical University of Denmark
Julian Bradfield, University of Edinburgh
Torben Braüner (co-chair), Roskilde University
Balder ten Cate, University of Amsterdam
Stephane Demri, ENS de Cachan
Hans van Ditmarsch, University of Otago
Melvin Fitting, City University of New York
John Gallagher, Roskilde University
Mai Gehrke, Radboud University Nijmegen
Silvio Ghilardi, University of Milano
Valentin Goranko, University of the Witwatersrand
Rajeev Goré, ANU
Michael R. Hansen, Technical University of Denmark
Andreas Herzig, IRIT
Wiebe van der Hoek, University of Liverpool
Martin Lange, LMU München
Carsten Lutz, Dresden University of Technology
Angelo Montanari, University of Udine
Valeria de Paiva, Cuil Inc.
Thomas Schneider, University of Manchester
Carsten Schürmann, IT University of Copenhagen
Gert Smolka, Saarland University
Anders Søgaard, University of Copenhagen
Jørgen Villadsen, Technical University of Denmark
Frank Wolter, University of Liverpool
Thomas Ågotnes, Bergen University College
==================================================================

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

CFP: Advances in Modal Logic 2010

2009-10-07T00:28:39Z

[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]

AiML-2010: FIRST CALL FOR PAPERS

8-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
MOSCOW, AUGUST 25-29, 2010

http://aiml10.mi.ras.ru/

Advances in Modal Logic is an initiative aimed at presenting
the state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes based on
the conferences. Information about the AiML series can be obtained at
http://www.aiml.net <http://www.aiml.net> . AiML-2010 is the eighth
conference in the series.

TOPICS
We invite submission on all aspects of modal logics, including:

- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic
+ complexity and decidability of modal and temporal logics
+ modal and temporal logic programming
+ model checking
+ theorem proving for modal logics
- theoretical aspects of modal logic
+ algebraic and categorical perspectives on modal logic
+ coalgebraic modal logic
+ completeness and canonicity
+ correspondence and duality theory
+ many-dimensional modal logics
+ modal fixed point logics
+ model theory of modal logic
+ proof theory of modal logic
- specific instances and variations of modal logic
+ description logics
+ dynamic logics and other process logics
+ epistemic and deontic logics
+ modal logics for agent-based systems
+ modal logic and game theory
+ modal logic and grammar formalisms
+ provability and interpretability logics
+ spatial and temporal logics
+ hybrid logic
+ intuitionistic logic
+ substructural logics

Papers on related subjects will also be considered.

INVITED SPEAKERS: TO BE ANNOUNCED

PAPER SUBMISSIONS
There will be two types of submissions to AiML-2010

(1) Full papers for publication in the proceedings and presentation at the
conference.

(2) Abstracts for short presentation only.

Both types of papers should be submitted electronically using the
EasyChair submission page at

http://www.easychair.org/conferences/?conf=aiml2010

(1) FULL PAPERS
Authors are invited to submit, for presentation at the conference and
publication in the proceedings, full papers reporting on original research
and not submitted elsewhere. The proceedings of AiML'2010 will be published
by College Publications

http://www.collegepublications.co.uk

in a volume to be made available at the conference.

The submissions should be at most 15 pages, with an optional technical
appendix of up to 5 pages, together with a plain-text abstract of 100-200
words. The submissions must be typeset in LaTex, using a style file and
template that will be provided on the AiML'2010 website
http://aiml10.mi.ras.ru/ in due time.

At least one author of each accepted paper must register for, and attend,
the conference to present the paper.

(2) ABSTRACTS
These should be at most 5 pages. They may describe preliminary results, work
in progress etc., and will be subject to light reviewing. The accepted
abstracts will be made available at the conference, and the authors will
have the opportunity to make short presentations (of up to 15 minutes) on
them.

PROGRAMME COMMITTEE:

Carlos Areces (INRIA, Nancy-Grand Est, France)
Philippe Balbiani (IRIT, Toulouse, France)
Alexandru Baltag (University of Oxford, UK)
Lev Beklemishev (Moscow State University, Russia)
Johan van Benthem (ILLC, University of Amsterdam, The Netherlands)
Guram Bezhanishvili (New Mexico State University, USA)
Torben Brauner (Roskilde University, Denmark)
Patrick Blackburn (INRIA, Nancy-Grand Est, France)
Balder ten Cate (LSV, ENS Cachan, France)
Stephane Demri (LSV, ENS Cachan, France)
Melvin Fitting (Lehman College, CUNY, USA)
Silvio Ghilardi (University of Milano, Italy)
Robert Goldblatt (Victoria University of Wellington, New Zealand)
Rajeev Gore (The Australian National University, Australia)
Andreas Herzig (IRIT, Toulouse, France)
Ian Hodkinson (Imperial College London, UK)
Wiebe van der Hoek (University of Liverpool, UK)
Rosalie Iemhoff (University of Utrecht, The Netherlands)
Alexander Kurz (University of Leicester, UK)
Martin Lange (Ludwig-Maximilians University, Munich, Germany)
Carsten Lutz (University of Bremen, Germany)
Larisa Maksimova (Sobolev Inst. of Mathematics, Novosibirsk, Russia)
Edwin Mares (Victoria University of Wellington, New Zealand)
Larry Moss (Indiana University, USA)
Martin Otto (Technical University of Darmstadt, Germany)
Dirk Pattinson (Imperial College London, UK)
Mark Reynolds (University of Western Australia, Australia)
Renate Schmidt (University of Manchester, UK)
Nobu-Yuki Suzuki (Shizuoka University, Japan)
Yde Venema (ILLC, University of Amsterdam, The Netherlands)
Igor Walukiewicz (LABRI, Bordeaux, France)
Frank Wolter (University of Liverpool, UK)
Michael Zakharyaschev (Birkbeck College, London, UK)

PROGRAMME COMMITTEE CO-CHAIRS
Valentin Shehtman (Moscow State University, Russia)
Valentin Goranko (Technical University of Denmark, Denmark)

ORGANIZING COMMITTEE CHAIR:
Lev Beklemishev (Steklov Mathematical Institute, Moscow, Russia)

IMPORTANT DATES
Full papers submission deadline: 16 March 2010
Full papers acceptance notification: 21 May 2010
Short presentations submission deadline: 1 June, 2010
Short presentations acceptance notification: 21 June, 2010
Final version of full papers and abstracts due: 30 June 2010
Conference: 25-29 August, 2010.

CONFERENCE LOCATION
Advances in Modal Logic 2010 will be held at
Steklov Mathematical Institute, Moscow

FURTHER INFORMATION
AiML 2010 website: http://aiml10.mi.ras.ru/

ENQUIRIES
E-mail enquiries should be directed respectively to the chair of the
organizing committee, sent to lbekl(at)yandex(dot)ru,
or to the PC co-chairs, sent to aimolog2010@....
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

CfPart: FMICS 2009, 2-3 November 2009, Final Call

2009-10-06T00:48:37Z

FMICS 2009 - FINAL CALL FOR PARTICIPATION
Please visit: http://users.dsic.upv.es/workshops/fmics2009

************************************************************
* 14th International Workshop on *
* Formal Methods for Industrial Critical Systems *
* FMICS 2009 *
* *
* part of the first FMweek *
* November 2-3, 2009 *
* Eindhoven, The Netherlands *
************************************************************
* ** NEWS ** *
* *
* >> Final programme *
* *
* >> Normal registration before October 19 *
* *
* >> Springer LNCS 5825 proceedings *
* *
************************************************************

FMICS 2009 is the fourteenth in a series of International
Workshop on Formal Methods for Industrial Critical Systems.
Previous workshops of the ERCIM working group on Formal
Methods for Industrial Critical Systems were held in Oxford
(March 1996), Cesena (July 1997), Amsterdam (May 1998),
Trento (July 1999), Berlin (April 2000), Paris (July 2001),
Malaga (July 2002), Trondheim (June 2003), Linz (September
2004), Lisbon (September 2005), Bonn (August 2006), Berlin
(July 2007), and L'Aquila (September 2008).

The aim of the FMICS workshop series is to provide a forum
for researchers who are interested in the development and
application of formal methods in industry. In particular,
these workshops bring together scientists and engineers who
are active in the area of formal methods and are interested
in exchanging their experiences in the industrial usage of
these methods. These workshops also strive to promote
research and development for the improvement of formal
methods and tools for industrial applications.

Complete and up to date information can be found at the
event website http://users.dsic.upv.es/workshops/fmics2009/.
FMICS 2009 is part of the 1st FMweek (Formal Methods week,
http://www.win.tue.nl/fmweek/), which brings together 10
international scientific events, 6 project and working
group meetings, and a variety of other activities in
the area. Further information about the FMICS working
group and the next FMICS workshop can be found at:
http://www.inrialpes.fr/vasy/fmics.

INVITED SPEAKERS
----------------
Dino Distefano Queen Mary, University of London, UK
Diego Latella CNR/ISTI, Italy
Thierry Lecomte ClearSy, France
Ken McMillan Cadence Berkeley Labs, USA

Following a tradition established over the past few
years, the European Association of Software Science and
Technology (EASST) will offer an award to the best
FMICS paper.

PROGRAM CHAIRS
--------------
Maria Alpuente Technical University of Valencia, Spain
Byron Cook Microsoft Research, UK

WORKSHOP CHAIR
--------------
Christophe Joubert Technical University of Valencia, Spain

VENUE
-----
The venue for FMICS 2009 is the Auditorium of Eindhoven
University of Technology. The university campus lies in the
centre of Eindhoven, within walking distance of conference
hotels. The city itself can easily be reached via both its
own airport and Schiphol (the Dutch mainport).

REGISTRATION
------------
The event website provides a one-stop window where
participants can register to FMICS 2009 and to any
combination of FMweek events they would like to participate
in, and make hotel reservation for their stay in Eindhoven.

************************************************************
* *
* +============================================+ *
* | | *
* | ** FMweek ** | *
* | | *
* +============================================+ *
* | FMICS | FM2009 | REFINE | *
* +--------------------------------------------+ *
* | PDMC | TESTCOM/FATES | *
* +--------------------------------------------+ *
* | FACS | CPA | FAST | FMCO | *
* +--------------------------------------------+ *
* | http://www.win.tue.nl/fmweek | *
* +============================================+ *
* *
************************************************************
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

HLDVT 2009 Call for Participation: Early Registration Deadline

2009-10-05T22:42:48Z

IEEE International High Level DesignValidation and Test Workshop 2009

November 4-6, 2009

Grand Hyatt, San Francisco (Union Square)

Register at http://www.hldvt.com/09/registration.html before October 7^th to receive discounted registration rates. Book your hotel room in the heart of San Francisco at a discounted rate of $140.

For the past 13 years, IEEE International High Level Design Validation and Test Workshop has been a platform for addressing emerging challenges in verification and test methodologies for ICs and systems. The workshop is an informal forum where EDA tool developers, academics, and industrial practitioners get together to discuss contemporary issues in verification, debug, synthesis, and test.

This year's program will feature….

· Keynote Address by Sunil R. Shenoy - Vice President, Intel Architecture Group, and General Manager, Microprocessor and Graphics Development - Intel Corporation

· Seventeen Regular Papers

· Panel: SystemC Why: To Design or to Verify? What experts say?

· Special Session: Innovative Industrial Practices

· Three Invited Sessions:

· RTL Validation and Debug

· High-Level Modeling and Validation

· Post-Silicon Validation and Debug

Helpful Links:

Advance Program: http://www.hldvt.com/09/HLDVTAP09.pdf

Hotel Information: http://www.hldvt.com/09/local.html

Home Page: http://www.hldvt.com/09/index.html
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

FMCAD'09 Call For Participation

2009-10-04T10:16:50Z

Dear colleague,

we put together a very interesting program for FMCAD'09!

http://fmv.jku.at/fmcad09

Please register soon. Early registration ends on October 11!

FMCAD'09 takes place from November 15 through 18 at the
University of Texas at Austin. Beside presentations of
30 accepted papers we have

* two keynotes, one by Turing Award Winner E. Allen Emerson
(UT Austin) on "Formal Methods: From Start to Limit" and
another keynote from John D. Barton (Intel) on "Post Silicon
Validation/Verification practices in the PC industry"

* three industrial experience reports by Michael Theobald
(D.E. Shaw), John Penix (Google), and
Jorg Bormann (OneSpin Solutions),

* and last but not least two tutorials, one by
Nikolaj Bjorner (Microsoft) on "Bit-Precise Constraints:
Applications and Decision Procedures" and another tutorial by
Moshe Vardi (Rice) on "Formal Techniques for SoC Verification"

There are two panels organized by Vigyan Singhal (Oski Technology)

* a semiconductor panel on the topic "Frontline users speak up!
What works, What doesn't, and What are they doing about it?"

Ken Albin (AMD), Alan Carlin (Freescale), Velu Durairaj (TI),
Alan Hunter (ARM), Tushar Ringe (ADI), Dan Smith (NVIDIA)

moderated by Adnan Aziz (UT Austin)

* an EDA vendors lunch panel on "What will be the next
breakthrough solutions in formal?"

Harry Foster (Mentor Graphics),
Ziyad Hanna (Jasper Design Automation),
Kevin Harrer (Synopsys), Axel Scherer (Cadence)

moderated by JL Gray (Verilab)

Note again that early registration ends already on October 11.

We hope to see you in Austin!

Regards,

Armin Biere and Carl Pixley (co-chairs)
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

* FLOPS 2010: Last Call for Papers *

2009-10-02T12:09:35Z

----------------------------------------------------------------------------
LAST CALL FOR PAPERS

Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan

http://www.kb.ecei.tohoku.ac.jp/flops2010/

Submission deadline: October 16, 2009

FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held in Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), and Ise
(2008).

TOPICS

FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):

Declarative Pearls: new and excellent declarative programs with
illustrative applications.

Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.

Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.

Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.

Applications: case studies, real-world applications, graphical
user interfaces, Internet applications, XML, databases, formal
methods and model checking.

The proceedings will be published as an LNCS volume. The proceedings
of the previous meeting (FLOPS 2008) were published as LNCS 4989.

INVITED SPEAKERS

TBD

PC CO-CHAIRS

Matthias Blume (Google, Chicago, USA)
German Vidal (Technical University of Valencia, Spain)

CONFERENCE CHAIR

Naoki Kobayashi (Tohoku University, Sendai, Japan)

PC MEMBERS

Nick Benton (Microsoft Research, Cambridge, UK)
Manuel Chakravarty (University of New South Wales, Australia)
Michael Codish (Ben-Gurion University of the Negev, Israel)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Agostino Dovier (University of Udine, Italy)
John P. Gallagher (Roskilde University, Denmark)
Maria Garcia de la Banda (Monash University, Australia)
Michael Hanus (University of Kiel, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Patricia Johann (Rutgers University, USA)
Shin-ya Katsumata (Kyoto University, Japan)
Michael Leuschel (University of Dusseldorf, Germany)
Francisco Lopez-Fraguas (Complutense University of Madrid, Spain)
Paqui Lucio (University of the Basque Country, Spain)
Yasuhiko Minamide (University of Tsukuba, Japan)
Frank Pfenning (Carnegie Mellon University, USA)
Francois Pottier (INRIA, France)
Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)
Chung-chieh "Ken" Shan (Rutgers University, USA)
Zhong Shao (Yale University, USA)
Jan-Georg Smaus (University of Freiburg, Germany)
Nobuko Yoshida (Imperial College London, UK)

LOCAL CHAIR

Eijiro Sumii (Tohoku University, Sendai, Japan)

SUBMISSION

Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. Submissions should
fall into one of the following categories:

Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.

System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.

All submissions must be written in English and can be up to 15
proceedings pages long. Authors are strongly encouraged to use
LaTeX2e and the Springer llncs class file, available at
http://www.springer.de/comp/lncs/authors.html

Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a
web page, or an appendix). Papers should be submitted electronically
at http://www.easychair.org/conferences/?conf=flops2010

IMPORTANT DATES

Submission deadlines:
- Abstract: October 16, 2009
- Paper: October 23, 2009
Author notification: December 21, 2009
Camera-ready copy: January 24, 2010
Conference: April 19-21, 2010

PLACE

Sendai, Japan

Some previous FLOPS:

FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
FLOPS 2004, Nara
FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/

SPONSOR

JSSST SIG-PPL

IN COOPERATION with

AAFS (Asian Association for Foundation of Software)
ACM SIGPLAN
ALP (Association for Logic Programming)

----------------------------------------------------------------------------

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

RuleML-2009 Call for Participation

2009-10-01T09:48:30Z

---------------------------------------------------------------------------
Want to learn more about rule technologies, applications and standards?
Want to discuss latest research results and developments?
Want to get in touch with the industry and research experts in rule-based
systems and technologies?

Don't miss RuleML-2009

http://2009.ruleml.org/registration
---------------------------------------------------------------------------

RuleML 2009

3rd International Symposium on Rules, Applications and Interoperability
November 5-7 2009, Las Vegas, Nevada, USA

http://2009.ruleml.org/

co-located with the 12th Business Rules Forum

----------------------------

We cordially invite you to participate in the 3rd International Symposium on
Rules, Applications and Interoperability (RuleML-2009) - the premier event
addressing research, applications and standards for rule technologies and
rule-based event processing technologies. It takes place in Las Vegas,
Nevada, USA, Nov. 5-7, collocated with the 12th Business Rules Forum, the
world's largest Business Rules event.

RuleML-2009 has evolved from an annual series of international workshops
since 2002, international conferences in 2005 and 2006, and international
RuleML Symposia since 2007, to the premier event on rule-based systems
addressing industry developments, standards and academic research at the
same time. RuleML-2009 is in the top 100 venues for impact factor (71):
http://citeseerx.ist.psu.edu/stats/venues. It is supported by W3C, OMG, ACM,
EPTS, AAAI, ECCAI, IAAIL, ACM, Belgian Business Rules Forum, MIT Sloan CIO
Symposium, BPM Forum Belgium and a listed EU ICT technology conference.

We are building an excellent program with renowned experts as keynote
speakers, tutorials, standards panel sessions, Open Source Day, W3C RIF
workshop, Int. Rule Challenge with prestigious prizes, etc.

MAKE RULEML-2009 YOUR SHOWCASE!

Submit to the 3rd Int. Rule Challenge at http://2009.ruleml.org/challenge

*******************************************************************
RuleML-2009 highlights and news:

* 3rd Int. Rule Challenge

"Demonstration of benchmarks/evaluations, demos, case studies / use
cases, experience reports, best practice solutions, rule-based
implementations/ tools/ applications, demonstrations engineering methods,
implementations of rule standards"

* Rule Open Source Day

"Discover how Open Source Rules solutions are being deployed in the
marketplace and how they compare to proprietary solutions"

* Lunch Panel on Standards for Business Rules

"Want to learn more about latest business rules standard in W3C, OMG, OASIS,
ISO, RuleML and how these apply in the enterprise business arena"

* W3C Rule Interchange Format Standard Workshop

* Keynotes and special talks by
Sandro Hawke (W3C) about W3C RIF
Donald Chapin (OMG) about OMG SBVR and ISO Terminology standards

Paul Vincent (TIBCO) about CEP and Rules
Jans Aasman (FranzInc. CEO)

* Tutorials by
Mark Proctor (Drools) - Drools Tutorial
Christian Saint Marie (ILog/IBM) - W3C RIF Tutorial
Larry Goldberg and Babara von Halle - Decision Management
Guido Governatori (NICTA) - Business Process Compliance

* Tracks on
Rule-based Event Processing
Rule Systems on the Web
Rule Transformation and Extraction
Process and Data
Rules and Norms
Rules and Uncertainty

* RuleML-2009 Springer LNCS proceedings published
* 3rd Rule Challenge CEUR proceedings to appear
* IEEE TKDE special issue on Rule technologies to appear Dec. 2009
* Forthcoming RuleML-2009 special journal issue
*******************************************************************

Supported by
===================================================================
W3C, OMG, ACM, AAAI, ECCAI, IAAIL, ACM, Belgian Business Rules Forum
MIT Sloan CIO Symposium, EPTS, BPM Forum Belgium

Sponsored by
===================================================================

BBN Technologies
Franz Inc
NICTA (National ICT Australia) Ltd
Corporate Semantic Web
Logic Programming Associated Ltd
ruleCore
JBoss RedHat
Modelsystems Ltd

(sponsoring opportunities: http://2009.ruleml.org/sponsors)
===================================================================

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

FIRST PhD Autumn School on Modal Logic

2009-10-01T05:38:15Z

Call for Participation

FIRST PhD Autumn School on Modal Logic

IT University of Copenhagen, Denmark
November 10-11 2009

<http://hylocore.ruc.dk/m4m6school.html>

The goal of the Autumn School on Modal Logic is to prepare PhD
students and other researchers for participation in the sixth workshop
Methods for Modalities (M4M-6) which takes place November 12-14 2009
in Copenhagen. The workshop Methods for Modalities aims to bring
together researchers interested in developing proof tools and decision
methods based on modal logics. Here the term "modal logics" is
conceived broadly, including description logic, guarded fragments,
conditional logic, temporal and hybrid logic, etc. The first M4M
workshop took place in Amsterdam in 1999. Since then, M4M workshops
have taken place in 2001 (Amsterdam), 2003 (Nancy), 2005 (Berlin), and
2007 (Paris). See

<http://m4m.loria.fr>

for more information on the workshop series, in particular, see why
modal logic is important for computer science. A goal of having M4M
in Denmark is to strengthen Danish research in reasoning methods for
modal logics, which is a growing area of foundational and increasingly
computational importance.

The Autumn School on Modal Logic is open to anyone interested. The
intended participants will have a general background in theoretical
computer science, but wish to obtain more concrete knowledge on modal
logic and its computational aspects. Besides a working knowledge of
English, prerequisites are a basic knowledge of logic and mathematics
that is usually covered in undergraduate classes on discrete
mathematics.

Lecturers and topics:

Computational Modal Logic
Carlos Areces and Patrick Blackburn, INRIA, Nancy

Temporal Logics for Specification and Verification
Valentin Goranko, Technical University of Denmark

The Judgmental Reconstruction of Modal Logic
Carsten Schürmann, IT University of Copenhagen

Resolution-Based Theorem Proving for Modal and Description Logic
Renate Schmidt, University of Manchester

Hybrid Deduction
Patrick Blackburn, INRIA, Nancy

Time and place:

The Fall school will take place at the IT University of Copenhagen
November 10 and 11 2009.

Registration:

The registration deadline for the Autumn school is

*** Friday, October 23 2009 ***

Please register here: http://hylocore.ruc.dk/m4m6registration.html

FIRST PhD students participate free of charge.

Organization:

Thomas Bolander, Technical University of Denmark
Torben Braüner, Roskilde University
Carsten Schürmann, IT University of Copenhagen

Torben Braüner (torben@...) is main organizer of the school and
can be contacted for more information. The Autumn School on Modal Logic
is supported by the FIRST Research School (http://first.dk) and the
research project HYLOCORE (http://hylocore.ruc.dk).
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

RR 2009 Call for Participation

2009-09-30T16:16:27Z

Apologies for multiple postings:

Late registration deadline approaching!

Call FOR PARTICIPATION

RR 2009
The Third International Conference on
Web Reasoning and Rule Systems
http://www.rr-conference.org

You are invited to RR 2009, the major forum for discussion and
dissemination of new results concerning Web Reasoning and Rule
Systems. The vast scale and the diverse nature of the Semantic Web
presents numerous challenges for knowledge representation and
reasoning. Accordingly, the program features papers on practical and
theoretical aspects of reasoning, including reasoning under
uncertainty and inconsistency, and combining reasons with actions, as
well as scalability and efficiency considerations. Other papers
explore extensions and applications of current standards and
techniques for the Semantic Web including combining rule based systems
with ontologies and description logics, module systems for ontologies
and rules, ontology alignment, and path query languages.

Invited Talks and Tutorial

-- Robert Kowalski "Integrating Logic Programming and Production
Systems with Abductive Logic Programming Agents"

-- Benjamin Grossof "SILK: Higher Level Rules with Defaults and
Semantic Scalability"

-- Thomas Lukasiewicz "Uncertainty Reasoning for the Semantic Web"

The complete list of accepted papers is available at
http://www.rr-conference.org/RR2009.

RR 2009 will be held near Washington, D.C. in Chantilly, Virginia
October 25-26, 2009. It is co-located with ISWC 09 and OWLED 2009.
Registrants of RR 2009 may attend ISWC workshops and tutorials for
free.

Further registration information can be found at

https://ww2.eventrebels.com/er/Registration/StepRegInfo.jsp?ActivityID=4116&StepNumber=1

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

[fm-announcements] CFP: NASA Formal Methods Symposium 2010

2009-09-30T11:40:13Z

We apologize if you receive this message more than once. Please circulate
the information among your colleagues and students.

--------------------------------------------------
CALL FOR PAPERS: 2nd NASA Formal Methods Symposium
--------------------------------------------------

The NASA Formal Methods community invites you to submit a paper to:

The Second NASA Formal Methods Symposium (NFM 2010)
http://shemesh.larc.nasa.gov/NFM2010

April 13-15, 2010
Washington D.C.

--------------------------------------------------
Important Dates:
--------------------------------------------------

Submission (abstract): January 8, 2010
Submission (final): January 15, 2010
Notification: February 26, 2010
Final version: March 19, 2010

--------------------------------------------------
Theme of Conference:
--------------------------------------------------

The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia and industry, with the goals of identifying
challenges and providing solutions to achieving assurance in safety-critical
systems. Within NASA, for example, such systems include autonomous robots,
separation assurance algorithms for aircraft, and autonomous rendezvous and
docking for spacecraft. Moreover, emerging paradigms such as code generation
and safety cases are bringing with them new challenges and opportunities.
The focus of the symposium will be on formal techniques, their theory,
current capabilities, and limitations, as well as their application to
aerospace, robotics, and other safety-critical systems. The symposium aims
to introduce researchers, graduate students, and partners in industry to
those topics that are of interest, to survey current research, and to
identify unsolved problems and directions for future research.

NFM 2010 is the second edition of the NASA Formal Methods Symposium, which
started in 2009 and was organized by NASA Ames Research Center in Moffet
Field, California. The symposium originated from the earlier Langley Formal
Methods Workshop series and aims to foster collaboration between NASA
researchers and engineers, as well as the wider aerospace, safety-critical,
and formal methods communities.

--------------------------------------------------
Topics of Interest:
--------------------------------------------------

* Formal verification, including theorem proving, model checking,
and static analysis
* Automated test generation and formal testing of critical systems
* Model-based development
* Techniques and algorithms for scaling formal methods, such as
abstraction and symbolic methods, compositional techniques, as well as
parallel and distributed techniques
* Monitoring and run-time verification
* Code generation from formally verified models
* Safety cases
* Accident/safety analysis
* Formal approaches to fault tolerance
* Theoretical advances and empirical evaluations of formal methods
techniques for safety-critical systems, including hybrid and embedded
systems
* Formal methods in systems engineering

--------------------------------------------------
Submissions:
--------------------------------------------------

Submitted papers must be formatted in the EasyChair class style
(http://www.easychair.org/coolnews.cgi). There are two categories of
submissions (to be in NASA conference style):

* Regular papers describing fully developed work and complete
results (10 pages / 30 minute talks)
* Short papers describing interesting work in progress and/or
preliminary results (5 pages / 15 minute talks)

All papers should describe original work that has not been published
elsewhere. Submissions will be fully reviewed and the symposium proceedings
will appear as a NASA Conference Publication. Authors of selected papers
will then be invited to submit extended versions to a special issue of
"Innovations in Systems and Software Engineering: a NASA Journal"
(Springer).

Papers should be submitted through the following link:
http://www.easychair.org/conferences/?conf=nfm2010

--------------------------------------------------
For further information:
--------------------------------------------------

http://shemesh.larc.nasa.gov/NFM2010/
nfm2010@...

Mike Hinchey
NFM 2010 Conference Chair

Cesar Munoz
NFM 2010 Program Chair

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

INAP 2009: CALL FOR PARTICIPATION

2009-09-28T03:19:48Z

--- CALL FOR PARTICIPATION ---
INAP 2009

18th International Conference on
Applications of Declarative Programming
and Knowledge Management

November 5-7, 2009
Evora, Portugal

http://www.di.uevora.pt/inap2009/
http://inap.dialogengines.com/

Organized by the Portuguese AI Society (APPIA), the INAP Committee
and the Society of Logic Programming (GLP e.V.)

== Registration ==

Registration is now open; see details on the web site. Early
registration is available until October 15, 2009.

== INAP 2009 ==

INAP is a communicative and dense forum for intensive discussion of
applications of important technologies related to Logic and
Constraint Programming as well as closely related advanced software.
It comprehensively covers the impact of declarative programming
methods and tools in the Internet Society, its underlying
technologies, and leading edge applications in industry, commerce,
government, and societal services.

INAP 2009 continues a tradition of successful workshops cast around
the applications of declarative programming, which were held in Kobe
(1997), Tokyo (1995, 1996, 1998 - 2001), Potsdam (2004), Fukuoka
(2005) and Wuerzburg (2007).

== Workshop Program ==

Besides the regular presentations, the conference will host invited
talks by Antonio Porto and Terrance Swift. The provisional program,
including the list of accepted papers may be consulted on the web at
http://www.di.uevora.pt/inap2009/program-0.html

Hotel and travel information is available on the web site as well.

Looking forward to see you at the conference!

Dietmar Seipel and Salvador Abreu
Conference Chairs, INAP 2009

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

CMCS 2010 Pre-announcement/call for papers

2009-09-25T05:09:29Z

[- apologies for multiple copies -]
------------------------------------------------------
CMCS 2010 Pre-announcement/call for papers
------------------------------------------------------

The Tenth International Workshop on Coalgebraic Methods in Computer Science
26-28 March 2010, Cyprus, Greece (co-located with ETAPS 2010)

Webpage
-----------
http://event.cwi.nl/cmcs10/

Contact
----------
cmcs10@...

Aims and scope
------------------

The aim of the workshop is to bring together researchers
with a common interest in the theory of coalgebras and its applications.
Over the last two decades, coalgebra has developed into a field of
its own, presenting a mathematical foundation for various kinds
of dynamical systems, infinite data structures, and logics.
Coalgebra has an ever growing range of applications in and interactions
with other fields such as reactive and interactive system theory,
object oriented and concurrent programming, formal system specification,
modal logic, dynamical systems, control systems, category theory,
algebra, analysis, etc.

An anniversary: the 10th CMCS
----------------------------------------

CMCS took place for the first time when ETAPS started, in 1998.
Since then, it has always been collocated with ETAPS, becoming
bi-annual since the start of CALCO (Conference on Algebra and Coalgebra)
in 2005.

In 2010, we will celebrate the 10th edition of CMCS,
by inviting a number of specialists in the field to present overviews
of both obtained results and future challenges.

Programme Committee
--------------------- -----
Chairs: Bart Jacobs (RUN) and Jan Rutten (CWI, VUA, RUN).
Members: to be announced shortly.

Organising Committee
--------------------------

Bart Jacobs,
Milad Niqui (co-chair, CWI),
Jan Rutten,
Alexandra Silva (co-chair, CWI).

Submissions
--------------
There are two types of submissions possible:

(a) Papers to be evaluated by the PC for publication in the proceedings:
They must have a length no greater than 20 pages.
(Style files will be provided shortly.)

They must contain original contributions,
be clearly written, and include appropriate reference to and comparison
with related work.
Accepted papers will appear in either ENTCS or EPTCS.

Also a special journal issue of selected papers will be considered.

(b) Short contributions:
These will not be published in the proceedings
but will be bundled in a CWI technical report.

They should be no more than two pages and may describe work in progress,
summarise work submitted to a conference or workshop elsewhere,
or in some other way appeal to the CMCS audience.

Important dates
-------------------
* 8 January 2010: strict submission deadline regular papers
* 13 February 2010: notification regular papers
* 15 February 2010: deadline early registration
* 20 February 2010: final version
* 27 February 2010: strict submission deadline short contributions
* 6 March 2010: notification short contributions
* 26-28 March 2010: the workshop

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

DAMP 2010 - Extended Deadline [September 27th]

2009-09-23T07:50:31Z

DAMP 2010: Workshop on

Declarative Aspects of Multicore Programming

Madrid, SPAIN

(colocated with POPL 2010)

January, 2010

damp10.cs.nmsu.edu

----------------------------------------------------------------------

Extended DEADLINE: SEPTEMBER 27, 2009

----------------------------------------------------------------------

The advent of multicore architectures has profoundly increased the

importance of research in parallel computing. Modern platforms are

becoming more complex and heterogenous and novel solutions are needed

to account for their peculiarities.

Multicore architectures will differ in significant ways from their

multisocket predecessors. For example, the communication to compute

bandwidth ratio is likely to be higher, which will positively impact

performance. More generally, multicore architectures introduce several

new dimensions of variability in both performance guarantees and

architectural contracts, such as the memory model, that may not

stabilize for several generations of product.

Programs written in functional or (constraint-)logic programming

languages, or in other highly declarative languages with a controlled

use of side effects, can greatly simplify parallel programming. Such

declarative programming allows for a deterministic semantics even

when the underlying implementation might be highly non-deterministic.

In addition to simplifying programming this can simplify debugging and

analyzing correctness.

DAMP 2010 is the fifth in a series of one-day workshops seeking to

explore ideas in declarative programming language design that will

greatly simplify programming for multicore architectures, and more

generally for tightly coupled parallel architectures. The emphasis

will be on (constraint-)logic and functional programming, but any

declarative programming language ideas that aim to raise the level of

abstraction are welcome. DAMP seeks to gather together researchers in

declarative approaches to parallel programming and to foster cross

fertilization across different approaches.

Specific topics include, but are not limited to:

* investigation of applications of logic, constraint logic, and

functional programing to multicore programing

* run-time issues of exploitation of parallelism using declarative

programming approaches (e.g., garbage collection, scheduling)

* architectural impact on exploitation of parallelism from

declarative languages

* type systems and analysis for accurately detecting dependencies,

aliasing, side effects, and impure features

* language level declarative constructs for expressing parallelism

* declarative language specification for the description of data

placement and distribution

* compilation and static analysis techniques to support

exploitation of parallelism from declarative languages (e.g.,

granularity control)

* practical experiences and challenges arising from parallel

declarative programming

* technology for debugging parallel programs

* design and implementation of domain-specific declarative

languages for multicore programming

Submission:

Submitted papers papers should not exceed 10 pages in ACM

SIGPLAN conference format. Submission is electronic via:

http://www.easychair.org/conferences/?conf=damp10

Accepted papers will be published in the ACM Digital Library and

in a physical proceedings. Papers must adhere to the SIGPLAN

Republication Policy:

http://www.sigplan.org/republicationpolicy.htm

Concurrent submissions to other conferences, workshops, journals,

or similar forums of publication are not allowed. However, DAMP

is intended to be a venue for discussion and exploration of

works-in-progress, and so publication of a paper at DAMP 2010 is

not intended to preclude later publication as appropriate.

Additional information about the submission process can be found

at the conference web site.

Important dates:

Paper submission: Sept. 27

Notification to authors: Oct. 26

Camera ready: Nov. 9

Program Chair:

Enrico Pontelli

New Mexico State University

General Chairs:

Leaf Petersen

Intel Corporation

Santa Clara, CA, USA

Program Committee:

Manuel Carro Universidad Politecnica de Madrid

Clemens Grelck University of Hertfordshire

Haifeng Guo University of Nebraska at Omaha

Gabriele Keller University of New South Wales

Hans-Wolfgang Loidl Ludwig-Maximilians-Universitat Munchen

Leaf Petersen Intel Corporation

John Reppy University of Chicago

Ricardo Rocha University of Porto

Kostis Sagonas National Technical University of Athens

Vitor Santos Costa University of Porto

Satnam Singh Microsoft Research

Philip Trinder Heriot-Watt University

Pascal Van Hentenryck Brown University

URL:

http://damp10.cs.nmsu.edu

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

Verification and Debug at HLDVT

2009-09-22T22:34:20Z

Learn about recent advances in verification and debug at

IEEE International High Level Design Validation and Test Workshop 2009

November 4-6, 2009

Grand Hyatt, San Francisco (Union Square)

This year's program will feature….

· Keynote Address by Sunil R. Shenoy - Vice President, Intel Architecture Group, and General Manager, Microprocessor and Graphics Development - Intel Corporation

· Seventeen Regular Papers

· Panel: SystemC Why: To Design or to Verify?

· Special Session: Innovative Industrial Practices

· Three Invited Sessions:

· RTL Validation and Debug

· High-Level Modeling and Validation

· Post-Silicon Validation and Debug

Helpful Links:

Advance Program: http://www.hldvt.com/09/HLDVTAP09.pdf

Hotel Information: http://www.hldvt.com/09/local.html

Home Page: http://www.hldvt.com/09/index.html

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

1st CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies.

2009-09-20T08:24:25Z

Apologies for cross-postings

------------------------------------------------------------------------------
CALL FOR PAPERS
------------------------------------------------------------------------------

Workshop on Matching and Meaning:
Automated development, evolution and interpretation of ontologies

http://dream.inf.ed.ac.uk/events/wmm-2010

31st March 2010, part of AISB'10 Convention, Leicester, UK

OVERVIEW

The problem of semantic misalignment - of two (or more) systems failing
to understand one another when their semantic representation is not
identical - occurs in a huge variety of areas: the Semantic Web,
databases, natural language processing; anywhere, indeed, where
semantics are necessary but centralised control is undesirable or
impractical. In highly dynamic domains, where interactions are between
a large, diverse and evolving community, there is a need for the
resolving of these misalignments - through developing and evolving
existing ontologies or interpreting unknown ontologies in terms of
known ones - to be done automatically and on-the-fly.

The aim of this workshop is to bring together researchers interested in
the problems of automated development, evolution and interpretation of
ontologies in the many different domains in which it occurs. We are
primarily interested in the exchange of ideas and the stimulation of
debate, and the workshop is intended to be a forum for researchers to
present ongoing work and ideas and to engage in discussion with other
researchers from the field. We are particularly interested in novel
ideas and innovative research, which may be in its early stages, and
encourage reports on work in progress.

Topics of interest include:

* Ontology evolution
* Ontology matching and alignment
* Ontology versioning
* Representational or structural change
* Formal aspects of ontology dynamics
* Formalisation of and reasoning with contexts
* Foundational issues
* Social and collaborative matching
* Background knowledge in matching
* Extensions to ontology languages to better support change
* Non-monotonic reasoning for ontologies and the Semantic Web
* Inconsistency handling in evolving ontologies
* Uncertainty in matching
* Change propagation in ontologies and metadata
* Ontologies for dynamic environments
* Dynamic knowledge construction and exploitation
* Matching for dynamic applictions (e.g., p2p, agents, web-services)
* Case studies, software tools, use cases, applications
* Open problems

SUBMISSION GUIDELINES

We encourage the submission of extended abstracts of 2-5 pages that
discuss ongoing research, problem descriptions and overviews of the
domain. Accepted papers will be included in the AISB 2010 proceedings
unless the authors prefer them not to be (for example, if the work is
very similar to work presented elsewhere which they nevertheless feel
it would be valuable to present in this context, or if the work is at
a stage where discussion would be valuable but publication would be
premature). Authors wishing their submissions to be included in the
convention proceedings must follow the style guide on the convention
website.

Submissions will be subject to light reviewing, mainly intended to
check fit to workshop.

Abstracts should be submitted electronically in pdf format to
mchan-at-ed.ac.uk by 18th December 2009. Notification of acceptance
will be sent to the submitting author on 15th February 2010.

VENUE

The workshop will take place at De Montfort University in Leicester,
as part of the AISB 2010 Convention
(http://www.aisb.org.uk/convention/aisb10/), from March 31st to 1st
April, 2010. All workshop participants must be registered for the AISB
2010 Convention. Registration for this workshop is included in the
convention registration fee.

IMPORTANT DATES

Submission: Friday, 18th December 2009
Notification: Monday, 15th February 2010
Workshop: 31st March - 1st April 2010
AISB10 Convention: 29th March - 1st April 2010

PROGRAMME

Presentations: Authors of accepted abstracts will give presentations of
their work; exact times to be decided.

Posters: If it is not possible to fit in presentations for all accepted
authors, some may be asked to present posters instead. There will be a
session of 5 minute poster talks.

Panel: The technical programme will end with a 90 minute panel
discussion on a topic of mutual interest to be decided. Three speakers
will speak for 10 minutes each with a brief to stimulate debate during
the remaining 60 minutes. Discussion amongst all participants, rather
than question-and-answering for the panel, will be strongly encouraged.

ORGANISERS

Fiona McNeill, University of Edinburgh, UK
Michael Chan, University of Edinburgh, UK

PROGRAMMING COMMITTEE

Manuel Atencia Arcas, IIIA-CSIC, Spain
Paolo Besana, University of Edinburgh, UK
Alan Bundy, University of Edinburgh, UK
Jerome Euzenat, INRIA Grenoble Rhone-Alpes, France
Fausto Giunchiglia, University of Trento, Italy
Adam Pease, Articulate Software, USA
Pavel Shvaiko, TasLab, Informatica Trentina, Italy

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

Call for Papers: PLPV 2010

2009-09-18T13:21:14Z

Call For Papers

Programming Languages meets Program Verification (PLPV) 2010

http://slang.soe.ucsc.edu/plpv10/

Tuesday, January 19, 2010
Madrid, Spain
Affiliated with POPL 2010

Overview: The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic and/or
structural properties of the programming language. One example is
dependently typed programming languages, which leverage a language's
type system to specify and check richer than usual specifications,
possibly with programmer-provided proof terms. Another example is
extended static checking systems like Spec#, which extends C# with
pre- and postconditions along with a static verifier for these
contracts.

We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage cross-pollination between different
communities, we seek a broad the scope for PLPV. In particular,
submissions may have diverse foundations for verification (type-based,
Hoare-logic-based, etc), target diverse kinds of programming languages
(functional, imperative, object-oriented, etc), and apply to diverse
kinds of program properties (data structure invariants, security
properties, temporal protocols, etc).

Submissions: Submissions should fall into one of the following three
categories:

1. Regular research papers that describe new work on the above or
related topics. Submissions in this category have an upper limit
of 12 pages, but shorter submissions are also encouraged.

2. Work-in-progress reports should describe new work that is
ongoing and may not be fully completed or evaluated. Submissions
in this category should be at most 6 pages in total length.

3. Proposals for challenge problems which the author believes is
are useful benchmarks or important domains for language-based
program verification techniques. Submissions in this category
should be at most 6 pages in total length.

Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.
Papers should be submitted through Easychair,
at http://www.easychair.org/conferences/?conf=plpv2010

Publication: Accepted papers will be published by the ACM and appear
in the ACM digital library.

Student Attendees: Students with accepted papers or posters are
encouraged to apply for a SIGPLAN PAC grant that will help to cover
travel expenses to PLPV. Details on the PAC program and the
application can be found on the workshop web page. PAC also offers
support for companion travel.

Important Dates:

* Electronic submission: October 8, 2009, 11:59pm Samoa time (UTC-11)
* Notification: November 8, 2009
* Final version: November 17, 2009
* Workshop: January 19, 2010

Organizers:

* Cormac Flanagan (University of California, Santa Cruz)
* Jean-Christophe Filliâtre (CNRS)

Program Committee:

* Adam Chlipala (Harvard University)
* Ranjit Jhala (University of California, San Diego)
* Joseph Kiniry (University College Dublin)
* Rustan Leino (Microsoft Research)
* Xavier Leroy (INRIA Paris-Rocquencourt)
* Conor McBride (University of Strathclyde)
* Andrey Rybalchenko (Max Planck Institute for Software Systems)
* Tim Sheard (Portland State University)
* Stephanie Weirich (University of Pennsylvania)

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

Final CFP: Australasian Ontology Workshop (AOW 2009): Papers due 25 September 2009

2009-09-17T17:46:09Z

5th Australasian Ontology Workshop (AOW 2009)
1 December 2009
Held in Conjunction with the
22nd Australian Joint Conference on Artificial Intelligence (AI'09)
University of Melbourne, Melbourne, Australia
http://ksg.meraka.org.za/~aow2009

AOW 2009 is the fifth in a series of workshops on ontologies held
in the Australasian region.

The primary aim of the workshop is to bring together active researchers in
the broad area of ontologies. Topics of interest include, but are not
limited to:

- Ontology models and theories
- Ontologies and the Semantic Web
- Interoperability in ontologies
- Ontologies and Multi-agent systems
- Description logics for ontologies
- Reasoning with ontologies
- Ontology harvesting on the web
- Ontology of agents and actions
- Ontology visualisation
- Ontology engineering and management
- Ontology-based information extraction and retrieval
- Ontology merging, alignment and integration
- Web ontology languages
- Formal concept analysis and ontologies
- Ontologies for e-research
- Linking open data
- Significant ontology applications

The proceedings of the four previous workshops were published as
volumes in the Conferences in Research and Practice in
Information Technology (CRPIT) series (http://crpit.com/), and this
will again be the case for AOW 2009. As with the previous
workshops, we are investigating the possibility of extended versions
of selected papers appearing in a special issue of a suitable journal.

Submission information such as format etc. can be found on the
CRPIT website: http://crpit.com/AuthorsSubmitting.html. The page
limit is 10 pages.

Important Dates:
Paper submission deadline: 25 September 2009
Notification of acceptance/rejection: 23 October 2009
Camera-ready copies due: 13 November 2009
AOW 2009: 1 December 2009

Papers must be submitted via the EasyChair system at

http://www.easychair.org/conferences/?conf=aow2009

This year AOW 2009 will have a best paper award, with a prize
of $250(AUD) being awarded to the author(s) of the best paper.

Workshop Chairs:
Thomas Meyer
Meraka Institute, South Africa
tommie.meyer@...

Kerry Taylor
CSIRO ICT Centre
Kerry.Taylor@...

Program Committee:
Franz Baader (TU Dresden, Germany)
Richard Booth (Mahasarakham University, Thailand)
Arina Britz (Meraka Institute, South Africa)
Werner Ceusters (SUNY Buffalo, USA)
Michael Compton (CSIRO, Australia)
Oscar Corcho (Universidad Politecnica de Madrid, Spain)
R. Cenk Erdur (Ege University, Turkey)
Aurona Gerber (Meraka Institute, South Africa)
Dennis Hooijmaijers (University of South Australia, Australia)
Bo Hu (SAP Research, UK)
Renato Iannella (NICTA, Australia)
Ken Kaneiwa (NICT, Japan)
Marijke Keet (Free University of Bolzano, Italy)
Kevin Lee (NICTA and UNSW, Australia)
Laurent Lefort (CSIRO, Australia)
Costas Mantratzis (University of Westminster, UK)
Lars Moench (University of Hagen, Germany)
Deshendran Moodley (University of KwaZulu Natal, South Africa)
Mehmet Orgun (Macquarie University, Australia)
Maurice Pagnucco (UNSW, Australia)
Debbie Richards (Macquarie University, Australia)
Rolf Schwitter (Macquarie University, Australia)
Murat Sensoy (Bogazici University, Turkey)
Barry Smith (SUNY Buffalo, USA)
Markus Stumptner (University of South Australia, Australia)
Boontawee Suntisrivaraporn (Thammasat University, Thailand)
Sergio Tessaris (Free University of Bolzano, Italy)
Nwe Ni Tun (National University of Singapore, Singapore)
Ivan Varzinczak (Meraka Institute, South Africa)
Kewen Wang (Griffith University, Australia)
Antoine Zimmermann (DERI, Ireland)
_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

Call for Bids, ESSLLI 2011

2009-09-17T08:41:19Z

-----8<-----8<-----8<-----8<-----8<-----8<-----8<-----

Please distribute as widely as possible
and excuses for multiple posting.

************************************************
* Call for Bids to Host the 23-th ESSLLI, 2011 *
************************************************

The Association for Logic, Language and Computation (FoLLI) and
the ESSLLI Standing Committee invite proposals to host the 23-nd
European Summer School in Logic, Language, and Information
(ESSLLI), to be held in August 2011.

*** The ESSLLI Summer School ***

ESSLLI is a summer school which takes place two weeks in the
summer, every year since 1989. The school hosts approximately 50
courses at both introductory and advanced level, and convokes
around 500 participants each year from all over the world.

The main focus of the program of the summer schools is the
interface between linguistics, logic and computation. Courses,
both introductory and advanced, cover a wide variety of topics
within the combined areas of interest: Language and Computation,
Language and Logic, and Logic and Computation. Workshops are also
organized, providing opportunities for in-depth discussion of
issues at the forefront of research, as well as a series of
invited lectures.

Detailed information about the ESSLLI organization can be found in
the ESSLLI general guide, and the organizing and program committee
guides. The guides can be obtained via the Standing Committee
secretary.

*** Submission Procedure ***

At this time we seek draft proposals from prospective bidders.
Based on an evaluation of the draft proposals, promising bidders
will be asked to provide additional information for the final
selection procedure. The ESSLLI Standing Committee (SC), in
consultation with the management board of FoLLI, will finally
select the site, the organizing committee, and the program
committee, and supervise the subsequent organization.

*** Draft Proposals ***

Draft proposals should identify a target site, date and organizing
team with a chair who will be responsible for the overal
organization. The organization committee is responsible for all
matters having to do with the practical organization. Draft
proposals should at least include information on:

-> Location (accessibility; school venue; accommodation and
facilities)
-> Proposed dates and organizing team
-> Endorsement by hosting organization
-> Local Language, Logic, and Computation community
-> Meeting and accommodation venues; audiovisual equipment
-> Catering and reception facilities; social program
opportunities
-> Budget estimates

*** Proposal Assessment ***

Proposals will be evaluated according to the following criteria
(unordered):

-> Experience of organizing team, involvement in previous ESSLLIs
-> Local endorsement
-> Appropriateness of proposed dates
-> Accessibility and attractiveness of proposed site
-> Adequacy of campus facilities for the anticipated
number of registrants
-> Adequacy of residence accommodations and food services
in an appropriate range of price categories and close
to the conference facilities
-> Adequacy of budget projections
-> Geographical and national balance with regard to meetings in
the decade prior to 2011: Helsinki (2001), Trento (2002),
Wien (2003), Nancy (2004), Edinburgh (2005), Malaga (2006),
Dublin (2007), Hamburg (2008), Bordeaux (2009), Copenhagen (2010)

*** Important Dates ***

-> September 11, 2009, call for bids posted
-> November 6, 2009, draft proposals due
November/December, 2009, SC provides feedback
-> January 31, 2010, final proposals due
-> February 28, 2010, bid selected at ESSLLI SC meeting
-> August 14, 2010, OC and PC progress report
-> August, 2011, 23-nd ESSLLI

Information about FoLLI and ESSLLI can be found at: http://
www.folli.org/. If you want to consult the ESSLLI guidelines,
or have any other queries about drafting your bid, please contact
Sophia Katrenko or Paul Dekker. Draft proposals should be sent to:

Sophia Katrenko Paul Dekker
Informatics Institute ILLC/Department of Philosophy
Faculty of Science Faculty of Humanities
Universiteit van Amsterdam

Kruislaan 419 Nieuwe Doelenstraat 15
NL-1098 VA Amsterdam NL-1012 CP Amsterdam
The Netherlands

+31 (0)20 525 6786 +31 (0)20 5254541
+31 (0)20 525 6896 (fax) +31 (0)20 5254503 (fax)
katrenko@... p.j.e.dekker@...

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

World Congress and School, Lisbon 2010

2009-09-17T04:13:17Z

The third edition of the World Congress and School on Universal Logic will
happen April 18-25, 2010 in Lisbon, Portugal.

There will be:

10 invited speakers, among them: Hartry Field, George Grätzer, Yuri
Gurevich, Hiroakira Ono, Gehrard Jaeger, Dana Scott

10 special sessions, among them: logic diagrams, substructural logics,
non-classical mathematics, abstrac algebraic logic, negation categorial logic

21 tutorials, among them: Hybrid logic, Logical Pluralism, Erotetic
Logics, Truth-values, Theory of Institutions, Ideospheres

1 contest: How to combine logics?

Submission deadline for contributed talks is October 15, 2009

UNILOG'2010
World Congress and School on Universal Logic III
April 18-25, 2010, Lisbon, Portugal
http://www.uni-log.org

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

ASCM 2009 and MACIS 2009 - Extended Submission Deadline

2009-09-15T05:08:54Z

Apologies if you receive multiple copies of this announcement.

=====================================================================

The Joint Conference of ASCM 2009 and MACIS 2009

December 14th-17th, 2009

JAL Resort Sea Hawk Hotel, Fukuoka, Japan

Website: http://gcoe.math.kyushu-u.ac.jp/ascm-macis2009/
Contact Address: ascm-macis2009@...

=====================================================================

IMPORTANT DATES
---------------
Sep 25, 2009 EXTENDED Submission deadline
Oct 20, 2009 Notification of acceptance/rejection

BACKGROUND
----------
Two international conferences

* the 9th Asian Symposium on Computer Mathematics (ASCM 2009) and
* the 3rd International Conference on Mathematical Aspects of Computer
and Information Sciences (MACIS 2009)

will be held jointly at Fukuoka in December 14th -17th, 2009 supported
by the GCOE program "Math-for-industry" of the Graduate School of
Mathematics of Kyushu University and Mathematical Research Center for
Industrial Technology of Kyushu University. The programs of ASCM and
those of MACIS will be organized independently by each program
committee except invited talks. Sessions of ASCM and those of MACIS
will be held in parallel and invited talks will be given in plenary.

SUBMISSION
----------
The information on the format can be found at
http://gcoe.math.kyushu-u.ac.jp/ascm-macis2009/for_authors.html

Papers for MACIS 2009 should be electronically submitted to their
corresponding track by visiting
http://www.easychair.org/conferences/?conf=macis2009

JOINT ORGANIZING COMMITTEE
--------------------------
General Chair:

Masakazu Suzuki (Kyushu University, Japan)

Local chairs:

Hiroshi Yoshida (Kyushu University, Japan)
Tatsuyoshi Hamada (Fukuoka University/JST CREST, Japan)
Koji Nakagawa (Kyushu University, Japan)

Program Committee Chairs of the MACIS:

Hoon Hong (North Carolina State University, USA)
Hirokazu Anai (Kyushu University/Fujitsu Laboratories LTD, Japan)

Program Committee Chairs of the ASCM:

Chee Yap (New York University, USA)
Yosuke Sato (Tokyo University of Science, Japan)

Coordinator of the joint conference:

Kazuhiro Yokoyama (Rikkyo University, Japan)

Program Committee Members of the MACIS:

Enric Rodriguez Carbonell (Technical University of Catalonia, Spain)
Andrzej Cichocki (RIKEN, Japan)
Mohab Safey El Din (INRIA, France)
Jeremy Johnson (Drexel University, USA)
Masaaki Kanno (Niigata University, Japan)
Gabriel Dos Reis (Texas A&M University, USA)
Fabrice Rouillier (INRIA, France)
Eric Schost (Univ. of Western Ontario, Canada)
Hiroshi Yoshida (Kyushu University, Japan)

Program Committee Members of the ASCM:

Xiao-Shan Gao (Chinese Academy of Sciences, China)
Deepak Kapur (Univ. of New Mexico, USA)
Ziming Li (Academy of Mathematics and System Sciences, China)
Hirokazu Murao (The University of Electro Communications, Japan)
Mitsuhiro Nakao (Kyushu Univesity, Japan)
Hyungju Park (KIAS, Korea)
Guenael Renault (LIP6, France)
Ko Sakai (Tsukuba University, Japan)
Alan P. Sexton (University of Birmingham, UK)
Volker Sorge (University of Birmingham, UK)
Gert Vegter (Groningen University, the Netherlands)
Dahan Xavier (Kyushu University, Japan)

=========
ASCM 2009
=========
The Asian Symposium on Computer Mathematics (ASCM) is a series of
conferences which serve as a forum for participants to present original
research, learn of research progress and developments, and exchange
ideas and views on doing mathematics using computers.

The previous ASCM meetings were held in Beijing, China (1995), Kobe,
Japan (1996), Lanzhou, China (1998), Chiang Mai, Thailand (2000),
Matsuyama, Japan (2001) , Beijing, China (2003), Seoul, Korea (2005),
Singapore, Singapore (2007). Further information on previous ASCM
symposium may be found at http://www.mmrc.iss.ac.cn/ascm.
This year, the meeting will consist of invited talks,
regular sessions of contributed papers, and three organized sessions.
Regular sessions are run in a traditional style of ASCM.
Each organized session is run by its organizer(s) independently.

Organized sessions:

1) Digitizing Mathematics -- From Pen and Paper to Digital Content
Organizers: Volker Sorge and Alan P. Sexton (Univ. of Birmingham, UK)

2) Validated Numerical Computation
Organizer: Mitsuhiro Nakao (Kyushu Univesity, Japan)

3) Computational Algebraic Number Theory
Organizer: Guenael Renault (LIP6, France)

The selected papers presented at ASCM 2009 will be published
either in MCS special issues or in a volume of LNAI.

==========
MACIS 2009
==========
MACIS is a new series of conferences where foundational research on
theoretical and practical problems of mathematics for computing and
information processing may be presented and discussed. MACIS also
addresses experimental and case studies, scientific and engineering
computation, design and implementation of algorithms and software
systems, and applications of mathematical methods and tools to
outstanding and emerging problems in applied computer and information
sciences.

The first MACIS conference took place in Beijing (China), July
24-26, 2006 (see http://www.cc4cm.org/macis2006/ for more
details). The second MACIS conference took place in Paris (France),
December 5-7, 2007 (see http://www-spiral.lip6.fr/MACIS2007/ for
more details).

MACIS2009 is run in a format where each PC member organizes a
session on a specific topic. MACIS 2009 consists of 9 sessions,
which are categorized into three main thema as shown in the
following:

------------------------------+---------------------------------------------

theme / sessions | PC member in charge
------------------------------+---------------------------------------------

1) Polynomial system solving

a)complex Fabrice Rouillier (INRIA, France)
b)real Mohab Safey El Din (INRIA,France)
c)rational Eric Schost (U. Western Ontario, Canada)

2) Control/System/Signal

a)control Masaaki Kanno (Niigata Univ.,Japan)
b)system (bio/bio-inspired) Hiroshi Yoshida (Kyushu Univ.,Japan)
c)signal Andrzej Cichocki (RIKEN, Japan)

3) Software Science

a)Analysis Enric Rodriguez-Carbonell (UPC, Spain)
b)Synthesis Jeremy Johnson (Drexel University, USA)
c)Language/Framework Gabriel Dos Reis (Texas A&M Univ., USA)
------------------------------+---------------------------------------------

The selected papers presented at MACIS 2009 will be published in MCS
special issues.

--
________________________________________________________________
Enric Rodriguez Carbonell www.lsi.upc.edu/~erodri
Technical University of Catalonia (UPC) erodri@...

Office 114 - Omega Building
Department of Software (LSI) Phone: +34-93-4137792
Jordi Girona 1, 08034 Barcelona, Spain Fax: +34-93-4137833
________________________________________________________________

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

RR 2009 Call for Participation

2009-09-11T13:39:51Z

Apologies for multiple postings:

Please note that the early registration deadline for RR2009 will end
September 20th, which is only slightly more than a week from now!

Also note, in case you additionally plan to attend ISWC2009, that the ISWC
early registration deadline closes tomorrow.

Call FOR PARTICIPATION

RR 2009
The Third International Conference on
Web Reasoning and Rule Systems
http://www.rr-conference.org

You are invited to RR 2009, the major forum for discussion and
dissemination of new results concerning Web Reasoning and Rule
Systems. The vast scale and the diverse nature of the Semantic Web
presents numerous challenges for knowledge representation and
reasoning. Accordingly, the program features papers on practical and
theoretical aspects of reasoning, including reasoning under
uncertainty and inconsistency, and combining reasons with actions, as
well as scalability and efficiency considerations. Other papers
explore extensions and applications of current standards and
techniques for the Semantic Web including combining rule based systems
with ontologies and description logics, module systems for ontologies
and rules, ontology alignment, and path query languages.

Invited Talks and Tutorial

-- Robert Kowalski "Integrating Logic Programming and Production
Systems with Abductive Logic Programming Agents"

-- Benjamin Grossof "SILK: Higher Level Rules with Defaults and
Semantic Scalability"

-- Thomas Lukasiewicz "Uncertainty Reasoning for the Semantic Web"

The complete list of accepted papers is available at
http://www.rr-conference.org/RR2009.

RR 2009 will be held near Washington, D.C. in Chantilly, Virginia
October 25-26, 2009. It is co-located with ISWC 09 and OWLED 2009.
Registrants of RR 2009 may attend ISWC workshops and tutorials for
free.

Further registration information can be found at

https://ww2.eventrebels.com/er/Registration/StepRegInfo.jsp?ActivityID=4116&StepNumber=1

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

Logic Summer School Invitation 7-14 December 2009 - Australian National University

2009-09-09T16:30:50Z

An Open Invitation to attend the

Logic Summer School
The Australian National University
7 to 18 December 2009

As computers become more powerful, their ability to perform complicated
reasoning tasks increases. In order to harness their power, we need to
understand the reasoning they can do, and how they
may do it more efficiently. This understanding begins with logic.

The Australian National University (ANU) has an exciting opportunity for
IT professionals, senior educators and students to enhance their logic
and reasoning skills for the work-force, for teaching, or for higher
degree by research study, in a two-week intensive summer school at the ANU.

The Logic Summer School comprises a blend of practical and theoretical
short courses on aspects of pure and applied logic taught by
international and national experts. The school provides a unique
learning experience for all participants, backed up with
state-of-the-art computational science facilities at the ANU.

Presenters:

Professor John Slaney
The Australian National University

Dr. Rajeev Goré
The Australian National University

Dr Peter Baumgartner
NICTA

Dr Michael Norrish
NICTA

Dr Andreas Bauer
NICTA

Dr Alwen Tiu
The Australian National University

Professor Torsten Schaub
University of Potsdam, Germany

Dr Patrik Haslum
NICTA

Dr Errol Martin
EP Martin Consulting

Program Topics:

* Fundamentals of metalogic
* Introduction to modal logic
* Overview of automated reasoning
* Computability and incompleteness
* Logic and complexity
* Programming in higher order logic
* Answer set programming
* Reasoning about discrete event systems
* Non-classical logic

Is It For You?

The Summer School is for you if you want to expand your knowledge and
understanding of information technology for the workplace or classroom,
or for your studies if you want to take the next step
towards a research degree. It is intended for:

* Students from about the third year of undergraduate studies up
to beginning PhD level who are considering specialising in a
logic-related field
* Teachers who teach logic in computer science, mathematics or
philosophy
* IT professionals who use formal methods or who want to know more
about logic-based technology
* Anyone who finds the idea of two weeks of wall-to-wall logic
enticing!

Fees:

Professionals: $1,650 per person; discounts are available for multiple
registrations from individual companies and institutions.

Students in full-time education: $120 per person; scholarships are
available and are assessed on a case-by-case basis. The web site has
more details.

Registrations after Friday, 6 November 2009, are subject to a 20% surcharge.

To register or for more information visit our web site at:
http://lss.rsise.anu.edu.au

If you would like to discuss this invitation in more detail, including
advice on suitable candidacy, please contact Professor John Slaney by
email: John.Slaney@...

The Logic Summer School is supported by:
NICTA, Canberra Research Laboratory and the
ANU, College of Engineering and Computer Science

General enquiries: lss@...

Phone: +61 2 6125 4043

Fax: +61 2 6125 0010

http://lss.rsise.anu.edu.au

To view the electronic copy of LSS Brochure go to:

http://lss.rsise.anu.edu.au/files/Brochure_2009.pdf

Professor John Slaney
Convenor
The Logic Summer School
_________________________________________________________________________________________________

--
Margaret Donnelly

Project Officer Support
Computer Science
Building 108
The Australian National University
Canberra ACT 0200 Australia

Telephone: +61 2 6125 8192
Fax: +21 2 6125 1110

Email : Margaret.Donnelly@...

_______________________________________________
Lprolog mailing list
Lprolog@...
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog

Nabble - Lambda Prolog

LATA 2010: last call for papers

PAKM Verteiler KSEM Conference Program Announced

contest: how to combine logics?

call for organizing next AFP summerschool (2010)

WoLLIC 2010 - 2nd Call for Papers

Call for Papers

Steering committee

*** extended deadline: FLOPS 2010: Last Call for Papers ***

World Congress, Lisbon 2010 - Call for Papers

FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE

KSEM Conference Program Announced

Call for Participation: VSTTE 2009

CAV 2010 Call for Papers

CFP: International Symposium on Memory Management 2010

LATA 2010: 2nd call for papers

Call for participation: Methods for Modalities 6

CFP: Advances in Modal Logic 2010

CfPart: FMICS 2009, 2-3 November 2009, Final Call

HLDVT 2009 Call for Participation: Early Registration Deadline

FMCAD'09 Call For Participation

*** FLOPS 2010: Last Call for Papers ***

RuleML-2009 Call for Participation

FIRST PhD Autumn School on Modal Logic

RR 2009 Call for Participation

[fm-announcements] CFP: NASA Formal Methods Symposium 2010

INAP 2009: CALL FOR PARTICIPATION

CMCS 2010 Pre-announcement/call for papers

DAMP 2010 - Extended Deadline [September 27th]

Verification and Debug at HLDVT

1st CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies.

Call for Papers: PLPV 2010

Final CFP: Australasian Ontology Workshop (AOW 2009): Papers due 25 September 2009

Call for Bids, ESSLLI 2011

World Congress and School, Lisbon 2010

ASCM 2009 and MACIS 2009 - Extended Submission Deadline

RR 2009 Call for Participation

Logic Summer School Invitation 7-14 December 2009 - Australian National University

* extended deadline: FLOPS 2010: Last Call for Papers *

* FLOPS 2010: Last Call for Papers *