FSFLA 2012: 1st announcement

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

ARCOE-12: Third call for papers

=== CALL FOR PAPERS ===

Acquisition, Representation and Reasoning with Contextualized Knowledge,
4th International Workshop (ARCOE-12)

http://www.arcoe.org/2012

held in collocation with

20th European Conference on Artificial Intelligence (ECAI-12)
Montpellier, France

-- Submission Open --

Submission now open via: https://www.easychair.org/conferences/?conf=arcoe12

-- Important Dates --

Submission deadline: 28 May 2012
Notification: 28 June 2012
Camera ready: 15 July 2012  
Early registration: 5 July 2012
Late registration: 8 August 2012
Workshop dates: 27-28 August 2012

-- Description of the workshop --

Dealing with context is one of the most interesting and most important
problems faced in Artificial Intelligence (AI). Traditional AI applications
often require to model, store, retrieve and reason about knowledge that
holds within certain circumstances - the context. Without considering this
contextual information, reasoning can easily run to problems such as:
inconsistency, when considering knowledge in the
wrong context; inefficiency, by considering knowledge irrelevant for a
certain context; incompleteness, since an inference may depend on knowledge
assumed in the context and not explicitly stated. Contextual information is
also relevant in many tasks in knowledge representation and reasoning such
as common-sense reasoning, dealing with inconsistency, ambiguity, and
uncertainty, evolution, etc.

In recent years, research in contextual knowledge representation and
reasoning became more relevant in the areas of Semantic Web, Linked Open
Data, and Ambient Intelligence, where knowledge is not considered a
monolithic and static asset, but it is distributed in a network of
interconnected heterogeneous and evolving knowledge resources. The ARCOE
workshop aims to provide a dedicated forum for researchers interested in
these topics to discuss recent developments, important open issues, and
future directions.

-- Topics --

ARCOE-12 welcomes submissions on the topics below as well as on their
intersection and other topics related to acquisition, representation,
reasoning with context and its applications.

Philosophical and theoretical foundations of context:

  1. What is context and how should it be represented.
  2. Relevant types of contextual information and their properties.
  3. Combining contextual information with object information for reasoning.
  4. Context and common-sense reasoning.
  5. Exploiting context in inconsistency and uncertainty handling,
     defeasible reasoning and argumentation.
  6. Contextual logic programming.
  7. Updating contextual knowledge and context-aware belief revision.
  8. Frameworks for formalizing context and context-aware knowledge
     representation.

Context modeling and contextual knowledge engineering:

  1. Modeling of user's/agent's context.
  2. Context driven organization of knowledge and modeling.
  3. Ontologies for context modeling.
  4. Context-aware modeling tools and methodology.
  5. Comparisons to context-unaware modeling techniques.

Effective reasoning with context:

  1. Effective context-aware reasoning algorithms.
  2. Distributed reasoning with context.
  3. Context-driven heuristics in classical reasoning systems.
  4. Reasoning under uncertainty and inconsitency.
  5. Defeasible reasoning.
  4. Hybrid formalisms for reasoning with context, including sub-symbolic
     contexts

Applications of context in areas such as:

  1. Agent communication and coordination.
  2. Semantic Web and Linked Open Data.
  3. Knowledge modularization.
  4. Ontology matching.
  5. Ontology fault diagnosis and repair.
  6. Ontology evolution and versioning.
  7. Information integration.
  8. Ambient intelligence and pervasive computing.
  9. Exploiting context in Web 2.0 applications, e-commerce, and e-learning.

-- Submission Requirements  --

Papers of two types can be submitted. Regular papers are intended for research
reports and surveys. ARCOE also welcomes reports on significant work in
progress which has already achieved some interesting partial results, as well
as papers recently submitted or published elsewhere as long as their topic is
in line with the workshop. Regular papers should not exceed 12 pages in length
including references. Position papers are intended for presentation of
interesting new open issues and challenges, and opinions on the status of the
field. Position papers are limited to 6 pages including references. All papers
must be formatted using the Springer LNCS style:

http://www.springer.com/comp/lncs/Authors.html

and submitted in PDF format via EasyChair using:

https://www.easychair.org/conferences/?conf=arcoe12

The distinction during the selection-phase will be based on

1) Relevance, significance and quality of the submission;

2) The contribution's potential to foster cross-pollination and
discussions on ARCOE main themes during the event.

Accepted papers will be presented either as oral presentations or as
posters, depending on the choice of the program committee.
However, all accepted papers will be included in the Working Notes
in their full form and will be accessible via the Internet.

-- Invited Talks --

* The role of context in controlling inconsistency - Alan Bundy, University
  of Edinburgh 
* Multi context logics: a formal support for structuring knowledge - Luciano
  Serafini, Fondazione Bruno Kessler, Trento

-- Workshop Co-Chairs --

