[Please post - apologies for multiple copies.]
Call for Tool Papers, Case Studies
--------------------------
W I N G 2010 - DEADLINE REMINDER
3nd International Workshop on INvariant Generation
--------------------------
July 21, 2010
University of Edinburgh, UK
Satellite Workshop of FLoC 2010
http://research.microsoft.com/en-us/events/wing2010/
Important Dates
---------------
April 23, 2010: Abstract submission deadline
April 27, 2010: Notification of acceptance
July 21, 2010: WING 2010 in Edinburgh, UK
Submission
----------
Submissions need not be original.
Extended versions of submissions may be submitted
concurrently with or after WING 2010 to another conference or a journal.
Submission is via EasyChair:
https://www.easychair.org/?conf=wing2010
by selecting the "Tools and Case studies" submission category.
Please submit a ONE-PAGE abstract in PDF,
conforming to the format produced by LaTeX using the
easychair.cls class file of EasyChair.
The class style may be downloaded at:
http://www.easychair.org/easychair.zip
Keynote Speakers
----------------
Sumit Gulwani (Microsoft Research, US)
Helmut Seidl (Technical University of Munich, Germany)
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
Hello Ciao mailing list,
I'm new to this community but very interested in Ciao. I was wondering
if there has been any existing work on using Prolog as a distributed
database system like Riak or memcached but with support for powerful
logic-based queries.
I see pretty good documentation on persistent predicate databases
(backed by either files or SQL databases). Active modules look like they
could be used to facilitate communication between nodes in a distributed
cluster.
Does anyone know of any work in this area?
Thanks for your time,
Eli
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
FLoC 2010: Student Travel Grants
The 2010 FEDERATED LOGIC CONFERENCE (FLoC'10) will be held in Edinburgh,
Scotland, U.K., on July 9-21, 2010. See http://www.floc-conference.org/.
FLoC'10 promises to be the premier scientific meeting in computational
logic in 2010. The following conferences will participate in FLoC:
- CAV 2010: Int'l Conference on Computer-Aided Verification
- CSF 2010: IEEE Computer Security Foundations Symposium
- ICLP 2010: Int'l Conference on Logic Programming
- IJCAR 2010: Int'l Joint Conference on Automated Reasoning
- ITP 2010: Int'l Conference on Interactive Theorem Proving
- LICS 2010: IEEE Symposium on Logic in Computer Science
- RTA 2010: Int'l Conference on Rewriting Techniques and Applications
- SAT 2010: Int'l Conference on Theory and Applications of
Satisfiability Testing
The eight major conferences will be accompanied by more than fifty
workshops and other affiliated events.
FLoC has received funds to provide travel grants of up to $750 for
student participants of FLoC'10. Funds can be requested to cover
airfare and lodging. We expect to award about 100 grants.
Application deadline is May 3, 2010. Application form is available
at http://www.floc-conference.org/floc-student-grants.html/.
----------------------
You are subscribed to the FLoC 2010 mailing list.
To unsubscribe please send an email to majordomo(a)informatik.uni-frankfurt.de
with the keywords unsubscribe floc2010 in the message body.
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
Apologies for multiple postings
CALL FOR PAPERS
The Third International Conference on
Web Reasoning and Rule Systems (RR 2009)
http://www.rr-conference.org/RR2009
Chantilly, Virginia, USA
October 25-26, 2009
Co-located with the International Semantic Web Conference '09
The International Conference on Web Reasoning and Rule Systems (RR) is
a major forum for discussion and dissemination of new results
concerning Web Reasoning and Rule Systems. RR 2009 builds on the
success of the first two International Conferences on Web Reasoning
and Rule Systems, held in 2007 in Innsbruck and in and 2008 in
Karlsruhe, which received enthusiastic support from the Web Rules
community. In 2009, RR will continue the excellence of the new series
and aim to attract the best Web Reasoning and Rules researchers from
all over the world.
Suggested topics include the following, which is not to be considered
as an exhaustive list:
* Representation techniques for web-based knowledge
* Acquisition of rules and ontologies by knowledge extraction
* Combining open and closed-world reasoning
* Combining rules and ontologies
* Design and analysis of reasoning languages
* Efficiency and benchmarking
* Implemented tools and systems
* Foundations and applications related to relevant
standardization bodies such as the W3C Rule
Interchange Format (RIF), Web Ontology Language (OWL2) and
SPARQL working groups, or the W3C Uncertainty Reasoning for the
World Wide Web Incubator Group, etc.
* Ontology usability
* Ontology languages and their relationships
* Querying and optimization
* Rules and ontology management (such as inconsistency handling and
evolution)
* Reasoning with uncertainty and under inconsistency
* Reasoning with constraints
* Rule languages and systems
* Rule interchange formats and Rule markup languages
* Scalability vs. expressivity of reasoning on the web
* Approximate reasoning techniques for the Web
* Integration of statistical methods and symbolic reasoning
* Semantic Web Services modeling and applications
* Web and Semantic Web applications and experience papers
------------------------------------------------------------------------
SUBMISSION DETAILS
Papers for past conferences were published in the Springer LNCS series
(acceptance pending for this year). Papers may be accepted as:
* full papers (15 pages in the proceedings)
* short papers (8 pages in the proceedings)
* posters (2 pages in the proceedings).
The stated lengths include title, abstract and list of references. All
papers should be formatted according to the Springer LNCS style (see
http://www.springer.com/comp/lncs/Authors.html), and must be in PDF
format. Submission is via EasyChair, at
http://www.easychair.org/conferences/?conf=rr2009
------------------------------------------------------------------------
TENTATIVE DATES
* Abstract submission: June 28, 2009
* Paper submission: July 4, 2009
* Acceptance decisions: August 1, 2009
* Camera-ready papers due: August 25, 2009
------------------------------------------------------------------------
PROGRAM COMMITTEE
Grigoris Antoniou FORTH-ICS (GR)
Marcelo Arenas PUC Chile (CL)
Leopoldo Bertossi Carleton University (CA)
Piero Bonatti Univ. of Naples Frederico II (IT)
Carlos Damasio Universidade Nova de Lisboa (PT)
Wlodek Drabent IPI PAN Warszawa (PL)
Bernardo Cuenca Grau University of Oxford (UK)
Volker Haarslev Concordia University (CA)
Giovambattista Ianni Univ. of Calabria (IT)
Manolis Koubarakis National and Kapodistrian Univ. of Athens (GR)
Domenico Lembo DIS, Univ. di Roma ``La Sapienza'' (IT)
Thomas Lukasiewicz Computing Lab. Univ. of Oxford (UK)
Francesca Alessandra Lisi Universita degli Studi di Bari (IT)
Wolfgang May Univ. Goettingen (DE)
David Pearce Universidad Politde Madrid (ES)
Enrico Pontelli New Mexico State University (US)
Guilin Qi Univ. of Karlsruhe (DE)
Marie-Christine Rousset Univ. of Grenoble (FR)
Sebastian Rudolph Institute AIFB, University of Karlsruhe (DE)
Sebastian Schaffert Salzburg Research Forschungsgesellschaf (AT)
Michael Sintek DFKI GmbH (DE)
Giorgos Stamou National Tech. University of Athens (GR)
Heiner Stuckenschmidt Univ. of Mannheim (DE)
York Sure AIFB - Universitaet Karlsruhe (DE)
Peter Szeredi Budapest Univ of Tech. and Econ. (HU)
Sergio Tessaris Free University of Bozen - Bolzano (IT)
Hans Tompits Vienna Univ. of Technology (AT)
Dirk Vermeir Vrije Universiteit Brussel (BE)
------------------------------------------------------------
CONTACTS
For information about papers and submissions, please contact a Program Chair:
Axel Polleres Terrance Swift
PC co-Chair - RR 2009 PC co-Chair - RR 2009
Digital Enterprise Research Institute Centre for Artificial Intelligence
(DERI) (CENTRIA)
National University of Ireland, Galway Departamento de Informatica FCT/UNL
IDA Business Park, Lower Dangan Quinta da Torre
Galway, Ireland 2829-516 CAPARICA - Portugal
Email: axel.polleresderi.org Email: tswiftcs.sunysb.edu
For other information about the conference, please contact the General Chair:
Michael Kifer
Computer Science Department
SUNY Stony Brook
Stony Brook, NY USA
Email; kifercs.sunysb.edu
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
(apologies for duplicates of this message)
CALL FOR PAPERS
CLPSE 2009
4th International Workshop on
(Constraint) Logic Programming and Software Engineering
July, 2009
Satellite event of ICLP 2009, Pasadena, California, USA
http://logtalk.org/workshops/clpse2009/
Topics of interest
==================
This workshop aims at discussing and exchanging experience in software
engineering topics related to developing, documenting, testing, porting,
evaluating, and maintaining large-scale (constraint) logic programming
applications. Experience backed up by industrial applications and their
evaluation will be given preference, as well as descriptions of work in
progress in that direction.
Topics include, but are not limited to:
* Experiences in developing and maintaining large-scale logic
programming applications.
* Experiences in porting applications.
* Development of portable libraries and code reuse.
* Integrated development environments for logic programming.
* Multi-paradigm applications.
* Embedded logic programming applications.
* Security issues in logic programming applications.
* Processes and software design methodologies.
* Design patterns in logic programming development.
* Metrics for logic programming development and applications.
* Implementation of domain specific languages.
* Software specification and automatic software generation.
* Rapid industrial prototyping using logic programming.
* Logic programming in network and infrastructure services.
* Logic programming based service oriented architectures.
* Logic programming in enterprise architectures.
* Integrating logic programming and databases.
* Systems interoperability using logic programming.
* Legacy re-engineering using logic programming.
* Implementing complex business rules using logic programming.
Authors who are interested in taking part in the workshop, but are
unsure if their work falls within its scope, are invited to contact the
workshop coordinators.
Workshop Goals
==============
Our intent is to bring together, in an informal setting, people involved
both in research and in industrial work. We hope that the workshop will
provide a meeting point for people working on software engineering
topics in the context of large-scale (constraint) logic programming
applications.
History
=======
This workshop continues a tradition of successful workshops on
(Constraint) Logic Programming and Software Engineering, previously held
in London (2000), Paphos (2001), and Copenhagen (2002).
Submission Information
======================
Authors are invited to submit regular papers, position papers, or short
papers written in English and formatted using the LNCS LaTeX style
(http://www.springeronline.com/lncs/). Regular papers should not exceed
15 pages. Position papers and short papers should not exceed 5 pages.
Regular papers should describe original unpublished research or
industrial work relevant to the topics of the workshop. Position papers
should present new ideas, vision statements, new research directions, or
advocate out-of-the-box approaches to know problems. Short papers can be
used to describe ongoing work, research project overviews, talk
abstracts, or application notes.
Paper submission is performed through EasyChair using the URL
http://www.easychair.org/conferences/?conf=clpse2009.
At least one author of each accepted paper is expected to register and
attend the workshop to present the paper. Regular papers and position
papers will be presented and discussed in time slots of 20+10 minutes.
Short papers will be presented and discussed in time slots of 10+5
minutes.
Important Dates
===============
Submission deadline: April 6
Notification of authors: May 18
Camera-ready copy due: June 1
Workshop: TBA
Organization
============
Program Committee
-----------------
Salvador Abreu (University of =C9vora, Portugal)
Mats Carlsson (Swedish Institute of Computer Science, Sweden)
Gopal Gupta (University of Texas at Dallas, U.S.A)
Kung-Kiu Lau (University of Manchester, U.K.)
Arun Majumdar (Vivomind Intelligence Inc., U.S.A)
Paulo Moura (CRACS - INESC Porto and University of Beira =20
Interior, Portugal)
Ulrich Neumerkel (Vienna University of Technology, Austria)
Ant=F3nio Porto (University of Porto, Portugal)
Tom Schrijvers (Katholieke Universiteit Leuven, Belgium)
Joachim Schimpf (Monash University, Melbourne, Australia)
Terrance Swift (CENTRIA, Universidade Nova de Lisboa, Portugal)
P=E9ter Szeredi (Budapest University of Technology and Economics, =20
Hungary)
Paul Tarau (University of North Texas, U.S.A)
Walter G. Wilson (Systems Development and Analysis, U.S.A)
Workshop Coordinators
---------------------
Paulo Moura
Ulrich Neumerkel
Please address any question regarding the workshop organization to the
address clpse2009 =at= logtalk.org.
Proceedings
===========
We expect to make the informal workshop proceedings available on-line at
the Computing Research Repository (http://arxiv.org/corr/home) after the
workshop. An electronic copy will be distributed during the workshop.
-----------------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal
Office 4.3 Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:pmoura(a)di.ubi.pt>
Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------
=======================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
COMMERCIAL USERS OF LOGIC PROGRAMMING
CULP 2009
http://www.cs.kuleuven.be/~toms/CULP2009/
Pasadena, CA, USA -- July 13-17
Co-located with ICLP 2009
CALL FOR COMPANIES
Academic research in Logic Programming goes back at least as far as the early
1970s -- that is already more than 35 years. During most of that time, ICLP has
been the premier venue for presenting academic research, and many more related
workshops and symposia exist. At the same time, Logic Programming is being
used widely in industry. However, it has enjoyed at lot less visibility there,
and until now it has lacked a designated forum that brings together industrial
practitioners and researchers.
The goal of this first Commercial Users of Logic Programming (CULP) workshop is
to put the commercial and practical use (and users) of Logic Programming in the
spotlight. It aims at providing professionals with an opportunity to share
their experience, and to enable contacts with other commercial users and
academics.
If you use Logic Programming in a commercial, industrial or governmental
setting, we warmheartedly invite you to consider giving a talk at the workshop.
Alternatively, if you know someone who would give a talk, please forward this
message to them.
FORMAT
------
CULP is organized as a workshop co-located with the 25th International
Conference on Logic Programming. The workshop takes place on a date to be
determined between July 13-17, 2009, in the Pasadena Convention Center in
Pasadena, California, USA.
Presentations will have 30 minute slots, of which at least 5 are reserved for
discussion. They inform participants about the use of logic programming in an
industrial setting.
Insights and reflections on many aspects are sought. For example, but not
exclusively:
- Programming in the different stages and styles of commercial development,
- Engineering, scalability and usability issues,
- Success stories and (non-)viability of Logic Programming in particular
application areas,
- Aspects not directly related to application development, such as marketing,
recruitment, management,...,
- ...
Novel research results are not expected. Of course, novel fields of application
and novel approaches will be very welcome.
SUBMISSIONS
-----------
If you are interested in presenting at CULP 2009, send an e-mail to
tom -dot- schrijvers -at- cs -dot -kuleuven -dot -be
with your name, affiliation and a short description (at most one page)
of the proposed talk.
Full paper submissions are not required.
IMPORTANT DATES
---------------
Submission before: April 5, 2009
Notification: April 15, 2009
CULP workshop: July 13-17, 2009
CONFIRMED PRESENTATIONS
-------------------------
The following companies have already confirmed to give a presentation.
- Logic Blox http://www.logicblox.com/
- Logisoft Solutions LLC http://www.logicalsoft.net/
- Scientific Software and Systems Ltd. http://www.sss.co.nz/
- US Department of Defense
- XSB Inc. http://www.xsb.com/
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
Does Ciao prolog support module hierarchy ?
I want to do sth like that ?
use_module(animal/cat/feed).
use_module(animal/dog/feed).
And then:
animal:cat:feed.
animal:dog:feed.
?
--
greetings
Micha
----------------------------------------------------------------------
Zostan mistrzem parkowania w Bombaju!
Zagraj >> http://link.interia.pl/f204e
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
**********************************************************************
Application deadline 13th of February (for the 5 years position)
and 18th of February (for the 3 years position)
**********************************************************************
The CLIP (Computational Logic, Implementation and Parallelism) group
is searching for candidates for postdoctoral research positions in the
research areas in which the group is involved. A PhD in Computer
Science or related areas is required.
These are research positions (no teaching is compulsory, although it
is allowed) and renewable for up to 3 or 5 years. The initial salary
(for the 5 year positions) is 44370 Euros/year plus an initial budget
of 15000 Euros for travel and other expenses during the first
year. Knowledge of Spanish is not a prerequisite for application and
candidates can be of any nationality. The working language at the CLIP
group for research is English.
The number of positions available depends on the quality of the
applicants. The positions are co-funded by the Spanish Ministry of
Science and Technology and the Technical University of Madrid within
the Ramon y Cajal and Juan de la Cierva programs.
Selection Process:
Interested applicants should send their c.v. and a description of
their research interests to the CLIP group at
hats-grants(a)clip.dia.fi.upm.es. The CLIP group will perform a
pre-selection of the best applicants based on their scientific merits
and the relevance of their research interests and experience to the
research activities of the group. The CLIP group will then assist the
pre-selected candidates in accomplishing all required steps to present
the required documentation for the final evaluation step. The
applications, will then be sent to the Spanish Ministry of Science and
Technology which performs the final selection. The details of this
step are described here.
http://clip.dia.fi.upm.es/Job_Openings/RyC2009.html
More details on the CLIP group, publications, projects, and research
areas of interest can be found at our WWW site (see e.g. the group
description and the listing of research topics and publications):
http://clip.dia.fi.upm.es/
For more information on any of the above, please contact
hats-grants(a)clip.dia.fi.upm.es
--
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[We apologize in advance for repeated reception of this message]
[Please fell free to forward it to anyone who can be interested]
*** CALL FOR WORKSHOP PROPOSALS ***
ICLP 2009
25th International Conference on Logic Programming
Pasadena, California, USA
July 14-17, 2009
URL: http://www.ist.unomaha.edu/iclp2009/
ICLP 2009, the 25th International Conference on Logic Programming, will
be held in Pasadena (USA), from July 14 to 17, 2009.
Workshops co-located with international conferences are one of the
best venue for the presentation and discussion of preliminary work,
novel ideas, and new open problems to a wide and interested audience.
Co-located workshops also provide an opportunity for presenting
specialized topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops co-located with
ICLP 2009 can cover any areas related to logic programming, (e.g.,
theory, implementation, environments, language issues, alternative
paradigms, applications), including cross-disciplinary areas.
However, any workshop proposal will be considered.
The format of the workshop will be decided by the workshop organizers,
but ample time must be allowed for general discussion. Workshops can
vary in length, but the optimal duration will be half a day or a full
day.
Workshop Proposal:
==================
Those interested in organizing a workshop at ICLP 2009 are invited
to submit a workshop proposal. Proposals should be in English and
about two pages in length. They should contain:
* The title of the workshop.
* A brief technical description of the topics covered by the
workshop.
* A discussion of the timeliness and relevance of the workshop.
* A list of some related workshops held in the last years.
* The (preliminary) required number of half-days allotted to the
workshop and an estimate of the number of expected attendees.
* The names, affiliation, and contact details (email, web page,
phone, fax) of the workshop organizer(s) together with a
designated contact person.
* The previous experience of the workshop organizing committee in
workshop/conference organization.
Proposals are expected in ASCII or PDF format. All proposals should be
submitted to the Workshop Chair (Manuel Carro) by email by February
9th, 2009.
Reviewing Process:
==================
Each submitted proposal is reviewed by the Workshops Chair and the
Conference Program Chairs. Proposals that appear well-organized and
that fit the goals and scope of ICLP will be selected. The decision
will be notified by email to the responsible organizer by February
23rd, 2009.
The definitive length of the workshop will be planned according to the
number of submissions received by the different workshops. For every
accepted workshop, the ICLP local organizers will prepare a meeting
place and arrange the distribution of the workshop proceedings, whose
preparation is however in charge to the workshop organizers. The
workshop registration fees will be handled together with the
conference fees.
Workshop Organizers' Tasks:
===========================
* Producing a "Call for Papers" for the workshop and posting it on
the net and/or other means. Please provide a web page URL which
can be linked into the ICLP 2009 home page by March 9th, 2009.
* Providing a brief description of the workshop for the conference
program.
* Reviewing/accepting submitted papers.
* Scheduling workshop activities in collaboration with the local
organizers and the workshop chair.
* Sending workshop program and workshop proceedings in pdf format to
the workshop chair for distribution at the conference.
* The use of the Computing Research Repository (CoRR) for the
workshop proceedings is strongly suggested. See
http://www.logicprogramming.org/ for guidelines. We encourage
reading these instructions in advance so that you can ask paper
authors to prepare accordingly the final versions of their papers.
Location:
=========
All workshops will take place in Pasadena at the site of the main
conference. See the ICLP 2009 web site for location details.
Important Dates:
================
February 9, 2009: Proposal submission deadline.
February 23, 2009: Notification.
March 9, 2009: Deadline to receive the CFP and URL for workshop web page.
June 1, 2009: Deadline for preliminary proceedings.
July 14-17, 2009: ICLP 2009 workshops.
Workshop Chair:
===============
Manuel Carro [mcarro AT fi dot upm dot es] (www.clip.dia.fi.upm.es/~mcarro)
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
................................................................
The Second Answer Set Programming Competition
Call For Benchmark problems
Call For Participation
K.U.Leuven, Belgium, spring 2009
http://www.cs.kuleuven.be/~dtai/events/ASP-competition/
................................................................
The second ASP competition is a Modeling and Solving competition open
to all declarative problem solving systems from areas such as ASP, SAT
and CP. In the competition, both satisfiability problems and
optimization problems need to be solved. Each team submits a solver
and modelings for all benchmark problems. These are used to solve a
number of instances of each benchmark problem. The solver that solves
the most instances wins. The results will be published in the Tenth
International Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR'09). For more details on the format of the
competition, see the webpage.
The competition is open for all solvers. The Modeling and Solving
formula offers the best opportunities for different communities to
show the strength of their applications and solvers. Modeling support
for SAT teams, for whom modeling can be a burden, is available on the
webpage.
The competition is currently in its first phase: the collection of
benchmarks. We invite researchers from the different areas to help in
creating a representative collection of benchmarks by submitting
benchmark problems. For more details, see the webpage.
IMPORTANT DATES:
* Until 01/03/2009:
o Submission and selection of benchmark problems.
* 01/03/2009-01/05/2009:
o Registration of teams.
* 01/03/2009-15/05/2009:
o Installation period: Participants install and test
solvers and programs on the K.U.Leuven pinac pool.
* 15/05/2009-15/06/2009:
o Competition phase
* 15/09/2009:
o Results announced at LPNMR'09.
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------