Отправляет email-рассылки с помощью сервиса Sendsay

Система компьютерной алгебры GAP

Подписаться Бесплатная «Серебряная» новостная рассылка . Временно не выходит ,возобновит выход - нет информации Подписчиков 783 RSS
←   Декабрь 2010   →
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
21.12.2010
05:55:09
06:15:50
22
23
24
25
26
27
28
29
30
31


За последние 60 дней ни разу не выходила


Сайт рассылки: http://www.gap-system.org/ukrgap/
Открыта: 05-02-2002

Автор
Александр Борисович Коновалов

Статистика

783 подписчиков
0 за неделю
←   Все выпуски   →

Система компьютерной алгебры GAP: 27th International Conference on Logic Programming (ICLP 2011)



=========================================================================
FIRST CALL FOR PAPERS

27th International Conference on Logic Programming (ICLP 2011)
Theory and Practice of Logic Programming

Lexington, Kentucky, USA, July 6-10, 2011
Submission deadline: Jan 10/17, 2011

http://www.cs.uky.edu/iclp2011/

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

CONFERENCE SCOPE

Since the first conference held in Marseille in 1982, ICLP has been the premier
international conference for presenting research in logic programming.
Contributions (papers and posters) are sought in all areas of logic programming
including but not restricted to:

Theory: Semantic Foundations, Formalisms, Non- monotonic Reasoning, Knowledge
Representation.

Implementation: Compilation, Memory Management, Virtual Machines, Parallelism.

Environments: Program Analysis, Transformation, Validation, Verification,
Debugging, Profiling, Testing.

Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order,
Types, Modes, Assertions, Programming Techniques.

Related Paradigms: Abductive Logic Programming, Inductive Logic Programming,
Constraint Logic Programming, Answer-Set Programming.

Applications: Databases, Data Integration and Federation, Software Engineering,
Natural Language Processing, Web and Semantic Web, Agents, Artificial
Intelligence, Bioinformatics.

In addition to the presentations of accepted papers, the technical program will
include plenary invited talks in association with other FLoC conferences, as
well as ICLP invited talks, advanced tutorials, the doctoral consortium, and
several workshops.

SUBMISSION DETAILS

The four broad categories for submissions are: (1) technical papers for
describing technically sound, innovative ideas that can advance the state of the
art of logic programming; (2) application papers, where the emphasis will be on
their impact on the application domain; (3) system and tool papers, where the
emphasis will be on the novelty, practicality, usability and general
availability of the systems and tools described; and (4) technical
communications, aimed at describing recent developments, new projects, and other
materials that are not ready for main publication as standard papers. All papers
must describe original, previously unpublished research, and must not
simultaneously be submitted for publication elsewhere. They must be written in
English. Technical papers, application papers, and system and tool papers must
not exceed 15 pages plus bibliography. The limit for technical communications is
10 pages. Submissions must be made in TPLP format
(ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/) via the
Easychair submission system, available at
http://www.easychair.org/conferences/?conf=iclp2011.

IMPORTANT DATES

Workshop Proposals Due: Dec 15, 2010
Paper registration (abstract): Jan 10, 2011
Notification of Workshop Acceptance: Jan 12, 2011
Submission deadline: Jan 17, 2011
Notification to authors: Mar 11, 2011
Camera-ready copy due: Apr 15, 2011
Conference: Jul 6-10, 2011

PAPER PUBLICATION

All accepted long papers will be published in the journal Theory and Practice of
Logic Programming (TPLP), Cambridge U. Press (CUP), in one or more special
issues. In order to ensure the quality of the final version, papers may be
subject to more than one round of refereeing (within the decision period) and/or
''shepherding.'' The program committee may also recommend standard papers to be
published as technical communications. At the time of the conference CUP will
make the web page for this(ese) TPLP issue(s) available including volume and
issue numbers, table of contents, page numbers, and the papers themselves. All
registered attendants at the conference will get lifetime access to the web site
for the online version of the issue(s). Attendants will also receive all the
papers in a memory stick at the conference.

It is planned that the collection of technical communications will appear as a
volume of the LIPIcs (Leibniz International Proceedings in Informatics) series,
and published online through the Dagstuhl Research Online Publication Server
(DROPS). All technical communications will also get space in the program for
presentation. The journal issue(s) will also include a listing of the technical
communications, with pointers to the LIPIcs/DROPS volume.

ICLP 2011 ORGANIZATION

General Chair: Mirek Truszczynski (University of Kentucky), Victor Marek
(University of Kentucky)