* Michael Fink, Vienna University of Technology
* Martin Homola (primary contact), Comenius University, Bratislava
* Alessandra Mileo, DERI, National University of Ireland
* Ivan Jose Varzinczak, Centre for Artificial Intelligence Research, South
  Africa

-- Steering Committee --

* Alan Bundy, University of Edinburgh
* Thomas Eiter, Vienna University of Technology
* Luciano Serafini, Fondazione Bruno Kessler, Trento

-- Resources --

ARCOE-12 website: http://www.arcoe.org/2012/
EasyChair submission site: https://www.easychair.org/conferences/?conf=arcoe12
ARCOE workshop series: http://www.arcoe.org/
ECAI-12 website: http://www2.lirmm.fr/ecai2012/
Enquiries about the ARCOE workshop: arcoe [at] arcoe [dot] org
Registration: http://www2.lirmm.fr/ecai2012/index.php?option=com_content&view=article&id=93&Itemid=93

JELIA: Logics in Artificial Intelligence, Toulouse, 26-28 Sep 2012

JELIA 2012 CALL FOR PAPERS
==========================

12th European Conference on Logics in Artificial Intelligence - Toulouse, France, September 26-28, 2012
http://www.irit.fr/jelia2012

Logics provide a formal basis and key descriptive notation for the study and development of applications
and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies,
and systems today, such logics are increasingly important. The European Conference on Logics in
Artificial Intelligence (or Journees Europeennes sur la Logique en Intelligence Artificielle ---
JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of
emerging work in this field. Since then, JELIA has been organized biennially, with English as the
official language, and with proceedings published in Springer-Verlag's Lecture Notes in Artificial
Intelligence series. In 2012 the conference is organized in Toulouse, France. The increasing 
 interest in this forum, its international level with growing participation from researchers outside
Europe, and the overall technical quality, has turned JELIA into a major forum for the discussion 
 of logic-based approaches to AI.

Aims and Scope
==============
The aim of JELIA 2012 is to bring together active researchers interested in all aspects concerning the use
of logics in Artificial Intelligence to discuss current research, results, problems, and applications
of both theoretical and practical nature. JELIA strives to foster links and facilitate
cross-fertilization of ideas among researchers from various disciplines, among researchers from
academia and industry, and between theoreticians and practitioners.

Authors are invited to submit papers presenting original and unpublished research in all areas related to
the use of logics in Artificial Intelligence including:

-- Abductive and inductive reasoning
-- Answer set programming
-- Applications of logic-based AI systems
-- Argumentation systems
-- Automated reasoning including satisfiability checking and its extensions
-- Computational complexity and expressiveness
-- Deontic logic and normative systems
-- Description logics and other logical approaches to semantic web and ontologies
-- Knowledge representation, reasoning, and compilation
-- Logic programming and constraint programming
-- Logics for uncertain and probabilistic reasoning
-- Logics in machine learning
-- Logics in multi-agent systems, games, and social choice
-- Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and
hybrid logics
-- Planning and diagnosis based on logic
-- Preferences
-- Reasoning about actions and causality
-- Updates, belief revision and nonmonotonic reasoning

Paper Submission
================
Proceedings will be published by Springer-Verlag in the Lecture Notes on Artificial Intelligence
series. Papers should be written in English, and should be formatted according to the standard Springer
LNCS style. All submissions should be electronically submitted via the link available on the JELIA 2012
web page.

There are two categories for submissions:

A. Regular papers
    Submissions should not exceed 13 pages including figures, references, etc., and should contain original
research, and sufficient detail to assess the merits and relevance of the contribution. Submissions
must not have been previously published or be simultaneously submitted for publication elsewhere.

B. System descriptions
    Submissions should not exceed 4 pages, and should describe an implemented system and its application
area(s). A demonstration is expected to accompany a system presentation. Papers describing systems
that have already been presented in JELIA before will be accepted only if significant and clear
enhancements to the system are reported and implemented.

Important Dates
===============
May 22: Abstract submission
May 25: Paper submission
June 29: Notification of acceptance
July 15: Final version

RR2012: Doctoral Consortium Last Call / Deadline Extension [Web Reasoning and Rule Systems]

Dear colleagues,

[Apologies for cross-posting]
Please distribute to your students and colleagues.

Note that there are grants available for students participating to RR.
***All students from the US are eligible to apply.***

Best regards,
Francesco Calimeri

---

                         CALL FOR APPLICATION

              RR2012 Doctoral Consortium

    The 1st Web Reasoning and Rule Systems Doctoral Consortium
        Vienna, Austria, 10-12 September 2012
        http://www.rr-conference.org/RR2012/

The RR Doctoral Consortium (DC) is the first doctoral consortium to be
offered as part of The 6th International Conference on Web Reasoning and
Rule Systems.

The RR2012 Doctoral Consortium will provide doctoral students in Web
Reasoning and related areas with the unique opportunity to present and
discuss their research directions, being involved into state-of-the-art
research discussion and being supported in establishing fruitful
collaborations with prominent researchers and pioneers of the field.

The Consortium is designed for students currently enrolled in a Ph.D.
program, though we are also open to exceptions (e.g., students currently
in a Masters program and interested in doctoral studies). Students at
any stage in their doctoral studies are encouraged to apply. Applicants
are expected to be conducting research in the field of Web Reasoning and
Rules and related areas. The co-location of RR2012 with the Reasoning
Web Summer School and with other relevant related events will provide
multiple opportunities for participating students to enhance their
education.

The Consortium will allow participants to interact with established
researchers through the following initiatives:

The poster presentation session will give the students the opportunity
to present their dissertation plan, including their already established
results as well as their work plan for completion of the thesis. The
poster will be accompanied by a written research summary, which will be
distributed at the conference. The poster presentation session will be
preceded by a spotlight presentations session where poster presenters
give 5-minute teaser talks as advertisement for their posters.

The mentoring lunch will consist of a lunch break where a senior
researcher shares a lunch table with 3-4 students. The researcher will
be charged with initiating and driving a discussion on general topics
concerning research, career, and Web Reasoning as a discipline. He will
also be available for answering questions by the students.

=============================
  Submission information
=============================

To apply for participation to the RR2012 Doctoral Consortium students
are asked to submit

1. A research summary of their PhD research addressing the following
  aspects:

  - The main problem you are trying to tackle and why it is relevant
  - What is the state-of-the-art in relation to existing solutions to
    the problem
  - Advances beyond the state-of-the-art in terms of your specific
    contribution and research plan
  - Current status of the research plan
  - Expected achievements and possible evaluation metrics to establish
    the level of success of your results
  - References

2. A statement of interest in participating to the Doctoral Consortium
  (less than 1 page)

Both the research summary and the attachment must be in PDF format and
be formatted according to the Springer Publications format for Lecture
Notes in Computer Science (LNCS).
Submission will be managed via Easychair
(https://www.easychair.org/conferences/?conf=dcrr2012)

All proposals submitted to the Doctoral Consortium will undergo a
reviewing process. All the accepted contributions have to be presented.

The best submissions will present their work as regular (15 min)
presentation, and they will be given the option to have their research
summaries included in the conference proceedings (Springer LNCS).
All the other accepted submissions will be presented at the poster
presentation session, preceded by the 5-min talk.

Students whose work has been accepted at the poster presentation session
should prepare a poster as well in A0 format.
Students presenting a poster to the Reasoning Web Summer School can use
the same poster for the DC if accepted as short presentations.

=============================
  Important Dates
=============================

Application Deadline (new): Extended to May 25th, 2012
Notification:                           June 1st, 2012
Grant Application:                      June 11st, 2012
Grant Notificatin:                      June 30th, 2012

===============================================
  Grants & Awards for students attending RR
===============================================

Applications for Grants will be managed via Easychair
(https://www.easychair.org/conferences/?conf=grantdcrr2012)

Two types of sponsorship will be available.
All students at U.S. universities are eligible to apply for the sponsorships.

- Type 1 sponsorships will be in the amounts of at least $500 per student.
 Such sponsorships will be given to students who participate in the
 Reasoning Web Summer School sponsored by their own funding, such that
 they can extend their stay to include RR2012.

- Type 2 sponsorships will be in the amounts of at least $1,500 per student.
 They will cover travel and other expenses for attending RR2012.
 Sponsored students may choose to seek additional funding from other sources
 such that they can also attend the Reasoning Web Summer School.

In order to apply for a grant, students need to submit a single PDF form
containing, the following information:

Section A: Applicant details, included name and affiliation, title of the
          PhD Thesis, year of PhD, title and authors (in the correct order)
          of paper accepted to RR2012 (if any), if the applicant is attending
          the Reasoning Web Summer School as well, and the type of grant the
          applicant applies to

Section B: Short motivation statement (max 250 words) for applying, including
          eventual evidence for the need for sponsorship

Students will be selected by a committee consisting of the PIs and the chairs
of RR2012.
In their decisions, the committee members will adhere to the following criteria:
       1. Students who have submitted a dissertation plan for review,
and the review
       found the dissertation plan to be of high quality and on an
important topic.

       2. Students who are first authors of research papers at the
conference, and
       who provide convincing evidence that they would not be able to
attend all or
       part of the event without sponsorship.

       3. Students who are co-authors of research papers at the
conference, and who
       provide convincing evidence that they would not be able to
attend all or part
       of the event without sponsorship.

       4. Students who have submitted a dissertation plan for review,
but the reviews
       found the dissertation plan of lesser quality.

       5. All other students, taking into account the stage of their PhD studies
       (early-stage PhD are favored), quality of the dissertation plan
as assessed by
       the reviews, quality of the (co-)authored RR2012 research paper
as assessed by
       the reviews.

All students being awarded a grant, will present a poster and a
spotlight talk based
on their dissertation plan.

=================
  Organization
=================

Doctoral Consortium Chair:
- Alessandra Mileo, Digital Enterprise Research Institute, NUIG

List of Mentors:

The list of mentors will be communicated once the review process has
been completed. A tentative list of potential mentors may include
lecturers of the Reasoning Web Summer School, invited speakers of RR and
co-located events and other established researchers by invitation.

Program Committee (tentative):

- Jeff Z. Pan, University of Aberdeen (United Kingdom)
- Axel Polleres, Siemens AG (Österreich)
- Sebastian Rudolph, University of Karlsruhe (Germany)
- Thomas Eiter, Technische Universitat Wien (Austria)
- Diego Calvanese, Free University of Bozen-Bolzano (Italy)
- Pascal Hitzler, Wright State University, Dayton OH (US)
- Riccardo Rosati, Universita di Roma La Sapienza (Italy)
- Krzysztof Janowicz, University of California, Santa Barbara (US)
- Thomas Lukasiewicz, Oxford University Computing Laboratory (UK)
- Alessandra Mileo, DERI Galway (Ireland)
- Heiner Stuckenschmidt, University of Mannheim (Germany)
- Terrance Swift, Stony Brook University, New York (U.S.A.)
- Holger Wache, University of Applied Sciences Northwestern
Switzerland (Switzerland)
- Adrian Pachke, Free University of Berlin (Germany)
- Marcelo Arenas, Department of Computer Science at the Pontificia
Universidad Catolica de Chile

[fm-announcements] NASA/NIA PVS Class 2012

NASA/NIA PVS Class October 9-12, 2012

The Formal Methods teams at the NASA Langley Research Center and the
National Institute of Aerospace are offering a short course on the PVS
theorem prover in the fall of 2012. The class will take place October 9-12
in Hampton, Virginia:

  http://shemesh.larc.nasa.gov/PVSClass2012

The course is offered free of charge as a public service to the formal
methods community. The class is open to all interested individuals.
However, seats are limited and all attendees must register at

http://shemesh.larc.nasa.gov/PVSClass2012/registration.html

We emphasize a hands-on, immersion-style learning approach. Both
lecturematerial and in-class exercises using PVS are featured. For this
reason,
we strongly encourage attendees to bring a laptop equipped to run PVS. All
the instructors are members of the NASA Langley Formal Methods group and
expert PVS users. The PVS Class 2012 will feature a technical lecture and
an invited talk by Sam Owre, one of the creators of PVS and its main
developer.

For more information, please contact

  Cesar Munoz (Cesar.A.Munoz <at> nasa.gov),
  Anthony Narkawicz (Anthony.Narkawicz <at> nasa.gov)
  http://shemesh.larc.nasa.gov/PVSClass2012

---
To opt-out from this mailing list, send an email to

fm-announcements-request <at> lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner <at> lists.nasa.gov 

2nd CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs

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

E. W. Beth Dissertation Prize: 2012 new call for nominations

E. W. Beth Dissertation Prize: 2012 new call for nominations

Since 2002, FoLLI (the Association for Logic, Language, and
Information, http://www.folli.org) awards the E.W. Beth Dissertation
Prize to outstanding dissertations in the fields of Logic, Language,
and Information. We invite submissions for the best dissertation which
resulted in a Ph.D. degree in the year 2011. The dissertations will be
judged on technical depth and strength, originality, and impact made
in at least two of three fields of Logic, Language, and Computation.
Interdisciplinarity is an important feature of the theses competing
for the E.W. Beth Dissertation Prize.

Who qualifies.

Nominations of candidates are admitted who were awarded a Ph.D. degree
in the areas of Logic, Language, or Information between January 1st,
2011 and December 31st, 2011. There is no restriction on the
nationality of the candidate or the university where the Ph.D. was
granted. After a careful consideration, FoLLI has decided to accept
only dissertations written in English. Dissertations produced in 2011
but not written in English or not translated will be allowed for
submission, after translation, also with the call next year (for
dissertations defended in 2012). The present call for nominations for
the E.W. Beth Disertation Award 2012 will also accept nominations of
full English translations of theses originally written in another
language than English and defended in 2010 or 2011.

Prize.

The prize consists of:

-a certificate

-a donation of 2500 euros provided by the E.W. Beth Foundation

-an invitation to submit the thesis (or a revised version of it) to
the FoLLI Publications on Logic, Language and Information (Springer).
For further information on this series see the FoLLI site.

How to submit.

Only electronic submissions are accepted. The following documents are required:

1. The thesis in pdf or ps format (doc/rtf not accepted);

2. A ten page abstract of the dissertation in ascii or pdf format;

3. A letter of nomination from the thesis supervisor. Self-nominations
are not admitted: each nomination must be sponsored by the thesis
supervisor. The letter of nomination should concisely describe the
scope and significance of the dissertation and state when the degree
was officially awarded;

4. Two additional letters of support, including at least one letter
from a referee not affiliated with the academic institution that
awarded the Ph.D. degree.

All documents must be submitted electronically to buszko <at> amu.edu.pl.
Hard copy submissions are not admitted. In case of any problems with
the email submission or a lack of notification within three working
days, nominators should write to buszko <at> amu.edu.pl.

Important dates:

Deadline for Submissions: May 1, 2012. Extended: June 30, 2012.
Notification of Decision: July 31, 2012.

Explanation:

Due to some technical obstacles, the first call for nominations was
announced on the site of FoLLI in the beginning of March 2012 but not
widely distributed through mailing lists. Therefore we essentially
prolong the deadline now. We ask all potential nominators to inform
the chair earlier by a mail to buszko <at> amu.edu.pl, even before having
completed the required documents.

Committee :

Chris Barker (New York)

Wojciech Buszkowski (chair) (Poznan)

Dale Miller (Palaiseau)

Larry Moss (Bloomington)

Ian Pratt-Hartmann (Manchester)

Ruy de Queiroz (Recife)

Giovanni Sambin (Padua)

Rob van der Sandt (Nijmegen)

Rineke Verbrugge (Groningen)

Heinrich Wansing (Bochum)

ASPCOMP 2013: 4th OPEN Answer Set Programming Competition: Call for Benchmark Problems

[apologies for any cross-posting]

........................................................................

        4th OPEN Answer Set Programming Competition 2013

                 Call for Benchmark Problems

       University of Calabria - Vienna University of Technology

                        Fall/Winter 2012/2013

                http://aspcomp2013.mat.unical.it/

........................................................................

The 4th Open Answer Set Programming Competition is open to ASP systems and
*any other system* based on a declarative specification paradigm.

The event is currently open and in the Call for Benchmarks stage.

== Call for Benchmark Problems ==

Participants will compete on a selected collection of declarative
specifications of benchmark problems, taken from a variety of domains as
well as real world applications, and instances thereof.

These include, but are not limited to:

- Deductive database tasks on large data-sets
- Sequential and Temporal Planning
- Classic and Applicative graph problems
- Puzzles and Combinatorics
- Scheduling, Timetabling, and other resource allocation problems
- Combinatorial Optimization Problems
- Ontology reasoning
- Automated Theorem Proving and Model Checking
- Reasoning tasks over large propositional instances
- Constraint Programming problems
- Other AI problems

We encourage to provide help by proposing and/or devising new challenging
benchmark problems.

The submission of problems arising from applications of practical impact
are strongly encouraged; problems used in the former ASP Competitions, or
variants thereof, can be re-submitted.

Benchmark authors are expected to produce a problem specification and an
instance set (or a generator thereof). The detailed benchmark problems
submission procedure is available at:

       http://www.mat.unical.it/aspcomp2013/BenchmarkSubmission

=== About the ASP Competition Series ===

Answer Set Programming is a well-established paradigm of declarative
programming with close relationship to other declarative modelling
paradigms and languages, such as SAT Modulo Theories, Constraint Handling
Rules, FO(.), PDDL, CASC, and many others.

Since the first informal editions (Dagstuhl 2002 and 2005), ASP systems
compare themselves in the nowadays customary ASP Competition: the 4th ASP
Competition will be run jointly at the University of Calabria (Italy) and
the Vienna University of Technology (Austria), in the first half of 2013.
The event is the sequel to the ASP Competition series, held at the
University of Potsdam (Germany) in 2006-2007, at the University of Leuven
(Belgium) in 2009, and at University of Calabria (Italy) in 2011. The
current competition takes place in cooperation with the 13th International
Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013),
where the results will be announced.

The ASP competition is held as an open tournament. The "Model & Solve"
competition track fosters the spirit of integration among communities, and
is thus open to all types of solvers: ASP systems, SAT solvers, SMT
solvers, CP systems, FOL theorem provers, Description Logics reasoners,
planning reasoners, or any other. The "System" competition track is
instead set up on a fixed language based on the answer set semantics.

== Important Dates ==

* Problem selection stage

 Problem submission deadline: Aug 31th, 2012

* Competition stage

 "Model & Solve" submission deadline: Mar 1st, 2013
 "System" submission deadline:  Mar 1st, 2013

* Sep 15-19th, 2013

 Announcement of results and awards at LPNMR 2013 - Corunna, Spain

For further information please visit the competition web site

                http://aspcomp2013.mat.unical.it/

or contact us by email: aspcomp2013 <at> kr.tuwien.ac.at.

LOPSTR 2012: Final Call for Papers

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

                        Call for papers
                 22nd International Symposium on
         Logic-Based Program Synthesis and Transformation
                           LOPSTR 2012

                http://costa.ls.fi.upm.es/lopstr12
              Leuven, Belgium, September 18-20, 2012
                   (co-located with PPDP 2012)

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

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.

The 22nd International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2012) will be held in Leuven, Belgium; previous
symposia were held in Hagenberg, Coimbra, Valencia, Lyngby, Venice,
London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester,
Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and
Odense (you might have a look at the contents of past LOPSTR
symposia). LOPSTR 2012 will be co-located with PPDP 2012
(International ACM SIGPLAN Symposium on Principles and Practice of
Declarative Programming).

Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:

      * specification
      * verification
      * analysis
      * specialization
      * composition
      * certification
      * transformational techniques in SE
      * synthesis
      * transformation
      * optimisation
      * inversion
      * program/model manipulation
      * security
      * applications and tools

Survey papers, that present some aspect of the above topics from a new
perspective, and application papers, that describe experience with
industrial applications, are also welcome.

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Proceedings

The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series.

Important Dates

        Abstract submission:                  May 21,2012
        Paper submission:                     May 25, 2012
        Notification (for pre-proceedings):   June 29, 2012
        Camera-ready (for pre-proceedings):   July 8, 2012
        Symposium:                            September 18-20, 2012

Submissions must be formatted in the Lecture Notes in Computer Science
style. They cannot exceed 15 pages including references but excluding
well-marked appendices not intended for publication. Referees are not
required to read the appendices, and thus papers should be
intelligible without them.

Full papers can be directly accepted for publication in the formal
proceedings to be published by Springer in the LNCS series or accepted
only for presentation at the symposium. After the symposium, all
authors of extended abstracts and full papers accepted only for
presentation will be invited to revise and/or extend their submissions
in the light of the feedback solicited at the symposium. Then, after
another round of reviewing, these revised papers may also be published
in the formal proceedings.

Authors should submit an electronic copy of the paper (written in
English) in PDF or Postscript (Level 2). Each submission must include
on its first page the paper title; authors and their affiliations;
contact author's email; abstract; and three to four keywords. The
keywords will be used to assist us in selecting appropriate reviewers
for the paper. If electronic submission is impossible, please contact
the program chair for information on how to submit hard copies.

Papers should be submitted to the submission website for LOPSTR 2012.

Invited speakers:

- Tom Schrijvers, University of Ghent, Belgium 
- Jürgen Giesl, RWTH Aachen, Germany (shared with PPDP)

Program Committee:

Elvira Albert           Complutense University of Madrid, Spain
Sergio Antoy            Portland State University, US
Demis Ballis            University of Udine, Italy
Henning Christiansen    Roskilde University, Denmark
Michael Codish          Ben-Gurion University of the Negev, Israel
Danny De Schreye        K.U.Leuven, Belgium
Esra Erdem              Sabanci University, Istanbul
Maribel Fernandez       King's College London, UK
John Gallagher          Roskilde University, Denmark
Robert Glück            University of Copenhagen, Denmark
Miguel Gomez-Zamalloa   Complutense University of Madrid, Spain
Rémy Haemmerlé	        Technical University of Madrid, Spain
Reiner Hähnle           TU Darmstadt, Germany
Geoff Hamilton          Dublin City University, Ireland
Carsten Fuhs            University College London, UK
Gerda Janssens          K.U.Leuven, Belgium
Isabella Mastroeni      University of Verona, Italy
Kazutaka Matsuda	University of Tokyo, Japan
Paulo Moura             Universidade da Beira Interior, Portugal
Johan Nordlander        Luleå University of Technology, Sweden
Andrey Rybalchenko      Technische Universität München, Germany
Kostis Sagonas          Uppsala University, Sweden
Francesca Scozzari      Università "G. D'Annunzio" di Chieti, Italy
Valerio Senni           Universtà di Roma "Tor Vergata", Italy
German Vidal            Technical University of Valencia, Spain

Program Chair:

      Elvira Albert
      Department of Computer Science (DSIC)
      Complutense University of Madrid
      Madrid, Spain

General Co-Chairs

      Daniel De Schreye and Gerda Janssens
      Department of Computer Science
      K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium

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

Call For Papers: APLAS 2012, 10th Asian Symposium on Programming Languages and Systems

(Apologies for multiple copies. Abstract deadline in 30 days!)

10th Asian Symposium on Programming Languages and Systems
=========================================================

          Kyoto, Japan, December 13-15 2012

	    http://aplas12.kuis.kyoto-u.ac.jp/

              co-located with CPP 2012

	    http://cpp12.kuis.kyoto-u.ac.jp/

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

* Abstract Deadline     : Jun 11, 2012 	    (Monday)
* Submission Deadline   : Jun 15, 2012 	    (Friday)
* Notification          : Aug 27, 2012 	    (Monday)
* Camera-Ready          : Sep 19, 2012	    (Monday)
* Conference            : Dec 11-13, 2012

Background
----------

APLAS aims at stimulating programming language research by providing a
forum for the presentation of latest results and the exchange of ideas in
topics concerned with programming languages and systems. APLAS is based in
Asia, but is an international forum that serves the worldwide programming
language community.

APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA. The past APLAS symposiums were successfully held
in Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore
('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after
three informal workshops.  Proceedings of the past symposiums were
published in Springer-Verlag's LNCS.

**The 2012 conference will be held at Kyoto, Japan.**

Topics
------

The symposium is devoted to both foundational and practical 
issues in programming languages and systems. Papers are solicited 
on, but not limited to, the following topics:

+ semantics, logics, foundational theory;
+ design of languages and foundational calculi;
+ domain-specific languages;
+ type systems;
+ compilers, interpreters, abstract machines;
+ program derivation, synthesis and transformation;
+ program analysis, constraints, verification, model-checking;
+ software security;
+ concurrency, parallelism;
+ tools for programming, verification, implementation. 

APLAS 2012 is not limited to topics discussed in previous
symposiums. Papers identifying future directions of 
programming and those addressing the rapid changes of the 
underlying computing platforms are especially welcome. 
Demonstration of systems and tools in the scope of APLAS are 
welcome to the System and Tool presentations category. 
Authors concerned about the appropriateness of a topic are
welcome to consult with Program Chair prior to submission.

Submission Information
----------------------

We solicit submissions in two categories:

(a) *Regular research papers*: describing original research results,
including tool development and case studies, from a perspective of
scientific research. Regular research papers should not exceed 16
pages in the Springer LNCS format, including bibliography and
figures. They should clearly identify what has been accomplished and
why it is significant. Submissions will be judged on the basis of
significance, relevance, correctness, originality, and clarity. In
case of lack of space, proofs, experimental results, or any
information supporting the technical results of the paper could be
provided as Appendix or a link to a web page.

(b) *System and Tool presentations*: describing systems or tools that support
theory, program construction, reasoning, and/or program execution in the
scope of APLAS. Unlike presentations of regular research papers,
presentation of accepted papers in this category is expected to be centered
around a demonstration. The paper and the demonstration should identify the
novelties of the tools and use motivating examples. System and Tool papers
should not exceed 8 pages in the Springer LNCS format, including
bibliography and figures. Submissions will be judged based on both the
papers and the systems or tools as described in the papers. It is highly
desirable that the tools are available on the web.

Papers should be submitted electronically via the submission web page

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

Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat
Reader. Submitted papers must be unpublished and not submitted for
publication elsewhere. Papers must be written in English. The
proceedings will be published as a volume in Springer-Verlag's 
Lecture Notes in Computer Science series. Accepted papers must 
be presented at the conference.

Organizers
----------

**General Chair** 

Atsushi Igarashi, Kyoto Univ.

**Program Chair**

Ranjit Jhala, Univ. of California, San Diego

aplas2012 <at> easychair.org

**Program Committee**

* Amal Ahmed, Northeastern Univ.
* Satish Chandra, IBM
* Juan Chen, Microsoft Research
* Jean-Christophe Filliatre, LRI
* Deepak Garg, MPI-SWS
* Aarti Gupta, NEC Labs America
* Arie Gurfinkel, SEI, Carnegie Mellon Univ.
* Aquinas Hobor, Natl. Univ. Singapore
* Chung-Kil Hur, MPI-SWS
* Atsushi Igarashi, Kyoto Univ.
* Ranjit Jhala, Univ. of California, San Diego
* Thomas Jensen, INRIA
* Akash Lal, Microsoft Research
* Keiko Nakata, Institute of Cybernetics, Tallinn
* James Noble, Victoria Univ. of Wellington
* Luke Ong, Univ. of Oxford
* Sungwoo Park, Pohang Univ. Sci. Tech.
* Zvonimir Rakamaric, Univ. of Utah
* Tachio Terauchi, Nagoya Univ. 
* Dimitrios Vytiniotis, Microsoft Research 
* Bow-Yaw Wang, Academia Sinica
* Stephanie Weirich, Univ. of Pennsylvania
* Eran Yahav, Technion
* Xiangyu Zhang, Purdue Univ.
* Jianjun Zhao, Shanghai Jiao Tong Univ.

PPDP 2012: Final Call for Papers

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

                           Call for papers
                 14th International Symposium on
         Principles and Practice of Declarative Programming
                             PPDP 2012

  	Special Issue of Science of Computer Programming (SCP)

              Leuven, Belgium, September 18-20, 2012
                   (co-located with LOPSTR 2012)

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

PPDP 2012 is a forum that brings together researchers from the
declarative programming communities, including those working in the
logic, constraint and functional programming paradigms, but also embracing
a variety of other paradigms such as visual programming, executable specification
languages, database languages, and knowledge representation languages.

The goal is to stimulate research in the use of logical formalisms and methods
for specifying, performing, and analysing computations, including mechanisms for
mobility, modularity, concurrency, object-orientation, security, verification and
static analysis. Papers related to the use of declarative paradigms and tools in
industry and education are especially solicited. Topics of interest include, but
are not limited to:

*	Functional programming
*	Logic programming
*	Answer-set programming
*	Functional-logic programming
*	Declarative visual languages
*	Constraint Handling Rules
*	Parallel implementation and concurrency
*	Monads, type classes and dependent type systems
*	Declarative domain-specific languages
*	Termination, resource analysis and the verification of declarative programs
*	Transformation and partial evaluation of declarative languages
*	Language extensions for security and tabulation
*	Probabilistic modelling in a declarative language and modelling reactivity
*	Memory management and the implementation of declarative systems
*	Practical experiences and industrial application

This year the conference will be co-located with the 22nd International Symposium on
Logic-Based Program Synthesis and Transformation (LOPSTR 2012) and held in cooperation with
ACM SIGPLAN.  The conference will be held in Leuven, Belgium. Previous symposia were held
at Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA),
Florence (Italy), Montreal (Canada), and Paris (France).

Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Proceedings will be published by ACM Press*

After the symposium, a selection of the best papers will be invited to extend their
submissions in the light of the feedback solicited at the symposium.  The papers are expected
to include at least 25% extra material over and above the PPDP version. Then, after
another round of reviewing, these revised papers will be published in a special issue of SCP
with a target publication date by Elsevier of 2013.

Important Dates:

  	Abstract Submission: 		May 28, 2012
  	Paper submission: 		May 31, 2012
  	Notification: 			July 6, 2012
  	Camera-ready: 			July 18, 2012

  	Symposium: 			September 19-21, 2012

  	Invites for SCP: 		September 26, 2012
  	Submission of SCP: 		December 12, 2012
  	Notification from SCP: 		February 7, 2013
  	Camera-ready for SCP: 		March 7, 2013

Authors should submit an electronic copy of the paper (written in English) in PDF. 
Each submission must include on its first page the paper title; authors and
their affiliations; abstract; and three to four keywords. The keywords will be
used to assist us in selecting appropriate reviewers for the paper. Papers should
consist of no more than 12 pages, formatted following the ACM SIG proceedings
template (option 1). The 12 page limit must include references but excludes well-marked
appendices not intended for publication. Referees are not required to read the
appendices, and thus papers should be intelligible without them.

Invited speakers:

Torsten Schaub, University of Potsdam, Germany
Juergen Giesl, RWTH Aachen, Germany (shared with LOPSTR)

Program Committee:

Slim Abdennadher 	German University in Cairo, Egypt
Puri Arenas		Complutense University of Madrid, Spain
Marcello Balduccini	Kodak Research Labs, USA 
Amir Ben-Amram		Tel-Aviv Academic College, Israel
Philip Cox		Dalhousie University, Canada
Marina De Vos		University of Bath, UK
Martin Erwig		Oregon State University, USA
Martin Gebser		University of Potsdam, Germany
Jacob Howe		City University London, UK
Joxan Jaffar 		National University of Singapore, Singapore
Gabriele Keller 	University of New South Wales, Australia
Andy King		University of Kent, UK
Julia Lawall 		INRIA Paris, France
Rita Loogen 		Philipps-Universitat Marburg, Germany
Greg Michaelson		Heriot-Watt University, UK
Matthew Might		University of Utah, USA
Henrik Nilsson		University of Nottingham, UK
Catuscia Palamidessi	INRIA Saclay and Ecole Polytechnique, France
Kostis Sagonas 		Uppsala University, Sweden and NTUA, Greece
Taisuke Sato		Tokyo Institute of Technology, Japan
Peter Schneider-Kamp	University of Southern Denmark, Denmark
Tom Schrijvers		University of Ghent, Belgium
Terrance Swift		Universidade Nova de Lisboa, USA
Mirek Truszczynski	University of Kentucky, USA
Stephanie Weirich 	University of Pennsylvania, USA

Program Chair:

      Andy King
      School of Computing, University of Kent
      Canterbury, CT2 7NF, UK

General Co-Chairs:

      Daniel De Schreye and Gerda Janssens
      Department of Computer Science
      K.U.Leuven, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium

* Confirmation pending