🚀 go-pugleaf

It's Interestiong!.
-- 
http://www.geocities.com/tokyufubai/

<A.Serebrenik@tue.nl> wrote in message
news:1131908410.521518.206230@o13g2000cwo.googlegroups.com...
>                        FIRST CALL FOR PAPERS
>
>                              ICLP'06
>
>           22nd International Conference on Logic Programming
>              Seattle, Washington, USA, 17-20 August, 2006
>                    http://www.cs.uky.edu/iclp06/
>
>          Part of Fourth Federated Logic Conference, FLoC 2006
>                 http://research.microsoft.com/floc06/
>
> CONFERENCE SCOPE
>
> Since the first conference held in Marseilles 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, Nonmonotonic Reasoning,
>   Knowledge Representation.
> * Implementation: Compilation, Memory Management, Virtual Machines,
>   Parallelism.
> * Environments: Program Analysis, Program Transformation, Validation
> and
>   Verification, Debugging, Profiling.
> * Language Issues: Concurrency, Objects, Coordination, Mobility, Higher
>   Order, Types, Modes, Programming Techniques.
> * Alternative Paradigms: Constraint Logic Programming, Abductive Logic
>   Programming, Inductive Logic Programming, Answer-Set Programming.
> * Applications: Deductive Databases, Data Integration, Software
> Engineering,
>   Natural Language, Web Tools, Internet Agents, Artificial
> Intelligence.
>
> The three broad categories for submissions are: (1) technical papers,
> where specific attention will be given to work providing novel
> integrations
> of the areas listed above, (2) application papers, where the emphasis
> will be on their impact on the application domain as opposed to the
> advancement of the the state-of-the-art of logic programming, and (3)
> posters, ideal for presenting and discussing current work not yet ready
> for publication, for PhD thesis summaries and research project
> overviews.
>
> In addition to papers and posters, the technical program will include
> invited talks, advanced tutorials, several workshops and  Doctoral
> Student Consortium. Details, as they become available will be posted at
> http://www.cs.uky.edu/iclp06/
>
> PAPERS AND POSTERS
>
> Papers and posters must describe original, previously unpublished
> research, and must not be simultaneously submitted for publication
> elsewhere. They must be written in English. Technical papers and
> application papers must not exceed 15 pages in the Springer LNCS
> format (cf. http://www.springer.de/comp/lncs/index.html). The
> limit for posters is 2 pages in that format.
>
> The primary means of submission will be electronic. More information
> on the submission procedure will be available at
> http://www.cs.uky.edu/iclp06/
>
> PUBLICATION
>
> The proceedings of the conference will be published by Springer-Verlag
> in the LNCS series. The proceedings will include the accepted papers
> and the abstracts of accepted posters.
>
> SUPPORT SPONSORING AND AWARDS
>
> The conference is sponsored by the Association for Logic Programming.
> The ALP has funds to assist financially disadvantaged participants.
>
> The ALP is planning to sponsor two awards for ICLP'06: for the best
> technical paper and for the best student paper.
>
> IMPORTANT DATES
>
>                                                     Papers
> Posters
> Abstract submission deadline   14 February      N/A
> Submission deadline                 21 February     14 March
> Notification of authors                 7 April             14 April
> Camera-ready copy due             2 May              2 May
>
> ICLP'2006 ORGANIZATION
>
> General Chair:
> Manuel Hermenegildo (herme@fi.upm.es)
>
> Program Co-Chairs:
> Sandro Etalle (s.etalle@utwente.nl)
> Mirek Truszczynski (mirek@cs.uky.edu)
>
> Workshop Chair:
> Christian Schulte (schulte@imit.kth.se)
>
> Doctoral Student Consortium:
> Enrico Pontelli (epontell@cs.nmsu.edu)
>
> Publicity Chair:
> Alexander Serebrenik (a.serebrenik@tue.nl)
>
> PROGRAM COMMITTEE
>
> Maria Alpuente
> Krzysztof Apt
> Annalisa Bossi
> Veronica Dahl
> Giorgio Delzanno
> Pierre Deransart
> Agostino Dovier
> Thomas Eiter
> Sandro Etalle, co-chair
> John Gallagher
> Michael Gelfond
> Hai-Feng Guo
> Manuel Hermenegildo
> Tomi Janhunen
> Fangzhen Lin
> Michael Maher
> Victor Marek
> Eric Monfroy
> Stephen Muggleton
> Brigitte Pientka
> Maurizio Proietti
> I.V. Ramakrishnan
> Peter van Roy
> Harald Sondergaard
> Mirek Truszczynski, co-chair
> German Vidal
> Andrei Voronkov
> Roland Yap
>
> CONFERENCE VENUE
>
> The conference will be a part of the fourth Federated Logic Conference
> (FLoC'06) to be held August 10-21, 2006, in Seattle, Washington
> (http://research.microsoft.com/floc06/). Other participating
> conferences are: Computer-Aided Verification (CAV), Rewriting
> Techniques
> and Applications (RTA), Logic in Computer Science (LICS), Theory and
> Applications of Satisfiability Testing (SAT), and Int'l Joint
> Conference
> on Automated Reasoning (IJCAR). Plenary events involving multiple
> conferences are planned.
>