Program Co-chairs: John Gallagher (Roskilde University, Denmark and IMDEA,
Spain), Michael Gelfond (Texas Tech University, USA)

Workshops Chair: Joohyung Lee (Arizona State University)

Publicity Chair: Yuliya Lierler (University of Kentucky)

Doctoral Consortium: Alessandro Dal Palu (Universit degli Studi di Parma),
Stefan Woltran (Vienna University of Technology)

Prolog Programming Contest: Tom Schrijvers (Universiteit Gent, Belgium)

PROGRAM COMMITTEE

Slim Abdennadher (German University in Cairo)
Marcello Balduccini (Kodak Research Laboratories)
Chitta Baral (Arizona State University)
Maurice Bruynooghe (K.U.Leuven)
Manuel Carro (Technical University of Madrid (UPM))
James Cheney (University of Edinburgh)
Henning Christiansen (Roskilde University)
Alessandro Dal Palu (Universita degli Studi di Parma)
Marc Denecker (K.U.Leuven)
Agostino Dovier (Universita degli Studi di Udine)
Esra Erdem (Sabanci University)
Franois Fages (INRIA Rocquencourt)
John Gallagher (Roskilde University, IMDEA Software)
Martin Gebser (University of Potsdam)
Michael Gelfond (Texas Tech University)
Samir Genaim (Universidad Complutense de Madrid)
Katsumi Inoue (NII)
Andy King (University of Kent)
Evelina Lamma (ENDIF, University of Ferrara)
Joohyung Lee (Arizona State University)
Nicola Leone (University of Calabria)
Michael Leuschel (University of Duesseldorf)
Yuliya Lierler (University of Kentucky)
Vladimir Lifschitz (University of Texas)
Marco Maratea (University of Genova)
Victor Marek (University of Kentucky)
Davide Martinenghi (Politecnico di Milano)
Alessandra Mileo (DERI Galway)
Emilia Oikarinen (Aalto University)
Mauricio Osorio (UDLA)
Maurizio Proietti(IASI-CNR, Rome, Italy)
German Puebla (Technical University of Madrid)
Konstantinos Sagonas (National Technical University of Athens)
Vtor Santos Costa (Universidade do Porto)
Tom Schrijvers (Universiteit Gent)
Alexander Serebrenik (Technische Universiteit Eindhoven)
Guillermo Simari (Universidad Nacional del Sur)
Zoltan Somogyi (Univerity of Melbourne)
Tran Cao Son (New Mexico State University)
Hans Tompits (Vienna University of Technology)
Francesca Toni (Imperial College London)
Mirek Truszczynski (University of kentucky)
German Vidal (Technical University of Valencia)
Kewen Wang (Griffith University)
Jan Wielemaker (University of Amsterdam)
Stefan Woltran (Vienna University of Technology)
Jia-Huai You (University of Alberta)


SPONSOR

The conference is sponsored by the Association for Logic Programming (ALP).

FINANCIAL ASSISTANCE

The Association for Logic Programming has funds to assist financially
disadvantaged participants and, specially, students in order to be able to
attend the conference.

WORKSHOPS

The ICLP 2011 program will include several workshops, held before and after the
main conference. They are perhaps the best places for the presentation of
preliminary work, undeveloped novel ideas, and new open problems to a wide and
interested audience with opportunities for intensive discussions and project
collaboration.

DOCTORAL CONSORTIUM

The 7th Doctoral Consortium (DC) on Logic Programming provides research students
with the opportunity to present and discuss their research directions, and to
obtain feedback from both peers and world-renown experts in the field. Accepted
participants will receive partial financial support to attend the event and the
main conference. The best paper and presentation from the DC will be given the
opportunity to present in a special session of the main ICLP conference.

CONFERENCE VENUE

Lexington is a medium size, pleasant and quiet university town. It is located in
the heart of the so-called Bluegrass Region in Central Kentucky. The city is
surrounded by beautiful horse farms on green pastures dotted with ponds and
traditional architecture stables, ponds and small race tracks, and bordered by
white or black fences. The Horse Museum is as beautifully located as it is
interesting. Overall, the city has a nice feel that mixes well old and new.

Traveling to Lexington is easy. The local airport has frequent direct flights to
Cincinnati, Atlanta, Detroit, and Chicago. It has also direct but less frequent
flights (one or two a day) to several other large US cities such as Dallas-Ft.
Worth, Houston and Newark. Thus, it can be reached easily from any place in the
world.
В избранное