yap-users — General Information on Yap

[Yap-users] Problem encountered with functor

[Jacques G. <gre...@gm...>]

Hello,

I am building a large application  ( http://geometrix.free.fr  a Geometry
Theorem Prover ) primarily written in Freepascal (Lazarus) and Swi-prolog.

I have made extensive tests with Yap. It is indeed much faster. I have
managed to mix up all 3 languages now and it all looks quite promissing.

I have met this problem with YAP 6.3.3 (i686-mingw32) downloaded from the
official site :

asserta(test([mode(assiste)])).
yes

listing(test).
teste([(mode assiste)]).
yes

Whereas :

asserta(test([foo(assiste)])).
yes

listing(test).
teste([(foo(assiste)]).
yes

Best regards
Jacques Gressier

[Yap-users] YAP Prolog, Java and JPL 7

[Christos V. <chr...@gm...>]

Dear fellow yap-users,

I am a researcher on Complex Event Recognition and I use Java along with
Prolog for my current experiments. More specifically, I have built a Java
application that, among other things, uses Prolog to execute queries and
perform logical inference. I have been using the new JPL 7 library in order
to import a SWI Prolog engine in this Java application.

I would like to repeat my experiments, using YAP Prolog this time, but I am
facing difficulties. It is mentioned in YAP Prolog's documentation that YAP
Prolog can be used to interact with Java via the JPL library. However, I
struggle to find in the JPL's documentation the way of switching from SWI
to YAP.

I have spotted a couple of methods, such as

JPL.setNativeLibraryPath(java.lang.String newPath)

or

JPL.setDefaultInitArgs(java.lang.String[] args)

but the accompanying javadoc/documentation is anything but verbose, thus
making it difficult for me to understand if these methods are what I need
to switch to YAP and how to call them properly.

So, first of all, can I create and use an instance of a YAP engine inside a
Java program using JPL 7? If so, can anyone provide some more specific
information on how to do it?

Thank you in advance.

Christos Vlassopoulos
Associate Researcher | IIT | NCSR "Demokritos"
B.Sc. in Computer Science | AUEB
GR

[Yap-users] c++

[Davide N. <dav...@cs...>]

Dear,
I know that there is a c++ interface in yap (CXX in yap 6.3), is there 
any example/documentation available?
Is there a swig interface as well? if so, is there any example?
I need an easy interface from prolog to c++ and vice versa.
I also noticed that calling a small c function from prolog has an 
overhead that can be significant when the function is called thousands 
of times.
any suggestions to reduce this overhead?

thank you very much!

regards,
Davide

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

[Yap-users] RuleML and RR -- Call for Participation

[Luca P. <lp...@un...>]

Dear Colleagues,

"Berlin on the Rules" - for the first time the three major events of the 
Web Rules community - RR 2015, Reasoning Web 2015 and RuleML 2015 - are 
co-located this year in Berlin, Germany, together with the Conference on 
Automated Deduction (CADE) and the Workshop on Formal Ontologies meet 
Industry (FOMI). Speakers, attendees and supporters of Web rules and 
standards all look forward to sharing new ideas whilst learning from the 
broad network of world-class scientists and professionals.

Don't miss this opportunity!


The 9th International Web Rule Symposium (RuleML 2015)
August 2-5, 2015
http://2015.ruleml.org

The 9th International Conference on Web Reasoning and Rules (RR 2015)
August 4-5, 2015
http://www.csw.inf.fu-berlin.de/rw2015/

The 11th Reasoning Web Summer School (RW 2015)
July 30th to August 4th, 2015
http://www.csw.inf.fu-berlin.de/rw2015/


Freie Universitaet Berlin, Berlin, Germany

-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail lp...@un...
http://sites.google.com/site/lpulina

[Yap-users] PLP-2015: deadline extensions to 15 June

[Fabrizio R. <fab...@un...>]

PLP-2015: The Second Workshop on Probabilistic Logic Programming
       ----------------------------------------------------------------

     A workshop of the 2015 International Conference on Logic Programming
                               31 August 2015
                                Cork, Ireland
                      http://stoics.org.uk/plp/plp2015/



Deadline extension to        15 June 2015


Overview
-----
Probabilistic  logic programming (PLP)  approaches have  received much
attention
in this  century. They address the need to reason about relational domains
under
uncertainty arising in a variety of application domains, such as
bioinformatics,
the semantic  web, robotics, and many more.  Developments  in  PLP  include
 new
languages  that combine  logic programming  with probability  theory, as
well as
algorithms that operate over programs in these formalisms.

PLP  is part  of  a wider  current interest  in  probabilistic programming.
  By
promoting probabilities as explicit programming constructs, inference,
parameter
estimation  and learning  algorithms can  be ran  over programs  which
represent
highly  structured  probability  spaces.   Due  to  logic  programming's
 strong
theoretical  underpinnings,  PLP  is  one  of  the  more  disciplined
 areas  of
probabilistic programming.  It builds upon and  benefits from the large
 body of
existing work  in logic programming,  both in semantics and
 implementation, but
also presents  new challenges  to the  field. PLP  reasoning often
 requires the
evaluation of large number of possible states before any answers can be
produced
thus braking the sequential search model of traditional logic programs.

While  PLP has  already contributed  a number  of formalisms,  systems and
 well
understood and  established results in: parameter  estimation, tabling,
marginal
probabilities  and  Bayesian  learning,  many  questions  remain  open  in
 this
exciting,  expanding field  in  the  intersection of  AI,  machine learning
 and
statistics.

This  workshop  provides a  forum for  the  exchange of ideas,
 presentation of
results and preliminary work, in the following areas

   * probabilistic logic programming formalisms

   * parameter estimation

   * statistical inference

   * implementations

   * structure learning

   * reasoning with uncertainty

   * constraint store approaches

   * stochastic and randomised algorithms

   * probabilistic knowledge representation and reasoning

   * constraints in statistical inference

   * applications, such as

   * * bioinformatics

   * * semantic web

   * * robotics

   * probabilistic graphical models

   * Bayesian learning

   * tabling for learning and stochastic inference

   * MCMC

   * stochastic search

   * labelled logic programs

   * integration of statistical software

The above list should be interpreted broadly and is by no means exhaustive.


Purpose
-----
After a successful  first edition of this  workshop at ICLP 2014  in
Vienna, the
second edition  hopes to  continue to foster  collaboration between
 between the
ICLP and PLP communities. We hope that  both (a) more LP researchers will
become
interested in inference  and learning with PLP and (b)  PLP researchers
will get
important feedback on their work from logic programmers.


Submissions
-----
Submissions will be  managed via EasyChair. Contributions should be
 prepared in
the LLNCS style. A mixture  of papers are sought including: new results,
work in
progress  as  well as technical  summaries of recent  substantial
contributions.
Papers presenting  new results should  be 6-12 pages in length. Work in
progress
and technical summaries  can be shorter. The workshop  proceedings will
 clearly
indicate the type of each paper.

At  least one  author of  each accepted  paper will  be required  to attend
 the
workshop to present the contribution.


Publication
-----
Informal proceedings will  be made available electronically  to attendees.
They
will also  be for stored  permanently in the  form on CEUR  Workshop
Proceedings
(http://ceur-ws.org/).  The proceedings will  consist of clearly marked
sections
corresponding to the different types of submissions accepted.

Extended  versions  of  selected  workshop  papers  will  be  published  in
 the
International Journal of Approximate Reasoning (Elsevier).


Deadlines
-----
Papers due:                Wed, 15th June 2015
Notification to authors:   Fri, 10th July 2015
Camera ready version due:  Fri, 24th July 2015
Workshop data:             Mon, 31st August 2015

(the deadline for all dates is 23:59 BST)


Invited Speaker(s)
-----
To be announced


Programme Committee
-----
Fabrizio Riguzzi (Universita'  di Ferrara, Italy)  [co-chair]
Joost Vennekens (KU Leuven, Belgium)  [co-chair]
Elena Bellodi (ENDIF-University of Ferrara)
Nicos Angelopoulos (Imperial College, London)
Arjen Hommersom (University of Nijmegen)
Nicola Di Mauro (Università di Bari)
Christian Theil Have (Copenhagen University)
Angelika Kimmig (KU Leuven)
Wannes Meert (KU Leuven)
Aline Paes (Institute of Computing, Universidade Federal Fluminense)
David Poole (University of British Columbia)
C. R. Ramakrishnan (University at Stony Brook)
Herbert Wiklicky (Imperial College London)
Terrance Swift (CENTRIA, Universidade Nova de Lisboa)
James Cussens (University of York)

[Yap-users] EXTENDED DEADLINE: Horn Clauses for Verification and Synthesis (HCVS)

[Jorge A N. <nav...@gm...>]

Call for Papers

Horn Clauses for Verification and Synthesis (HCVS)

July 19, 2015 · San Francisco, USA

Submission deadlines:

- paper submission: May 22, 2015
- EXTENDED paper submission: May 28, 2015
- paper notification: June 10, 2015

Most Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses and many recent advances in the
CLP and CAV communities have centered around efficiently solving
problems presented as Horn clauses.

This workshop aims to bring together researchers working in the two
communities of Constraint/Logic Programming (e.g., ICLP and CP) and
Program Verification community (e.g., CAV, TACAS, and VMCAI) on the
topic of Horn clause based analysis, verification and synthesis.

Horn clauses for verification and synthesis have been advocated by
these two communities in different times and from different
perspectives and this workshop is organized to stimulate interaction
and a fruitful exchange and integration of experiences.

Topics of interest include, but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:

- Analysis and verification of programs in various programming
  paradigms (e.g., imperative, object-oriented, functional, logic,
  higher-order, concurrent)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Case studies and tools
- Challenging problems

We solicit regular papers describing theory and implementation of
Horn-clause based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress and presentations
covering previously published results that are of interest to the
workshop.

Invited speakers:

- Ranjit Jhala, University of California at San Diego
- Joxan Jaffar, National University of Singapore


Program Committee:

Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Gregory J. Duck (National University of Singapore)
Fabio Fioravanti (University of Chieti-Pescara)
John Gallagher (Roskilde University and IMDEA-Software Madrid)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon
University) - chair
Radu Grigore (University of Oxford)
Konstantin Korovin (Manchester University)
Viktor Kuncak (EPFL)
David Monniaux (CNRS/Verimag)
Jorge A. Navas (NASA) - chair
Corneliu Popeea (CQSE)
Maurizio Proietti (IASI-CNR, Italy)
Philipp Ruemmer (Uppsala University, Department of Information Technology)
Andrey Rybalchenko (Microsoft Research)
Valerio Senni (ALES srl)
Peter Stuckey (University of Melbourne)
Yakir Vizel (Princeton University)

The submission format is up to 12 pages plus bibliography for regular
papers and 1 to 3 pages (for work-in-progress), both in EPTCS format.

Original accepted papers will be published electronically as a volume
in the Electronic Proceedings in Theoretical Computer Science (EPTCS)
series, see http://www.eptcs.org/

Authors of accepted papers are required to ensure that at least one of
them will be present at the workshop.  Papers must be submitted
through the EasyChair system using the web page:
https://easychair.org/conferences/?conf=hcvs2015.

[Yap-users] CFP PLP-2015: The Second Workshop on Probabilistic Logic Programming

[Fabrizio R. <fab...@un...>]

       PLP-2015: The Second Workshop on Probabilistic Logic Programming
       ----------------------------------------------------------------

     A workshop of the 2015 International Conference on Logic Programming
                               31 August 2015
                                Cork, Ireland
                      http://stoics.org.uk/plp/plp2015/



Deadline for submissions:        10 June 2015


Overview
-----
Probabilistic  logic programming (PLP)  approaches have  received much
attention
in this  century. They address the need to reason about relational domains
under
uncertainty arising in a variety of application domains, such as
bioinformatics,
the semantic  web, robotics, and many more.  Developments  in  PLP  include
 new
languages  that combine  logic programming  with probability  theory, as
well as
algorithms that operate over programs in these formalisms.

PLP  is part  of  a wider  current interest  in  probabilistic programming.
  By
promoting probabilities as explicit programming constructs, inference,
parameter
estimation  and learning  algorithms can  be ran  over programs  which
represent
highly  structured  probability  spaces.   Due  to  logic  programming's
 strong
theoretical  underpinnings,  PLP  is  one  of  the  more  disciplined
 areas  of
probabilistic programming.  It builds upon and  benefits from the large
 body of
existing work  in logic programming,  both in semantics and
 implementation, but
also presents  new challenges  to the  field. PLP  reasoning often
 requires the
evaluation of large number of possible states before any answers can be
produced
thus braking the sequential search model of traditional logic programs.

While  PLP has  already contributed  a number  of formalisms,  systems and
 well
understood and  established results in: parameter  estimation, tabling,
marginal
probabilities  and  Bayesian  learning,  many  questions  remain  open  in
 this
exciting,  expanding field  in  the  intersection of  AI,  machine learning
 and
statistics.

This  workshop  provides a  forum for  the  exchange of ideas,
 presentation of
results and preliminary work, in the following areas

   * probabilistic logic programming formalisms

   * parameter estimation

   * statistical inference

   * implementations

   * structure learning

   * reasoning with uncertainty

   * constraint store approaches

   * stochastic and randomised algorithms

   * probabilistic knowledge representation and reasoning

   * constraints in statistical inference

   * applications, such as

   * * bioinformatics

   * * semantic web

   * * robotics

   * probabilistic graphical models

   * Bayesian learning

   * tabling for learning and stochastic inference

   * MCMC

   * stochastic search

   * labelled logic programs

   * integration of statistical software

The above list should be interpreted broadly and is by no means exhaustive.


Purpose
-----
After a successful  first edition of this  workshop at ICLP 2014  in
Vienna, the
second edition  hopes to  continue to foster  collaboration between
 between the
ICLP and PLP communities. We hope that  both (a) more LP researchers will
become
interested in inference  and learning with PLP and (b)  PLP researchers
will get
important feedback on their work from logic programmers.


Submissions
-----
Submissions will be  managed via EasyChair. Contributions should be
 prepared in
the LLNCS style. A mixture  of papers are sought including: new results,
work in
progress  as  well as technical  summaries of recent  substantial
contributions.
Papers presenting  new results should  be 6-12 pages in length. Work in
progress
and technical summaries  can be shorter. The workshop  proceedings will
 clearly
indicate the type of each paper.

At  least one  author of  each accepted  paper will  be required  to attend
 the
workshop to present the contribution.


Publication
-----
Informal proceedings will  be made available electronically  to attendees.
They
will also  be for stored  permanently in the  form on CEUR  Workshop
Proceedings
(http://ceur-ws.org/).  The proceedings will  consist of clearly marked
sections
corresponding to the different types of submissions accepted.

Extended  versions  of  selected  workshop  papers  will  be  published  in
 the
International Journal of Approximate Reasoning (Elsevier).


Deadlines
-----
Papers due:                Wed, 10th June 2015
Notification to authors:   Fri, 10th July 2015
Camera ready version due:  Fri, 24th July 2015
Workshop data:             Mon, 31st August 2015

(the deadline for all dates is 23:59 BST)


Invited Speaker(s)
-----
To be announced


Programme Committee
-----
Fabrizio Riguzzi (Universita'  di Ferrara, Italy)  [co-chair]
Joost Vennekens (KU Leuven, Belgium)  [co-chair]
Elena Bellodi (ENDIF-University of Ferrara)
Nicos Angelopoulos (Imperial College, London)
Arjen Hommersom (University of Nijmegen)
Nicola Di Mauro (Università di Bari)
Christian Theil Have (Copenhagen University)
Angelika Kimmig (KU Leuven)
Wannes Meert (KU Leuven)
Aline Paes (Institute of Computing, Universidade Federal Fluminense)
David Poole (University of British Columbia)
C. R. Ramakrishnan (University at Stony Brook)
Herbert Wiklicky (Imperial College London)
Terrance Swift (CENTRIA, Universidade Nova de Lisboa)
James Cussens (University of York)

[Yap-users] RR 2015 Doctoral Consortium - CfP with ***extended deadline***

[Luca P. <lp...@un...>]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    [apologies for any cross-posting]<br>
    <br>
    The RR 2015 Doctoral Consortium
    (<a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rr2015/dc.html">http://www.csw.inf.fu-berlin.de/rr2015/dc.html</a>) is an initiative of
    the 9th International Conference On Web Reasoning And Rule Systems
    (RR 2015).
    <br>
    RR is a major forum for discussion and dissemination of new results
    concerning Web Reasoning and Rule Systems.
    <br>
     <br>
    The RR 2015 DC will provide doctoral students in Web Reasoning and
    related areas with a unique opportunity to present and discuss their
    research directions, be involved into state-of-the-art research
    discussion, and supported in establishing fruitful research
    collaborations.
    <br>
     <br>
    To this end, the conference will host two main DC events:
    <br>
     <br>
    - a mentoring lunch, where students will have the opportunity to get
    in touch with prominent researchers and pioneers in the field of Web
    Reasoning and Rules, and of related areas;
    <br>
    - a poster session where students will have the possibility to
    present their work, share their ideas, and receive constructive
    feedback on their research activity.
    <br>
    <br>
    To make the DC even more interesting and outward-looking, these two
    events will be jointly organized with the Doctoral Consortium of the
    9th International Web Rule Symposium (RuleML 2015).
    <br>
     <br>
    Last but not least, interested students may consider to attend also
    the 11th Reasoning Web Summer School (RW 2015), which will be held
    from July 21 to August 4 2015 in Berlin, co-located with RR 2015.
    <br>
    <br>
     <br>
    ===============
    <br>
    IMPORTANT DATES
    <br>
    ===============
    <br>
     <br>
    24/05/2015: paper submission deadline
    <br>
    08/06/2015: notification
    <br>
    14/06/2015: camera ready
    <br>
    04/08/2015: Doctoral Consortium
    <br>
     <br>
    All deadlines have a cut-off point of 23:59 anywhere on earth.
    <br>
    <br>
     <br>
    =====================
    <br>
    SUBMISSION GUIDELINES
    <br>
    =====================
    <br>
     <br>
    We encourage submissions from PhD students whose research activity
    is related to web reasoning and rule systems. Students are invited
    to submit an original description of their work, covering the
    following aspects:
    <br>
    - Introduction and motivation: a clear formulation of the research
    questions you are trying to solve.
    <br>
    - Background: positioning of such questions in the field of web
    reasoning and rule systems, and description of the relevant state of
    the art.
    <br>
    - Research plan and achievements: description of the proposed
    solution to the aforementioned research questions, and of the
    corresponding research plan, stressing in particular relevance and
    novelty.
    <br>
     <br>
    Each submission consists of:
    <br>
    - A paper conforming to the submission information above, limited to
    8 pages in English,and formatted using the LNCS style
    (<a class="moz-txt-link-freetext" href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>).
    <br>
    - A short reference letter from the PhD supervisor, indicating the
    current status of the student within the PhD research activity, the
    expected date of thesis submissions, the publications co-authored by
    the student within the PhD, and why it is important for him/her to
    attend the RR 2015 DC. <br>
    <br>
    If the PhD student needs some form of travel support, please specify
    concisely and clearly the requested form of support inside the
    supervisor letter.<br>
    <br>
    Please create a single PDF containing the submission and the
    reference letter.
    <br>
     <br>
    Submissions are managed through Easychair:
    <a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=rr2015dc">https://easychair.org/conferences/?conf=rr2015dc</a>
    <br>
    <br>
     <br>
    ===========
    <br>
    PROCEEDINGS
    <br>
    ===========
    <br>
     <br>
    The proceedings of the RR 2015 DC will be published as CEUR
    Proceedings, listed in DBLP and indexed by SCOPUS.
    <br>
    <br>
     <br>
    ==========
    <br>
    COMMITTEES
    <br>
    ==========
    <br>
     <br>
    Doctoral Consortium Chair: 
    <br>
    <br>
    Marco Montali (Free University of Bozen-Bolzano)<br>
     <br>
    <br>
    Program Committee <br>
    <br>
    Jose Julio Alferes (Universidade NOVA de Lisboa)
    <br>
    Meghyn Bienvenu (CNRS &amp; Université Paris-Sud)
    <br>
    Roman Kontchakov (Birkbeck, University of London)
    <br>
    Domenico Lembo (Sapienza University of Rome)
    <br>
    Jorge Lobo (ICREA and Universitat Pompeu Fabra)
    <br>
    Thomas Meyer (UKZN and CSIR Meraka)
    <br>
    Giorgio Orsi (University of Oxford)
    <br>
    Magdalena Ortiz (Vienna University of Technology)
    <br>
    Fabio Patrizi (Free University of Bozen-Bolzano)
    <br>
    Andreas Pieris (Vienna University of Technology)
    <br>
    Francesco Ricca (University of Calabria)
    <br>
    Federico Ulliana (LIRMM and Montpellier University)
    <br>
    <br>
     <br>
    ======================
    <br>
    STUDENT TRAVEL SUPPORT
    <br>
    ======================
    <br>
     <br>
    RR 2015 will provide some travel support to students. <br>
    If the PhD student needs some form of travel support, please specify
    concisely and clearly the requested form of support inside the
    supervisor letter. <br>
    <br>
    <br>
    <pre class="moz-signature" cols="72">-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail <a class="moz-txt-link-abbreviated" href="mailto:lp...@un...">lp...@un...</a>
<a class="moz-txt-link-freetext" href="http://sites.google.com/site/lpulina">http://sites.google.com/site/lpulina</a>
</pre>
  </body>
</html>

[Yap-users] CALL FOR APPLICATIONS -- The 11th Reasoning Web Summer School (RW 2015)

[Luca P. <lp...@un...>]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Please forward to students - Application Deadline - May 26th, 2015
    <br>
     <br>
    **********************************************
    <br>
    CALL FOR APPLICATIONS
    <br>
    The 11th Reasoning Web Summer School (RW 2015)
    <br>
    Berlin, Germany, July 31 - August 4, 2015
    <br>
    <a class="moz-txt-link-freetext" href="http://reasoningweb.org/2015">http://reasoningweb.org/2015</a>
    <br>
    **********************************************
    <br>
     <br>
    co-located with:
    <br>
     <br>
    - 9th International Conference on Web Reasoning and Rule Systems (RR
    2015),
    <br>
      Berlin, Germany, August 4-6, 2015
    <br>
      <a class="moz-txt-link-freetext" href="http://www.rr-conference.org/RR2015">http://www.rr-conference.org/RR2015</a>
    <br>
    - 9th International Web Rule Symposium (RuleML 2015),
    <br>
      Berlin, Germany, August 2-5, 2015
    <br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org/">http://2015.ruleml.org/</a>
    <br>
    - 25th International Conference on Automated Deduction (CADE-25),
    Berlin, Germany, August 1-7, 2015
    <br>
      <a class="moz-txt-link-freetext" href="http://www.cade-25.info/">http://www.cade-25.info/</a>
    <br>
    - RR Doctoral Consortium and RuleML Doctoral Consortium (submission
    deadline for Phd papers: May 24th)
    <br>
      <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rr2015/dc.html">http://www.csw.inf.fu-berlin.de/rr2015/dc.html</a>
    <br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org/DoctoralConsortium.html">http://2015.ruleml.org/DoctoralConsortium.html</a>
    <br>
     <br>
     <br>
    The purpose of the Reasoning Web Summer School is to disseminate
    recent advances on reasoning techniques <br>
    which are of particular interest to Semantic Web and Linked Data
    applications. It is primarily intended for postgraduate <br>
    (PhD or MSc) students, postdocs, young researchers, and senior
    researchers wishing to learn about Reasoning<br>
     on the Semantic Web and related issues. In 2015, the theme of the
    school is:
    <br>
     <br>
            "Web Logic Rules"
    <br>
     <br>
    As in the previous years, lectures in the summer school will be
    <br>
    given by a distinguished group of expert lecturers. Apart from
    <br>
    their lectures, most lecturers will also be present for the duration
    <br>
    of the school to interact and establish contacts with the students.
    <br>
     <br>
    The summer school is co-located with RR2015, RuleML 2015 and
    CADE-25,
    <br>
    hence, there will be a great opportunity for students to also attend
    <br>
    a major event in the area after the school. In addition, RR and
    RuleML
    <br>
    will also include a Doctoral Consortium and students of RW are
    <br>
    particularly encouraged to also apply to the Doctoral consortium of
    RR
    <br>
    and RuleML - joint applications are explicitly encouraged.
    <br>
     <br>
    == IMPORTANT DATES ==
    <br>
     <br>
    Application deadline: May 26, 2015
    <br>
    Notifications: June 1, 2015
    <br>
     <br>
    == LECTURES ==
    <br>
     <br>
    see webiste for the list of lectures
    <br>
     <br>
    <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html">http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html</a>
    <br>
     <br>
    and program
    <br>
     <br>
    <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rw2015/schedule.html">http://www.csw.inf.fu-berlin.de/rw2015/schedule.html</a>
    <br>
     <br>
     <br>
    == APPLICATIONS ==
    <br>
     <br>
    The number of attendees will be limited and participation will
    <br>
    depend on submitting an application which will undergo a
    <br>
    reviewing process.
    <br>
     <br>
    Applications have to be submitted via Easychair using the
    <br>
    following URL and by selecting the "RW2015" track:
    <br>
     <br>
    <a class="moz-txt-link-freetext" href="https://www.easychair.org/conferences/?conf=rw2015">https://www.easychair.org/conferences/?conf=rw2015</a>
    <br>
     <br>
    The program of the school will include a poster session, where
    <br>
    students can present and discuss their ongoing research with
    <br>
    lecturers and colleagues. Applicants who wish to participate
    <br>
    in the poster session shall tick the "participation in poster
    <br>
    session" group and include a poster title and abstract with
    <br>
    their application submission.
    <br>
     <br>
    A selection of students attending RW will have the possibility to
    <br>
    also attend the RR and RuleML Doctoral Consortium with the
    <br>
    opportunity to present their poster in a regular session of RR 2015
    <br>
    and RuleML 2015. Students interested to be considered in this
    <br>
    selection process should indicate it in their application.
    <br>
     <br>
    Students applying to RW are encouraged to submit also to the RR
    <br>
    Doctoral Consortium
    (<a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rr2015/dc.html">http://www.csw.inf.fu-berlin.de/rr2015/dc.html</a>),
    <br>
    which will have proceedings and a mentoring lunch.
    <br>
     <br>
    Applications must be submitted in PDF format not exceeding 2
    <br>
    pages (min. font size 11pt) and contain the following information:
    <br>
     <br>
    - Name, contact details
    <br>
    - Affiliation
    <br>
    - Motivation for participation
    <br>
    - Summary of profile
    <br>
    - Willing to present a poster? (if yes, add a poster title and
    abstract)
    <br>
    - Willing to be considered for RR/RuleML 2015 Doctoral Consortium?
    <br>
    - Supervisor (if applicable)
    <br>
    - Publications (if applicable)
    <br>
     <br>
    == SCHOOL FEES ==
    <br>
     <br>
    The fee for attending the school is 450 Euros (for registered RR
    2015 or
    <br>
    RuleML 2015 participants, it is 350 Euros).
    <br>
     <br>
    == LECTURE NOTES ==
    <br>
     <br>
    The course material used during the summer school will be
    <br>
    published with Springer's Lecture Notes in Computer Science
    <br>
    (LNCS) series. A copy of the proceedings
    <br>
    will be included in the registration fees.
    <br>
     <br>
    == GRANTS ==
    <br>
     <br>
    There will be a limited number of student grants available for
    <br>
    the summer school and for the co-located RR2015 conference.
    <br>
     <br>
    == ORGANIZATION ==
    <br>
     <br>
    * Organizing Chairs
    <br>
     <br>
    Wolfgang Faber (University of Huddersfield, UK)
    <br>
    Adrian Paschke (Freie Universitaet berlin, Germany)
    <br>
     <br>
    * Scientific Advisory Board
    <br>
     <br>
    Grigoris Antoniou (University of Huddersfield)
    <br>
    Nick Bassiliades (Aristotle University of Thessaloniki)
    <br>
    Diego Calvanese (Free University of Bozen-Bolzano)
    <br>
    Thomas Eiter (Vienna University of Technology)
    <br>
    Tim Furche (Oxford University)
    <br>
    Pascal Hitzler (Wright State University)
    <br>
    Sebastian Rudolph (Technische Universität Dresden)
    <br>
     <br>
    == CONTACT ==
    <br>
     <br>
    For further information including sponsorship opportunities,
    <br>
    please contact the organizing chairs.
    <br>
     <br>
    <a class="moz-txt-link-freetext" href="http://reasoningweb.org/2015">http://reasoningweb.org/2015</a>
    <br>
     <br>
     <br>
    Doctoral Consortium
    <br>
    ====================
    <br>
     <br>
    We would also like to invite Phd students to submit Phd papers to
    the collocated two Doctoral Consortiums:
    <br>
     <br>
    RR 2015 Doctoral Consortium 
    <br>
      <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rr2015/dc.html">http://www.csw.inf.fu-berlin.de/rr2015/dc.html</a>
    <br>
    RuleML Doctoral Consortium 
    <br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org/DoctoralConsortium.html">http://2015.ruleml.org/DoctoralConsortium.html</a>
    <br>
     <br>
    Submission deadline for Phd papers: May 24th 2015<br>
    <pre class="moz-signature" cols="72">-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail <a class="moz-txt-link-abbreviated" href="mailto:lp...@un...">lp...@un...</a>
<a class="moz-txt-link-freetext" href="http://sites.google.com/site/lpulina">http://sites.google.com/site/lpulina</a>
</pre>
  </body>
</html>

[Yap-users] RR 2015 Doctoral Consortium - Second Call for Papers

[Luca P. <lp...@un...>]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <br>
    [apologies for any cross-posting]<br>
    <br>
    The RR 2015 Doctoral Consortium (<a class="moz-txt-link-freetext"
      href="http://www.csw.inf.fu-berlin.de/rr2015/dc.html">http://www.csw.inf.fu-berlin.de/rr2015/dc.html</a>)
    is an initiative of the 9th International Conference On Web
    Reasoning And Rule Systems (RR 2015). RR is a major forum for
    discussion and dissemination of new results concerning Web Reasoning
    and Rule Systems. <br>
     <br>
    The RR 2015 DC will provide doctoral students in Web Reasoning and
    related areas with a unique opportunity to present and discuss their
    research directions, be involved into state-of-the-art research
    discussion, and supported in establishing fruitful research
    collaborations. <br>
     <br>
    To this end, the conference will host two main DC events: <br>
     <br>
    - a mentoring lunch, where students will have the opportunity to get
    in touch with prominent researchers and pioneers in the field of Web
    Reasoning and Rules, and of related areas; <br>
    - a poster session where students will have the possibility to
    present their work, share their ideas, and receive constructive
    feedback on their research activity. <br>
    <br>
    To make the DC even more interesting and outward-looking, these two
    events will be jointly organized with the Doctoral Consortium of the
    9th International Web Rule Symposium (RuleML 2015). <br>
     <br>
    Last but not least, interested students may consider to attend also
    the 11th Reasoning Web Summer School (RW 2015), which will be held
    from July 21 to August 4 2015 in Berlin, co-located with RR 2015. <br>
    <br>
     <br>
    =============== <br>
    IMPORTANT DATES <br>
    =============== <br>
     <br>
    10/05/2015: paper submission deadline <br>
    01/06/2015: notification <br>
    14/06/2015: camera ready <br>
    04/08/2015: Doctoral Consortium <br>
     <br>
    All deadlines have a cut-off point of 23:59 anywhere on earth. <br>
    <br>
     <br>
    ===================== <br>
    SUBMISSION GUIDELINES <br>
    ===================== <br>
     <br>
    We encourage submissions from PhD students whose research activity
    is related to web reasoning and rule systems. Students are invited
    to submit an original description of their work, covering the
    following aspects: <br>
    - Introduction and motivation: a clear formulation of the research
    questions you are trying to solve. <br>
    - Background: positioning of such questions in the field of web
    reasoning and rule systems, and description of the relevant state of
    the art. <br>
    - Research plan and achievements: description of the proposed
    solution to the aforementioned research questions, and of the
    corresponding research plan, stressing in particular relevance and
    novelty. <br>
     <br>
    Each submission consists of: <br>
    - A paper conforming to the submission information above, limited to
    8 pages in English,and formatted using the LNCS style (<a
      class="moz-txt-link-freetext"
      href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>).

    <br>
    - A short reference letter from the PhD supervisor, indicating the
    current status of the student within the PhD research activity, the
    expected date of thesis submissions, the publications co-authored by
    the student within the PhD, and why it is important for him/her to
    attend the RR 2015 DC. <br>
     <br>
    Please create a single PDF containing the submission and the
    reference letter. <br>
     <br>
    Submissions are managed through Easychair: <a
      class="moz-txt-link-freetext"
      href="https://easychair.org/conferences/?conf=rr2015dc">https://easychair.org/conferences/?conf=rr2015dc</a>
    <br>
    <br>
     <br>
    =========== <br>
    PROCEEDINGS <br>
    =========== <br>
     <br>
    The proceedings of the RR 2015 DC will be published as CEUR
    Proceedings, listed in DBLP and indexed by SCOPUS. <br>
    <br>
     <br>
    ========== <br>
    COMMITTEES <br>
    ========== <br>
     <br>
    Doctoral Consortium Chair:  <br>
    <br>
    Marco Montali (Free University of Bozen-Bolzano)<br>
     <br>
    <br>
    Program Committee <br>
    (confirmed PC members; a complete list will appear on the website):
    <br>
    <br>
    Jose Julio Alferes (Universidade NOVA de Lisboa) <br>
    Meghyn Bienvenu (CNRS &amp; Université Paris-Sud) <br>
    Roman Kontchakov (Birkbeck, University of London) <br>
    Domenico Lembo (Sapienza University of Rome) <br>
    Jorge Lobo (ICREA and Universitat Pompeu Fabra) <br>
    Thomas Meyer (UKZN and CSIR Meraka) <br>
    Giorgio Orsi (University of Oxford) <br>
    Magdalena Ortiz (Vienna University of Technology) <br>
    Fabio Patrizi (Free University of Bozen-Bolzano) <br>
    Andreas Pieris (Vienna University of Technology) <br>
    Francesco Ricca (University of Calabria) <br>
    Federico Ulliana (LIRMM and Montpellier University) <br>
    <br>
     <br>
    ====================== <br>
    STUDENT TRAVEL SUPPORT <br>
    ====================== <br>
     <br>
    RR 2015 will provide travel support to students. Details will be
    announced later.<br>
    <pre class="moz-signature" cols="72">-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail <a class="moz-txt-link-abbreviated" href="mailto:lp...@un...">lp...@un...</a>
<a class="moz-txt-link-freetext" href="http://sites.google.com/site/lpulina">http://sites.google.com/site/lpulina</a>
</pre>
  </body>
</html>

[Yap-users] Call for papers: Horn Clauses for Verification and Synthesis (HCVS)

[Jorge A N. <nav...@gm...>]

Call for Papers

Horn Clauses for Verification and Synthesis (HCVS)

July 19, 2015 · San Francisco, USA

Submission deadlines:

- paper submission: May 22, 2015
- paper notification: June 10, 2015

Most Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses and many recent advances in the
CLP and CAV communities have centered around efficiently solving
problems presented as Horn clauses.

This workshop aims to bring together researchers working in the two
communities of Constraint/Logic Programming (e.g., ICLP and CP) and
Program Verification community (e.g., CAV, TACAS, and VMCAI) on the
topic of Horn clause based analysis, verification and synthesis.

Horn clauses for verification and synthesis have been advocated by
these two communities in different times and from different
perspectives and this workshop is organized to stimulate interaction
and a fruitful exchange and integration of experiences.

Topics of interest include, but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:

- Analysis and verification of programs in various programming
  paradigms (e.g., imperative, object-oriented, functional, logic,
  higher-order, concurrent)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Case studies and tools
- Challenging problems

We solicit regular papers describing theory and implementation of
Horn-clause based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress and presentations
covering previously published results that are of interest to the
workshop.

Invited speakers:

- Ranjit Jhala, University of California at San Diego
- Joxan Jaffar, National University of Singapore


Program Committee:

Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Gregory J. Duck (National University of Singapore)
Fabio Fioravanti (University of Chieti-Pescara)
John Gallagher (Roskilde University and IMDEA-Software Madrid)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon
University) - chair
Radu Grigore (University of Oxford)
Konstantin Korovin (Manchester University)
Viktor Kuncak (EPFL)
David Monniaux (CNRS/Verimag)
Jorge A. Navas (NASA) - chair
Corneliu Popeea (CQSE)
Maurizio Proietti (IASI-CNR, Italy)
Philipp Ruemmer (Uppsala University, Department of Information Technology)
Andrey Rybalchenko (Microsoft Research)
Valerio Senni (ALES srl)
Peter Stuckey (University of Melbourne)
Yakir Vizel (Princeton University)

The submission format is up to 12 pages plus bibliography for regular
papers and 1 to 3 pages (for work-in-progress), both in EPTCS format.

Original accepted papers will be published electronically as a volume
in the Electronic Proceedings in Theoretical Computer Science (EPTCS)
series, see http://www.eptcs.org/

Authors of accepted papers are required to ensure that at least one of
them will be present at the workshop.  Papers must be submitted
through the EasyChair system using the web page:
https://easychair.org/conferences/?conf=hcvs2015.

[Yap-users] CALL FOR APPLICATIONS - The 11th Reasoning Web Summer School (RW 2015)

[Luca P. <lp...@un...>]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    Please forward to students - Application Deadline - May 10th, 2015
    <br>
     <br>
    **********************************************
    <br>
    CALL FOR APPLICATIONS
    <br>
    The 11th Reasoning Web Summer School (RW 2015)
    <br>
    Berlin, Germany, July 31 - August 4, 2015
    <br>
    <a class="moz-txt-link-freetext" href="http://reasoningweb.org/2015">http://reasoningweb.org/2015</a>
    <br>
    **********************************************
    <br>
     <br>
    co-located with:
    <br>
     <br>
    - 9th International Conference on Web Reasoning and Rule Systems (RR
    2015),
    <br>
      Berlin, Germany, August 4-6, 2015
    <br>
      <a class="moz-txt-link-freetext" href="http://www.rr-conference.org/RR2015">http://www.rr-conference.org/RR2015</a>
    <br>
    - 9th International Web Rule Symposium (RuleML 2015),
    <br>
      Berlin, Germany, August 2-5, 2015
    <br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org/">http://2015.ruleml.org/</a>
    <br>
    - 25th International Conference on Automated Deduction (CADE-25),
    Berlin, Germany, August 1-7, 2015
    <br>
      <a class="moz-txt-link-freetext" href="http://www.cade-25.info/">http://www.cade-25.info/</a>
    <br>
    - RR Doctoral Consortium and RuleML Doctoral Consortium (submission
    deadline for Phd papers: May 10th)
    <br>
      <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rr2015/dc.html">http://www.csw.inf.fu-berlin.de/rr2015/dc.html</a>
    <br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org/DoctoralConsortium.html">http://2015.ruleml.org/DoctoralConsortium.html</a>
    <br>
     <br>
     <br>
    The purpose of the Reasoning Web Summer School is to disseminate
    recent advances on reasoning techniques which are of particular
    interest to Semantic Web and Linked Data applications. It is
    primarily intended for postgraduate (PhD or MSc) students, postdocs,
    young researchers, and senior researchers wishing to learn about
    Reasoning on the Semantic Web and related issues. In 2015, the theme
    of the school is:
    <br>
     <br>
            "Web Logic Rules"
    <br>
     <br>
    As in the previous years, lectures in the summer school will be
    <br>
    given by a distinguished group of expert lecturers. Apart from
    <br>
    their lectures, most lecturers will also be present for the duration
    <br>
    of the school to interact and establish contacts with the students.
    <br>
     <br>
    The summer school is co-located with RR2015, RuleML 2015 and
    CADE-25,
    <br>
    hence, there will be a great opportunity for students to also attend
    <br>
    a major event in the area after the school. In addition, RR and
    RuleML
    <br>
    will also include a Doctoral Consortium and students of RW are
    <br>
    particularly encouraged to also apply to the Doctoral consortium of
    RR
    <br>
    and RuleML - joint applications are explicitly encouraged.
    <br>
     <br>
    == IMPORTANT DATES ==
    <br>
     <br>
    Application deadline: May 10, 2015
    <br>
    Notifications: June 1, 2015
    <br>
     <br>
    == LECTURES ==
    <br>
     <br>
    see webiste for the list of lectures
    <br>
     <br>
    <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html">http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html</a>
    <br>
     <br>
    and program
    <br>
     <br>
    <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rw2015/schedule.html">http://www.csw.inf.fu-berlin.de/rw2015/schedule.html</a>
    <br>
     <br>
     <br>
    == APPLICATIONS ==
    <br>
     <br>
    The number of attendees will be limited and participation will
    <br>
    depend on submitting an application which will undergo a
    <br>
    reviewing process.
    <br>
     <br>
    Applications have to be submitted via Easychair using the
    <br>
    following URL and by selecting the "RW2015" track:
    <br>
     <br>
    <a class="moz-txt-link-freetext" href="https://www.easychair.org/conferences/?conf=rw2015">https://www.easychair.org/conferences/?conf=rw2015</a>
    <br>
     <br>
    The program of the school will include a poster session, where
    <br>
    students can present and discuss their ongoing research with
    <br>
    lecturers and colleagues. Applicants who wish to participate
    <br>
    in the poster session shall tick the "participation in poster
    <br>
    session" group and include a poster title and abstract with
    <br>
    their application submission.
    <br>
     <br>
    A selection of students attending RW will have the possibility to
    <br>
    also attend the RR and RuleML Doctoral Consortium with the
    <br>
    opportunity to present their poster in a regular session of RR 2015
    <br>
    and RuleML 2015. Students interested to be considered in this
    <br>
    selection process should indicate it in their application.
    <br>
     <br>
    Applications must be submitted in PDF format not exceeding 2
    <br>
    pages (min. font size 11pt) and contain the following information:
    <br>
     <br>
    - Name, contact details
    <br>
    - Affiliation
    <br>
    - Motivation for participation
    <br>
    - Summary of profile
    <br>
    - Willing to present a poster? (if yes, add a poster title and
    abstract)
    <br>
    - Willing to be considered for RR/RuleML 2015 Doctoral Consortium?
    <br>
    - Supervisor (if applicable)
    <br>
    - Publications (if applicable)
    <br>
     <br>
    == SCHOOL FEES ==
    <br>
     <br>
    The fee for attending the school is 450 Euros (for registered RR
    2015 or
    <br>
    RuleML 2015 participants, it is 350 Euros).
    <br>
     <br>
    == LECTURE NOTES ==
    <br>
     <br>
    The course material used during the summer school will be
    <br>
    published with Springer's Lecture Notes in Computer Science
    <br>
    (LNCS) series. A copy of the proceedings
    <br>
    will be included in the registration fees.
    <br>
     <br>
    == GRANTS ==
    <br>
     <br>
    There will be a limited number of student grants available for
    <br>
    the summer school and for the co-located RR2015 conference.
    <br>
     <br>
    == ORGANIZATION ==
    <br>
     <br>
    * Organizing Chairs
    <br>
     <br>
    Wolfgang Faber (University of Huddersfield, UK)
    <br>
    Adrian Paschke (Freie Universitaet berlin, Germany)
    <br>
     <br>
    * Scientific Advisory Board
    <br>
     <br>
    Grigoris Antoniou (University of Huddersfield)
    <br>
    Nick Bassiliades (Aristotle University of Thessaloniki)
    <br>
    Diego Calvanese (Free University of Bozen-Bolzano)
    <br>
    Thomas Eiter (Vienna University of Technology)
    <br>
    Tim Furche (Oxford University)
    <br>
    Pascal Hitzler (Wright State University)
    <br>
    Sebastian Rudolph (Technische Universität Dresden)
    <br>
     <br>
    == CONTACT ==
    <br>
     <br>
    For further information including sponsorship opportunities,
    <br>
    please contact the organizing chairs.
    <br>
     <br>
    <a class="moz-txt-link-freetext" href="http://reasoningweb.org/2015">http://reasoningweb.org/2015</a>
    <br>
     <br>
     <br>
    Doctoral Consortium
    <br>
    ====================
    <br>
     <br>
    We would also like to invite Phd students to submit Phd papers to
    the collocated two Doctoral Consortiums:
    <br>
     <br>
    RR 2015 Doctoral Consortium 
    <br>
      <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rr2015/dc.html">http://www.csw.inf.fu-berlin.de/rr2015/dc.html</a>
    <br>
    RuleML Doctoral Consortium 
    <br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org/DoctoralConsortium.html">http://2015.ruleml.org/DoctoralConsortium.html</a>
    <br>
     <br>
    Submission deadline for Phd papers: May 10th<br>
    <pre class="moz-signature" cols="72">-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail <a class="moz-txt-link-abbreviated" href="mailto:lp...@un...">lp...@un...</a>
<a class="moz-txt-link-freetext" href="http://sites.google.com/site/lpulina">http://sites.google.com/site/lpulina</a>
</pre>
  </body>
</html>

[Yap-users] RR 2015 Doctoral Consortium - Call for Papers

[Luca P. <lp...@un...>]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    [apologies for any cross-posting]<br>
    <br>
    The RR 2015 Doctoral Consortium
    (<a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rr2015/dc.html">http://www.csw.inf.fu-berlin.de/rr2015/dc.html</a>) <br>
    is an initiative of the 9th International Conference On Web
    Reasoning And Rule Systems (RR 2015).
    <br>
    RR is a major forum for discussion and dissemination of new results
    concerning Web Reasoning and Rule Systems.
    <br>
     <br>
    The RR 2015 DC will provide doctoral students in Web Reasoning and
    related areas with a unique opportunity to present and discuss their
    research directions, be involved into state-of-the-art research
    discussion, and supported in establishing fruitful research
    collaborations.
    <br>
     <br>
    To this end, the conference will host two main DC events:
    <br>
     <br>
    - a mentoring lunch, where students will have the opportunity to get
    in touch with prominent researchers and pioneers in the field of Web
    Reasoning and Rules, and of related areas;
    <br>
    - a poster session where students will have the possibility to
    present their work, share their ideas, and receive constructive
    feedback on their research activity.
    <br>
    To make the DC even more interesting and outward-looking, these two
    events will be jointly organized with the Doctoral Consortium of the
    9th International Web Rule Symposium (RuleML 2015).
    <br>
     <br>
    Last but not least, interested students may consider to attend also
    the 11th Reasoning Web Summer School (RW 2015), which will be held
    from July 21 to August 4 2015 in Berlin, co-located with RR 2015.
    <br>
    <br>
     <br>
    ===============
    <br>
    IMPORTANT DATES
    <br>
    ===============
    <br>
     <br>
    10/05/2015: paper submission deadline
    <br>
    01/06/2015: notification
    <br>
    14/06/2015: camera ready
    <br>
    04/08/2015: Doctoral Consortium
    <br>
     <br>
    All deadlines have a cut-off point of 23:59 anywhere on earth.
    <br>
    <br>
     <br>
    =====================
    <br>
    SUBMISSION GUIDELINES
    <br>
    =====================
    <br>
     <br>
    We encourage submissions from PhD students whose research activity
    is related to web reasoning and rule systems. Students are invited
    to submit an original description of their work, covering the
    following aspects:
    <br>
    - Introduction and motivation: a clear formulation of the research
    questions you are trying to solve.
    <br>
    - Background: positioning of such questions in the field of web
    reasoning and rule systems, and description of the relevant state of
    the art.
    <br>
    - Research plan and achievements: description of the proposed
    solution to the aforementioned research questions, and of the
    corresponding research plan, stressing in particular relevance and
    novelty.
    <br>
     <br>
    Each submission consists of:
    <br>
    - A paper conforming to the submission information above, limited to
    8 pages in English,and formatted using the LNCS style
    (<a class="moz-txt-link-freetext" href="http://www.springer.de/comp/lncs/authors.html">http://www.springer.de/comp/lncs/authors.html</a>).
    <br>
    - A short reference letter from the PhD supervisor, indicating the
    current status of the student within the PhD research activity, the
    expected date of thesis submissions, the publications co-authored by
    the student within the PhD, and why it is important for him/her to
    attend the RR 2015 DC.
    <br>
     <br>
    Please create a single PDF containing the submission and the
    reference letter.
    <br>
     <br>
    Submissions are managed through Easychair:
    <a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=rr2015dc">https://easychair.org/conferences/?conf=rr2015dc</a>
    <br>
    <br>
     <br>
    ===========
    <br>
    PROCEEDINGS
    <br>
    ===========
    <br>
     <br>
    The proceedings of the RR 2015 DC will be published as CEUR
    Proceedings, listed in DBLP and indexed by SCOPUS.
    <br>
    <br>
     <br>
    ==========
    <br>
    COMMITTEES
    <br>
    ==========
    <br>
     <br>
    Doctoral Consortium Chair: 
    <br>
    <br>
    Marco Montali (Free University of Bozen-Bolzano)<br>
     <br>
    <br>
    Program Committee <br>
    (confirmed PC members; a complete list will appear on the website):
    <br>
    <br>
    Jose Julio Alferes (Universidade NOVA de Lisboa)
    <br>
    Meghyn Bienvenu (CNRS &amp; Université Paris-Sud)
    <br>
    Roman Kontchakov (Birkbeck, University of London)
    <br>
    Domenico Lembo (Sapienza University of Rome)
    <br>
    Jorge Lobo (ICREA and Universitat Pompeu Fabra)
    <br>
    Thomas Meyer (UKZN and CSIR Meraka)
    <br>
    Giorgio Orsi (University of Oxford)
    <br>
    Magdalena Ortiz (Vienna University of Technology)
    <br>
    Fabio Patrizi (Free University of Bozen-Bolzano)
    <br>
    Andreas Pieris (Vienna University of Technology)
    <br>
    Francesco Ricca (University of Calabria)
    <br>
    Federico Ulliana (LIRMM and Montpellier University)
    <br>
    <br>
     <br>
    ======================
    <br>
    STUDENT TRAVEL SUPPORT
    <br>
    ======================
    <br>
     <br>
    RR 2015 will provide travel support to students. Details will be
    announced later.<br>
    <pre class="moz-signature" cols="72">-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail <a class="moz-txt-link-abbreviated" href="mailto:lp...@un...">lp...@un...</a>
<a class="moz-txt-link-freetext" href="http://sites.google.com/site/lpulina">http://sites.google.com/site/lpulina</a>
</pre>
  </body>
</html>

[Yap-users] yap-6.2.2 does not build in AArch64

[Petr P. <pp...@re...>]

Hello,

I got a message about yap-6.2.2 failing to build on 64-bit ARM. The build
never halts. Disabling the private memory allocation with ./configure
--enable-use-malloc helps. You see more datails on
<https://bugzilla.redhat.com/show_bug.cgi?id=1142068>.

-- Petr

[Yap-users] ASPCOMP 2015: Second Call for Participation

[Marco M. <ma...@di...>]

[apologies for any cross-posting]


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

               6th Answer Set Programming Competition 2015
                            (ASPCOMP 2015)

		      Call for Participant Systems

  Aalto University and University of Calabria and University of Genoa


 == Important Dates ==

  * May 1st, 2015: Participant registration opens

  * June 1st, 2015: Systems submission

  * June 7th, 2015: The competition starts

  * September 27-30th, 2015: Awards are presented at LPNMR 2015

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

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.

The ASP Competition is a biannual event (other than for the 5th event
held by invitation in 2014 at the Vienna Summer of Logic) for
evaluating declarative knowledge representation systems on hard and
demanding AI problems. The 6th ASP Competition will be run in 2015,
jointly at Aalto University (Finland), University of Calabria (Italy),
and University of Genoa (Italy). The event is affiliated with the
13th International Conference on Logic Programming and Non-Monotonic
Reasoning (LPNMR 2015), where the results will be announced. The event
is the sequel to the ASP Competition series, held at the University of
Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009,
the University of Calabria (Italy) in 2011 and the Vienna University
of Technology (Austria) in 2013.


The 6th ASP Competition is now in the Call for Participant Systems
stage.


== Call for Participant Systems ==

Participants of the Answer Set Programming Competition will compete on
a selected collection of benchmark problems, taken from a variety of
benchmark problem domains as well as real-world applications. These
include, but are not limited to:

 * Classic and application-oriented graph problems
 * Scheduling, Timetabling, and other resource allocation problems
 * Sequential and Temporal Planning
 * Combinatorial Optimization problems
 * Deductive Database tasks on large data-sets
 * Puzzles and Combinatorics
 * Ontology reasoning
 * Automated Theorem Proving and Model Checking
 * Constraint Programming problems
 * Other AI problems

The competition consists of a System Track (as called in past
competitions), which compares dedicated solvers on ASP benchmarks.
Participants compete with solving systems for the ASP-Core-2 language.

The competition will include sub-tracks not only based on "complexity"
of problems (as in past events), but also considering language
features.  Our aim is to clearly indicate what (combinations of)
techniques work for particular problem features, and also widening the
participation to systems that may not (yet) support the full standard.

We welcome the submission of parallel and portfolio systems exploiting
multiple cores or multiple algorithms for solving the given instances.
These solvers will have dedicated tracks, assuming a sufficient number
of submissions in each track.


== Important Dates ==

  * May 1st, 2015: Participant registration opens

  * June 1st, 2015: System submission deadline

  * June 7th, 2015: The competition starts

  * September 27-30th, 2015: Awards are presented at LPNMR 2015


For further information and submission instructions please contact
us (Martin Gebser, Marco Maratea, and Francesco Ricca) by email:

 asp...@di...

or visit the competition web site

 http://aspcomp2015.dibris.unige.it/

[Yap-users] LOPSTR 2015, Siena (Italy): Last call for papers

[Maurizio P. <mau...@IA...>]

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

                25th International Symposium on
       Logic-Based Program Synthesis and Transformation
                         LOPSTR 2015

         Special Issue of Formal Aspects of Computing

            http://alpha.diism.unisi.it/lopstr15/

        University of Siena, Siena, IT, July 13-15, 2015
                (co-located with PPDP 2015)


DEADLINES
Abstract submission: April 6,  2015
Paper/Extended abstract submission: April 13, 2015

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


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 25th International Symposium on Logic-based Program Synthesis  and
Transformation (LOPSTR 2015) will be held at the University of  Siena,
Siena,  Italy;   previous symposia were held in  Canterbury,   Madrid,
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice,  London,
Verona, Uppsala, Madrid, Paphos, London, Venice,  Manchester,  Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2015 will be co-located with PPDP 2015 (International 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:

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

Survey papers that present some aspects 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).


Important Dates

 Abstract submission:                            April 6, 2015
 Paper/Extended abstract submission:             April 13, 2015
 Notification:                                   May 25, 2015
 Camera-ready (for electronic pre-proceedings):  June 15, 2015
 Symposium:                                      July 13-15, 2015


Submission Guidelines

Authors should submit an electronic copy of the paper (written in
English) in PDF, formatted in the Lecture Notes in Computer Science
style. 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 which will be used to assist
the PC in selecting appropriate reviewers for the paper. Page numbers
should appear on the manuscript to help the reviewers in writing
their report. Submissions cannot exceed 15 pages including references
but excluding well-marked appendices not intended for publication.
Reviewers are not required to read the appendices, and thus papers
should be intelligible without them.
Papers should be submitted via the Easychair submission website for
LOPSTR 2015, which can be accessed through the website of LOPSTR 2015.


Proceedings

The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series.
Full papers can be directly accepted for publication in the formal
proceedings, or accepted only for presentation at the symposium and
inclusion in informal proceedings. 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.


Special journal issue

After the symposium, a selection of the best papers will be invited to
a  special  issue of  the  'Formal Aspects of Computing'  journal. The
submissions to the special issue must be substantial extensions of the
proceedings versions and will  undergo the usual journal reviewing
process.


Invited speakers

Patrick Cousot, New York University, USA (Jointly with PPDP)
Gilles Barthe, IMDEA Software Institute, Spain
Dale Miller, INRIA and LIX/Ecole Polytechnique, France


Program Committee

  Slim Abdennadher,  German University of Cairo, Egypt
  Maria Alpuente,  Universitat Politecnica de Valencia, Spain
  Demis Ballis,  University of Udine, Italy
  Olaf Chitil,  University of Kent, UK
  Michael Codish,  Ben-Gurion University, Israel
  Moreno Falaschi,  University of Siena, Italy (Program Chair)
  Jerome Feret,  INRIA and ENS, France
  Maurizio Gabbrielli,  University of Bologna, Italy
  Jurgen Giesl,  RWTH Aachen University, Germany
  Miguel Gomez-Zamalloa,  Complutense University of Madrid, Spain
  Arnaud Gotlieb,  SIMULA Research Laboratory, Norway
  Gopal Gupta,  University of Texas at Dallas, USA
  Manuel Hermenegildo,  IMDEA, Spain
  Viktor Kuncak,  EPFL Lausanne, Switzerland
  Luigi Liquori,  INRIA Sophia-Antipolis Mediterranee, France
  Alexei Lisitsa,  University of Liverpool, UK
  Narciso Marti-Oliet,  Universidad Complutense de Madrid, Spain
  Jorge Navas,  NASA, USA
  Kazuhiro Ogata,  JAIST, Japan
  Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil
  Catuscia Palamidessi,  INRIA and Ecole Polytechnique, France
  Maurizio Proietti,  IASI-CNR, Italy
  Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain
  Wim Vanhoof,  University of Namur, Belgium


Program and Symposium Chair:

Moreno Falaschi, Dept. of Information Engineering and Mathematics,
Univ. of Siena, Italy
(mor...@un...)


Organizing Committee

Monica Bianchini, DIISM, Univ. of Siena, Italy
Sara Brunetti, DIISM, Univ. of Siena, Italy
Andrea Machetti, DIISM, Univ. of Siena, Italy
Simonetta Palmas, DIISM, Univ. of Siena, Italy
Maurizio Proietti,  IASI-CNR, Italy
Simone Rinaldi, DIISM, Univ. of Siena, Italy
Elisa Tiezzi, DIISM, Univ. of Siena, Italy
Sara Ugolini, Dip. Informatica, Univ. of Pisa

[Yap-users] PPDP 2015. EXTENDED DEADLINE: April 6th.

[Maurizio P. <mau...@IA...>]

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

   Call for papers
   17th International Symposium on
  Principles and Practice of Declarative Programming
      PPDP 2015

         Special Issue of Science of Computer Programming (SCP)

    Siena, Italy, July 14-16, 2015
    (co-located with LOPSTR 2015)

  http://costa.ls.fi.upm.es/ppdp15

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

  !!!!!!  EXTENDED DEADLINE: April 6, 2015   !!!!!!

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

PPDP  2015  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 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  analyzing
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 modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application

This   year  the  conference   will  be   co-located  with   the  25th
International   Symposium  on   Logic-Based   Program  Synthesis   and
Transformation (LOPSTR 2015).

The  conference will  be held in Siena, Italy.  Previous symposia were
held  at Canterbury  (UK),  Madrid (Spain),  Leuven (Belgium),  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). You might have a look at the contents of
past PPDP symposia.

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).

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  30% 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 2016.

Important Dates

   Abstract Submission:       30 March, 2015
   Paper submission:        6 April, 2015
   Notification:       14 May,   2015
   Camera-ready:       To be announced

   Symposium:      14-16 July, 2015

Authors  should  submit  an  electronic  copy of  the  full  paper  in
PDF. Papers  should be  submitted to the  submission website  for PPDP
2015. 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 the program committee in
selecting appropriate  reviewers for the paper.  Papers should consist
of   the   equivalent  of   12   pages   under   the  ACM   formatting
guidelines.  These   guidelines  are  available   online,  along  with
formatting templates  or style files. Submitted papers  will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should  include a clear identification of  what has been
accomplished and  why it is  significant. Authors who wish  to provide
additional material to  the reviewers beyond the 12-page  limit can do
so in  clearly marked appendices:  reviewers are not required  to read
such appendices.

Invited speakers:

Patrick Cousot (NYU, Jointly with LOPSTR)
Martin Hofmann (LMU, Munich)
Dale Miller (INRIA and Ecole Polytechnique, Jointly with LOPSTR)

Program Committee

    Michael Adams, University of Utah, USA
    Puri Arenas, Complutense University of Madrid, Spain
    Amir Ben-Amram, Tel-Aviv Academic College, Israel
    Ines Castro, Universidade do Porto, Portugal
    Patrick Cousot, New York University, USA
    Gregory Duck, National University of Singapore, Singapore
    Fabio Fioravanti, University of Chieti-Pescara, Italy
    Thom Frühwirth, University of Ulm, Germany
    Roberto Giacobazzi, University of Verona, Italy
    Michael Hanus, CAU Kiel, Germany
    Andy King, University of Kent, UK
    F. López-Fraguas, Complutense University of Madrid, Spain
    Ian Mackie, University of Sussex, UK
    Dale Miller, INRIA and LIX/Ecole Polytechnique, France
    Torsten Schaub, University of Potsdam, Germany
    Tom Schrijvers KU Leuven, Belgium
    Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France
    German Vidal, Universitat Politecnica de Valencia, Spain
    Marina Vos, University of Bath, UK
    Nobuko Yoshida, Imperial College London, UK

Program Chair

    Elvira Albert
    Complutense University of Madrid
    C/ Profesor Garcia Santesmases
    E-28040 Madrid, Spain
    Email: el...@si...

Symposium Chair

    Moreno Falaschi
    Department of information engineering and mathematics
    University of Siena, Italy
    Email: mor...@un...

[Yap-users] RR 2015 -- DEADLINE FOR ABSTRACTS TOMORROW!

[Luca P. <lp...@un...>]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    [apologies for any cross-posting]<br>
    <br>
    ******************************************************************<br>
    3rd CALL FOR PAPERS - DEADLINE FOR ABSTRACTS TOMORROW<br>
    ******************************************************************<br>
    The 9th International Conference on Web Reasoning and Rule Systems
    (RR 2015)<br>
    Berlin, Germany, August 4-6, 2015<br>
    <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/RR2015/">http://www.csw.inf.fu-berlin.de/RR2015/</a><br>
    <br>
    ******************************************************************<br>
    The International Conference on Web Reasoning and Rule Systems (RR)
    is a<br>
    major forum for discussion and dissemination of new results
    concerning<br>
    Web Reasoning and Rule Systems.<br>
    <br>
    RR 2015 is colocated with the following events:<br>
    - 11th Reasoning Web Summer School (RW 2015)<br>
      Berlin, Germany, July 31 - August 4, 2015.<br>
      <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rw2015/">http://www.csw.inf.fu-berlin.de/rw2015/</a><br>
      See the list of the exciting topics and excellent lecturers at:<br>
      <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html">http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html</a><br>
    <br>
    - The 25th International Conference on Automated Deduction (CADE
    2015).<br>
      Berlin, Germany, August 1 - August 7, 2015.<br>
      <a class="moz-txt-link-freetext" href="http://conference.mi.fu-berlin.de/cade-25/home">http://conference.mi.fu-berlin.de/cade-25/home</a><br>
    <br>
    - The 9th International Web Rule Symposium (RuleML 2015).<br>
      Berlin, Germany, August 3-5, 2015<br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org">http://2015.ruleml.org</a><br>
    <br>
    == DOCTORAL CONSORTIUM ==<br>
    <br>
    RR 2015 also hosts a doctoral consortium, which will provide PhD<br>
    students with an opportunity to present and discuss their research<br>
    directions, to be involved in discussions on the state-of-the-art<br>
    research, and to establish fruitful collaborations. In particular,
    the<br>
    doctoral consortium will include a mentoring lunch and a poster
    session,<br>
    organized jointly with the 9th International Web Rule Symposium
    (RuleML<br>
    2015). Further details on the RR doctoral consortium will be<br>
    communicated by means of a separate Call for Papers, as well as on
    the<br>
    RR 2015 website.<br>
    <br>
    == TOPICS AND SUBMISSION INSTRUCTIONS ==<br>
    <br>
    The scale and the heterogenous nature of web data poses many
    challenges,<br>
    and turns basic tasks such as query answering and data
    transformations<br>
    into complex reasoning problems. Rule-based systems have found many<br>
    applications in this area. The RR conference welcomes original
    research<br>
    from all areas of Web Reasoning and Rule Systems. Topics of
    particular<br>
    interest are:<br>
    <br>
    - Rule-based languages for intelligent information access and for
    the<br>
    semantic web<br>
    - Ontology-based data access<br>
    - Data management, and data interoperability for web data<br>
    - Distributed agent-based systems for the web<br>
    - Scalability and expressive power of logics for the semantic web<br>
    - Reasoning with incomplete, inconsistenct and uncertain data<br>
    - Non-monotonic, commonsense, and closed-world reasoning for web
    data<br>
    - Constraint programming, inductive logic programming for web data<br>
    - Streaming data and complex event processing<br>
    - Rule-based approaches to machine learning, knowledge extraction
    and<br>
    information retrieval<br>
    - Rule-based approaches to natural language processing<br>
    - System descriptions, applications and experiences<br>
    <br>
    There are two submission formats:<br>
    <br>
    - Full papers (up to 15 pages in LNCS style)<br>
    - Technical Communications (up to 6 pages in LNCS style)<br>
    <br>
    Submitted full papers should present original and significant
    research<br>
    results. They must not substantially overlap with papers that have
    been<br>
    published or that are simultaneously submitted to a journal or a<br>
    conference/workshop with formal proceedings. Double submission to a<br>
    workshop with informal proceedings is allowed, like for instance the
    DL<br>
    2014 workshop. <br>
    <br>
    Technical communications are intended for promising but<br>
    possibly preliminary work, position papers, system descriptions, and<br>
    applications descriptions (which may be accompanied by a demo).<br>
    <br>
    The conference proceedings will be published by Springer in the
    Lecture<br>
    Notes in Computer Science series (LNCS), and all submissions must be<br>
    prepared in Springer's LaTeX style llncs<br>
    (<a class="moz-txt-link-freetext" href="http://www.springer.com/comp/lncs/Authors.html">http://www.springer.com/comp/lncs/Authors.html</a>).<br>
    <br>
    Submissions are now open via EasyChair:<br>
    <a class="moz-txt-link-freetext" href="https://www.easychair.org/conferences/?conf=rr2015">https://www.easychair.org/conferences/?conf=rr2015</a><br>
    <br>
    == IMPORTANT DATES ==<br>
    <br>
    - NEW Title and Abstract submission:  March 11, 2015<br>
    - NEW Full papers submission:         March 18, 2015<br>
    - Notification of acceptance:         April 15, 2015<br>
    - Camera-ready submission:            May 15, 2015<br>
    <br>
    For each of these deadlines, a cut-off point of 23:59 AOE (anywhere
    on<br>
    earth) applies.<br>
    <br>
    == BEST PAPER AND BEST STUDENT PAPER AWARDS ==<br>
    <br>
    Awards for Best Paper and Best Student Paper will be presented to
    the<br>
    corresponding author(s) at the conference. The best student paper
    will<br>
    be selected among the ones mainly only by students (i.e., authors a
    PhD<br>
    as of the paper submission deadline). To qualify for the Best
    Student<br>
    Paper award, the authors must indicate their eligibility upon
    submission<br>
    at easychair. The program committee reserves the right to not give
    out a<br>
    Best Student Paper award, or to split the award among multiple
    submissions.<br>
    <br>
    == INVITED SPEAKERS ==<br>
    <br>
    - Michael Genesereth (Stanford University)<br>
    - Benny Kimelfeld (Technion &amp; LogicBlox)<br>
    - Lora Aroyo (Free University of Amsterdam)<br>
    <br>
    == ORGANIZATION ==<br>
    <br>
    General Chair:<br>
    - Wolfgang Faber (University of Huddersfield)<br>
    <br>
    Program Chair:<br>
    - Balder ten Cate (LogicBlox, USA) - co-chair<br>
    - Alessandra Mileo (INSIGHT NUIG, Ireland) - co-chair<br>
    <br>
    Doctoral Consortium Chair:<br>
    - Marco Montali (Free Universiy of Bozen-Bolzano)<br>
    <br>
    Local Organization Chair:<br>
    - Adrian Paschke (Free University of Berlin)<br>
    <br>
    Sponsorship Chair:<br>
    - Marco Maratea (University of Genova)<br>
    <br>
    Publicity Chair:<br>
    - Luca Pulina (University of Sassari)<br>
    <br>
    Web Chair:<br>
    - Ralph Schaefermeier (Free University of Berlin)<br>
    <br>
    Program Committee:<br>
    - Balder ten Cate (LogicBlox, USA) - co-chair<br>
    - Alessandra Mileo (INSIGHT NUIG, Ireland) - co-chair<br>
    - Darko Anicic (Siemens AG, Germany)<br>
    - Marcelo Arenas (Pontificia Universidad Catolica de Chile, Chile)<br>
    - Marcello Balduccini (Drexel University, USA)<br>
    - Leopoldo Bertossi (Carleton University, Canada)<br>
    - Meghyn Bienvenu (Universite Paris Sud, France)<br>
    - Fernando Bobillo (University of Zaragoza, Spain)<br>
    - Daniel Deutsch (Tel Aviv, Israel)<br>
    - Agostino Dovier (Università degli Studi di Udine, Italy)<br>
    - Thomas Eiter (TU Vienna, Austria)<br>
    - Sergio Flesca (University of Calabria, Italy)<br>
    - Paul Fodor (Stony Brook University, USA)<br>
    - Andres Freitas (INSIGHT NUI Galway, Ireland)<br>
    - Andre Hernich (Liverpool, UK)<br>
    - Stijn Heymans (SRI, USA)<br>
    - Aidan Hogan (National University of Ireland, Galway, Ireland)<br>
    - Benny Kimelfeld (Technion, Israel &amp; LogicBlox, Inc)<br>
    - Roman Kontchakov (Birkbeck College, UK)<br>
    - Markus Krötzsch (University of Oxford, UK)<br>
    - Georg Lausen (Universitaet Freiburg, Germany)<br>
    - Joohyung Lee (Arizona State University, USA)<br>
    - Domenico Lembo (Sapienza Universita di Roma, Italy)<br>
    - Carsten Lutz (Universität Bremen, Germany)<br>
    - Thomas Meyer (CSIR Meraka Institute, South Africa)<br>
    - Boris Motik (Oxford University, UK)<br>
    - Marco Montali (Free University of Bozen-Bolzano, Italy)<br>
    - Marie-Laure Mugnier (LIRMM/INRIA, Montpellier, France)<br>
    - Matthias Nickels (NUI Galway, Ireland)<br>
    - Magdalena Ortiz (TU Vienna, Austria)<br>
    - Giorgio Orsi (University of Oxford, UK)<br>
    - Jeff Z. Pan (University of Aberdeen)<br>
    - Adrian Paschke (Freie Universität Berlin, Germany)<br>
    - Axel Polleres (WU-Vienna, Austria)<br>
    - Lucian Popa (IBM Almaden, USA)<br>
    - Francesco Ricca (University of Calabria, Italy)<br>
    - Riccardo Rosati (Sapienza Universita di Roma, Italy)<br>
    - Sebastian Rudolph (TU Dresden, Germany)<br>
    - Luciano Serafini (FBK Trento, Italy)<br>
    - Evgeny Sherkhonov (University of Amsterdam, Netherlands)<br>
    - Steffen Staab (University of Koblenz-Landau, Germany)<br>
    - Umberto Straccia (ISTI-CNR, Pisa, Italy)<br>
    <br>
    <br>
    <br>
    <br>
    <br>
    <br>
    <pre class="moz-signature" cols="72">-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail <a class="moz-txt-link-abbreviated" href="mailto:lp...@un...">lp...@un...</a>
<a class="moz-txt-link-freetext" href="http://sites.google.com/site/lpulina">http://sites.google.com/site/lpulina</a>
</pre>
  </body>
</html>

[Yap-users] CALL FOR APPLICATIONS -- The 11th Reasoning Web Summer School (RW 2015)

[Luca P. <lp...@un...>]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    **********************************************<br>
    CALL FOR APPLICATIONS<br>
    The 11th Reasoning Web Summer School (RW 2015)<br>
    Berlin, Germany, July 31 - August 4, 2015<br>
    <a class="moz-txt-link-freetext" href="http://reasoningweb.org/2015">http://reasoningweb.org/2015</a><br>
    **********************************************<br>
    <br>
    co-located with:<br>
    <br>
    - 9th International Conference on Web Reasoning and Rule Systems (RR
    2015),<br>
      Berlin, Germany, August 4-6, 2015<br>
      <a class="moz-txt-link-freetext" href="http://www.rr-conference.org/RR2015">http://www.rr-conference.org/RR2015</a><br>
    - 9th International Web Rule Symposium (RuleML 2015),<br>
      Berlin, Germany, August 2-5, 2015<br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org/">http://2015.ruleml.org/</a><br>
    - 25th International Conference on Automated Deduction (CADE-25),<br>
      Berlin, Germany, August 1-7, 2015<br>
      <a class="moz-txt-link-freetext" href="http://www.cade-25.info/">http://www.cade-25.info/</a><br>
    <br>
    The purpose of the Reasoning Web Summer School is to disseminate<br>
    recent advances on reasoning techniques which are of particular<br>
    interest to Semantic Web and Linked Data applications. It is<br>
    primarily intended for postgraduate (PhD or MSc) students,<br>
    postdocs, young researchers, and senior researchers wishing to<br>
    learn about Reasoning on the Semantic Web and related issues.<br>
    In 2015, the theme of the school is:<br>
    <br>
            "Web Logic Rules"<br>
    <br>
    As in the previous years, lectures in the summer school will be<br>
    given by a distinguished group of expert lecturers. Apart from<br>
    their lectures, most lecturers will also be present for the duration<br>
    of the school to interact and establish contacts with the students.<br>
    <br>
    The summer school is co-located with RR2015, RuleML 2015 and
    CADE-25,<br>
    hence, there will be a great opportunity for students to also attend<br>
    a major event in the area after the school. In addition, RR and
    RuleML<br>
    will also include a Doctoral Consortium and students of RW are<br>
    particularly encouraged to also apply to the Doctoral consortium of
    RR<br>
    and RuleML - joint applications are explicitly encouraged.<br>
    <br>
    == IMPORTANT DATES ==<br>
    <br>
    Application deadline: May 10, 2015<br>
    Notifications: June 1, 2015<br>
    <br>
    == CONFIRMED LECTURES ==<br>
    <br>
    With indicative titles:<br>
    <br>
    Tara Athan, Monica Palmirani, Guido Governatori, Adrian Paschke, and
    Adam Wyner<br>
       Legal Reasoning with OASIS Legal RuleML<br>
       [joint tutorial with RuleML]<br>
    <br>
    Christoph Benzmüller and Bruno Woltzenlogel Paleo<br>
       Modal Higher Order Logic<br>
    <br>
    Meghyn Bienvenu and Magdalena Ortiz<br>
       Query Answering with Horn Description Logics<br>
    <br>
    Harold Boley<br>
       PSOA RuleML: Integrated Object-Relational Data and Rules<br>
       [joint tutorial with RuleML]<br>
    <br>
    Tommaso Di Noia<br>
       Recommender Systems and Linked Open Data<br>
    <br>
    Michael Genesereth<br>
       FOL Herbrand Semantics / Herbrand Manifesto <br>
       [joint keynote with RR, RuleML, and CADE]<br>
    <br>
    Georg Gottlob<br>
       Datalog +/-<br>
    <br>
    Benjamin Grosof<br>
       RuleLog<br>
       [joint tutorial with RuleML]<br>
    <br>
    Nicola Leone<br>
       Ontologies and Disjunctive Datalog<br>
    <br>
    Alessandra Mileo<br>
       Stream Reasoning<br>
    <br>
    Torsten Schaub<br>
       Answer Set Programming<br>
    <br>
    Umberto Straccia<br>
       Fuzzy Description Logics<br>
    <br>
    Geoff Sutcliffe<br>
       Automated Theorem Proving / TPTP<br>
       [joint tutorial with RuleML]<br>
    <br>
    <br>
    == APPLICATIONS ==<br>
    <br>
    The number of attendees will be limited and participation will<br>
    depend on submitting an application which will undergo a<br>
    reviewing process.<br>
    <br>
    Applications have to be submitted via Easychair using the<br>
    following URL and by selecting the "RW2015" track:<br>
    <br>
    <a class="moz-txt-link-freetext" href="https://www.easychair.org/conferences/?conf=rw2015">https://www.easychair.org/conferences/?conf=rw2015</a><br>
    <br>
    The program of the school will include a poster session, where<br>
    students can present and discuss their ongoing research with<br>
    lecturers and colleagues. Applicants who wish to participate<br>
    in the poster session shall tick the "participation in poster<br>
    session" group and include a poster title and abstract with<br>
    their application submission.<br>
    <br>
    A selection of students attending RW will have the possibility to<br>
    also attend the RR and RuleML Doctoral Consortium with the<br>
    opportunity to present their poster in a regular session of RR 2015<br>
    and RuleML 2015. Students interested to be considered in this<br>
    selection process should indicate it in their application.<br>
    <br>
    Applications must be submitted in PDF format not exceeding 2<br>
    pages (min. font size 11pt) and contain the following information:<br>
    <br>
    - Name, contact details<br>
    - Affiliation<br>
    - Motivation for participation<br>
    - Summary of profile<br>
    - Willing to present a poster? (if yes, add a poster title and
    abstract)<br>
    - Willing to be considered for RR/RuleML 2015 Doctoral Consortium?<br>
    - Supervisor (if applicable)<br>
    - Publications (if applicable)<br>
    <br>
    == SCHOOL FEES ==<br>
    <br>
    The fee for attending the school is 450 Euros (for registered RR
    2015 or<br>
    RuleML 2015 participants, it is 350 Euros).<br>
    <br>
    == LECTURE NOTES ==<br>
    <br>
    The course material used during the summer school will be<br>
    published with Springer's Lecture Notes in Computer Science<br>
    (LNCS) series (to be confirmed). A copy of the proceedings<br>
    will be included in the registration fees.<br>
    <br>
    == GRANTS ==<br>
    <br>
    There will be a limited number of student grants available for<br>
    the summer school and for the co-located RR2015 conference.<br>
    <br>
    == ORGANIZATION ==<br>
    <br>
    * Organizing Chairs<br>
    <br>
    Wolfgang Faber (University of Huddersfield, UK)<br>
    Adrian Paschke (Frie Universitaet berlin, Germany)<br>
    <br>
    * Scientific Advisory Board<br>
    <br>
    Grigoris Antoniou (University of Huddersfield)<br>
    Nick Bassiliades (Aristotle University of Thessaloniki)<br>
    Diego Calvanese (Free University of Bozen-Bolzano)<br>
    Thomas Eiter (Vienna University of Technology)<br>
    Tim Furche (Oxford University)<br>
    Pascal Hitzler (Wright State University)<br>
    Sebastian Rudolph (Technische Universität Dresden)<br>
    <br>
    == CONTACT ==<br>
    <br>
    For further information including sponsorship opportunities,<br>
    please contact the organizing chairs.<br>
    <pre class="moz-signature" cols="72">-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail <a class="moz-txt-link-abbreviated" href="mailto:lp...@un...">lp...@un...</a>
<a class="moz-txt-link-freetext" href="http://sites.google.com/site/lpulina">http://sites.google.com/site/lpulina</a>
</pre>
  </body>
</html>

[Yap-users] RR 2015 -- 3rd CALL FOR PAPERS - DEADLINES EXTENSION

[Luca P. <lp...@un...>]

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    [apologies for any cross-posting]<br>
    <br>
    ******************************************************************<br>
    3rd CALL FOR PAPERS - DEADLINES EXTENSION<br>
    ******************************************************************<br>
    The 9th International Conference on Web Reasoning and Rule Systems
    (RR 2015)<br>
    Berlin, Germany, August 4-6, 2015<br>
    <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/RR2015/">http://www.csw.inf.fu-berlin.de/RR2015/</a><br>
    <br>
    ******************************************************************<br>
    The International Conference on Web Reasoning and Rule Systems (RR)
    is a<br>
    major forum for discussion and dissemination of new results
    concerning<br>
    Web Reasoning and Rule Systems.<br>
    <br>
    RR 2015 is colocated with the following events:<br>
    - 11th Reasoning Web Summer School (RW 2015)<br>
      Berlin, Germany, July 31 - August 4, 2015.<br>
      <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rw2015/">http://www.csw.inf.fu-berlin.de/rw2015/</a><br>
      See the list of the exciting topics and excellent lecturers at:<br>
      <a class="moz-txt-link-freetext" href="http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html">http://www.csw.inf.fu-berlin.de/rw2015/lecturers.html</a><br>
    <br>
    - The 25th International Conference on Automated Deduction (CADE
    2015).<br>
      Berlin, Germany, August 1 - August 7, 2015.<br>
      <a class="moz-txt-link-freetext" href="http://conference.mi.fu-berlin.de/cade-25/home">http://conference.mi.fu-berlin.de/cade-25/home</a><br>
    <br>
    - The 9th International Web Rule Symposium (RuleML 2015).<br>
      Berlin, Germany, August 3-5, 2015<br>
      <a class="moz-txt-link-freetext" href="http://2015.ruleml.org">http://2015.ruleml.org</a><br>
    <br>
    == DOCTORAL CONSORTIUM ==<br>
    <br>
    RR 2015 also hosts a doctoral consortium, which will provide PhD<br>
    students with an opportunity to present and discuss their research<br>
    directions, to be involved in discussions on the state-of-the-art<br>
    research, and to establish fruitful collaborations. In particular,
    the<br>
    doctoral consortium will include a mentoring lunch and a poster
    session,<br>
    organized jointly with the 9th International Web Rule Symposium
    (RuleML<br>
    2015). Further details on the RR doctoral consortium will be<br>
    communicated by means of a separate Call for Papers, as well as on
    the<br>
    RR 2015 website.<br>
    <br>
    == TOPICS AND SUBMISSION INSTRUCTIONS ==<br>
    <br>
    The scale and the heterogenous nature of web data poses many
    challenges,<br>
    and turns basic tasks such as query answering and data
    transformations<br>
    into complex reasoning problems. Rule-based systems have found many<br>
    applications in this area. The RR conference welcomes original
    research<br>
    from all areas of Web Reasoning and Rule Systems. Topics of
    particular<br>
    interest are:<br>
    <br>
    - Rule-based languages for intelligent information access and for
    the<br>
    semantic web<br>
    - Ontology-based data access<br>
    - Data management, and data interoperability for web data<br>
    - Distributed agent-based systems for the web<br>
    - Scalability and expressive power of logics for the semantic web<br>
    - Reasoning with incomplete, inconsistenct and uncertain data<br>
    - Non-monotonic, commonsense, and closed-world reasoning for web
    data<br>
    - Constraint programming, inductive logic programming for web data<br>
    - Streaming data and complex event processing<br>
    - Rule-based approaches to machine learning, knowledge extraction
    and<br>
    information retrieval<br>
    - Rule-based approaches to natural language processing<br>
    - System descriptions, applications and experiences<br>
    <br>
    There are two submission formats:<br>
    <br>
    - Full papers (up to 15 pages in LNCS style)<br>
    - Technical Communications (up to 6 pages in LNCS style)<br>
    <br>
    Submitted full papers should present original and significant
    research<br>
    results. They must not substantially overlap with papers that have
    been<br>
    published or that are simultaneously submitted to a journal or a<br>
    conference/workshop with formal proceedings. Double submission to a<br>
    workshop with informal proceedings is allowed, like for instance the
    DL<br>
    2014 workshop. <br>
    <br>
    Technical communications are intended for promising but<br>
    possibly preliminary work, position papers, system descriptions, and<br>
    applications descriptions (which may be accompanied by a demo).<br>
    <br>
    The conference proceedings will be published by Springer in the
    Lecture<br>
    Notes in Computer Science series (LNCS), and all submissions must be<br>
    prepared in Springer's LaTeX style llncs<br>
    (<a class="moz-txt-link-freetext" href="http://www.springer.com/comp/lncs/Authors.html">http://www.springer.com/comp/lncs/Authors.html</a>).<br>
    <br>
    Submissions are now open via EasyChair:<br>
    <a class="moz-txt-link-freetext" href="https://www.easychair.org/conferences/?conf=rr2015">https://www.easychair.org/conferences/?conf=rr2015</a><br>
    <br>
    == IMPORTANT DATES ==<br>
    <br>
    - NEW Title and Abstract submission:  March 11, 2015<br>
    - NEW Full papers submission:         March 18, 2015<br>
    - Notification of acceptance:         April 15, 2015<br>
    - Camera-ready submission:            May 15, 2015<br>
    <br>
    For each of these deadlines, a cut-off point of 23:59 AOE (anywhere
    on<br>
    earth) applies.<br>
    <br>
    == BEST PAPER AND BEST STUDENT PAPER AWARDS ==<br>
    <br>
    Awards for Best Paper and Best Student Paper will be presented to
    the<br>
    corresponding author(s) at the conference. The best student paper
    will<br>
    be selected among the ones mainly only by students (i.e., authors a
    PhD<br>
    as of the paper submission deadline). To qualify for the Best
    Student<br>
    Paper award, the authors must indicate their eligibility upon
    submission<br>
    at easychair. The program committee reserves the right to not give
    out a<br>
    Best Student Paper award, or to split the award among multiple
    submissions.<br>
    <br>
    == INVITED SPEAKERS ==<br>
    <br>
    - Michael Genesereth (Stanford University)<br>
    - Benny Kimelfeld (Technion &amp; LogicBlox)<br>
    - Lora Aroyo (Free University of Amsterdam)<br>
    <br>
    == ORGANIZATION ==<br>
    <br>
    General Chair:<br>
    - Wolfgang Faber (University of Huddersfield)<br>
    <br>
    Program Chair:<br>
    - Balder ten Cate (LogicBlox, USA) - co-chair<br>
    - Alessandra Mileo (INSIGHT NUIG, Ireland) - co-chair<br>
    <br>
    Doctoral Consortium Chair:<br>
    - Marco Montali (Free Universiy of Bozen-Bolzano)<br>
    <br>
    Local Organization Chair:<br>
    - Adrian Paschke (Free University of Berlin)<br>
    <br>
    Sponsorship Chair:<br>
    - Marco Maratea (University of Genova)<br>
    <br>
    Publicity Chair:<br>
    - Luca Pulina (University of Sassari)<br>
    <br>
    Web Chair:<br>
    - Ralph Schaefermeier (Free University of Berlin)<br>
    <br>
    Program Committee:<br>
    - Balder ten Cate (LogicBlox, USA) - co-chair<br>
    - Alessandra Mileo (INSIGHT NUIG, Ireland) - co-chair<br>
    - Darko Anicic (Siemens AG, Germany)<br>
    - Marcelo Arenas (Pontificia Universidad Catolica de Chile, Chile)<br>
    - Marcello Balduccini (Drexel University, USA)<br>
    - Leopoldo Bertossi (Carleton University, Canada)<br>
    - Meghyn Bienvenu (Universite Paris Sud, France)<br>
    - Fernando Bobillo (University of Zaragoza, Spain)<br>
    - Daniel Deutsch (Tel Aviv, Israel)<br>
    - Agostino Dovier (Università degli Studi di Udine, Italy)<br>
    - Thomas Eiter (TU Vienna, Austria)<br>
    - Sergio Flesca (University of Calabria, Italy)<br>
    - Paul Fodor (Stony Brook University, USA)<br>
    - Andres Freitas (INSIGHT NUI Galway, Ireland)<br>
    - Andre Hernich (Liverpool, UK)<br>
    - Stijn Heymans (SRI, USA)<br>
    - Aidan Hogan (National University of Ireland, Galway, Ireland)<br>
    - Benny Kimelfeld (Technion, Israel &amp; LogicBlox, Inc)<br>
    - Roman Kontchakov (Birkbeck College, UK)<br>
    - Markus Krötzsch (University of Oxford, UK)<br>
    - Georg Lausen (Universitaet Freiburg, Germany)<br>
    - Joohyung Lee (Arizona State University, USA)<br>
    - Domenico Lembo (Sapienza Universita di Roma, Italy)<br>
    - Carsten Lutz (Universität Bremen, Germany)<br>
    - Thomas Meyer (CSIR Meraka Institute, South Africa)<br>
    - Boris Motik (Oxford University, UK)<br>
    - Marco Montali (Free University of Bozen-Bolzano, Italy)<br>
    - Marie-Laure Mugnier (LIRMM/INRIA, Montpellier, France)<br>
    - Matthias Nickels (NUI Galway, Ireland)<br>
    - Magdalena Ortiz (TU Vienna, Austria)<br>
    - Giorgio Orsi (University of Oxford, UK)<br>
    - Jeff Z. Pan (University of Aberdeen)<br>
    - Adrian Paschke (Freie Universität Berlin, Germany)<br>
    - Axel Polleres (WU-Vienna, Austria)<br>
    - Lucian Popa (IBM Almaden, USA)<br>
    - Francesco Ricca (University of Calabria, Italy)<br>
    - Riccardo Rosati (Sapienza Universita di Roma, Italy)<br>
    - Sebastian Rudolph (TU Dresden, Germany)<br>
    - Luciano Serafini (FBK Trento, Italy)<br>
    - Evgeny Sherkhonov (University of Amsterdam, Netherlands)<br>
    - Steffen Staab (University of Koblenz-Landau, Germany)<br>
    - Umberto Straccia (ISTI-CNR, Pisa, Italy)<br>
    <br>
    <br>
    <br>
    <br>
    <br>
    <br>
    <pre class="moz-signature" cols="72">-- 
Luca Pulina, Ph.D.
Assistant Professor of Computer Science

POLCOMING - Department of Political Science, Communication, Engineering and Information Technologies
University of Sassari
e-mail <a class="moz-txt-link-abbreviated" href="mailto:lp...@un...">lp...@un...</a>
<a class="moz-txt-link-freetext" href="http://sites.google.com/site/lpulina">http://sites.google.com/site/lpulina</a>
</pre>
  </body>
</html>

[Yap-users] ASPCOMP 2015: First Call for Participation.

[Marco M. <ma...@di...>]

[apologies for any cross-posting]


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

               6th Answer Set Programming Competition 2015
                            (ASPCOMP 2015)

		      Call for Participant Systems

  Aalto University and University of Calabria and University of Genoa


 == Important Dates ==

  * May 1st, 2015: Participant registration opens

  * June 1st, 2015: Systems submission 

  * June 7th, 2015: The competition starts

  * September 27-30th, 2015: Awards are presented at LPNMR 2015

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

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.

The ASP Competition is a biannual event (other than for the 5th event
held by invitation in 2014 at the Vienna Summer of Logic) for
evaluating declarative knowledge representation systems on hard and
demanding AI problems. The 6th ASP Competition will be run in 2015,
jointly at Aalto University (Finland), University of Calabria (Italy),
and University of Genoa (Italy). The event is affiliated with the
13th International Conference on Logic Programming and Non-Monotonic
Reasoning (LPNMR 2015), where the results will be announced. The event
is the sequel to the ASP Competition series, held at the University of
Potsdam (Germany) in 2007, the University of Leuven (Belgium) in 2009,
the University of Calabria (Italy) in 2011 and the Vienna University
of Technology (Austria) in 2013.


The 6th ASP Competition is now in the Call for Participant Systems
stage.


== Call for Participant Systems ==

Participants of the Answer Set Programming Competition will compete on
a selected collection of benchmark problems, taken from a variety of
benchmark problem domains as well as real-world applications. These
include, but are not limited to:

 * Classic and application-oriented graph problems
 * Scheduling, Timetabling, and other resource allocation problems
 * Sequential and Temporal Planning
 * Combinatorial Optimization problems
 * Deductive Database tasks on large data-sets
 * Puzzles and Combinatorics
 * Ontology reasoning
 * Automated Theorem Proving and Model Checking
 * Constraint Programming problems
 * Other AI problems

The competition consists of a System Track (as called in past
competitions), which compares dedicated solvers on ASP benchmarks.
Participants compete with solving systems for the ASP-Core-2 language.

The competition will include sub-tracks not only based on "complexity"
of problems (as in past events), but also considering language
features.  Our aim is to clearly indicate what (combinations of)
techniques work for particular problem features, and also widening the
participation to systems that may not (yet) support the full standard.

We welcome the submission of parallel and portfolio systems exploiting
multiple cores or multiple algorithms for solving the given instances.
These solvers will have dedicated tracks, assuming a sufficient number
of submissions in each track.


== Important Dates ==

  * May 1st, 2015: Participant registration opens

  * June 1st, 2015: System submission deadline

  * June 7th, 2015: The competition starts

  * September 27-30th, 2015: Awards are presented at LPNMR 2015


For further information and submission instructions please contact
us (Martin Gebser, Marco Maratea, and Francesco Ricca) by email:

asp...@di...

[Yap-users] PPDP 2015: 2nd call for papers

[Maurizio P. <mau...@IA...>]

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

   Call for papers
   17th International Symposium on
  Principles and Practice of Declarative Programming
      PPDP 2015

         Special Issue of Science of Computer Programming (SCP)

    Siena, Italy, July 14-16, 2015
    (co-located with LOPSTR 2015)

  http://costa.ls.fi.upm.es/ppdp15

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

  SUBMISSION DEADLINE: 20 MARCH, 2015

---------------------------------------------------------------------------------------------------------------------------
INVITED SPEAKERS

Patrick Cousot, New York University, USA (Jointly with LOPSTR)

Martin Hofmann, LMU Munich, Germany

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

PPDP  2015  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 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  analyzing
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 modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application

This   year  the  conference   will  be   co-located  with   the  25th
International   Symposium  on   Logic-Based   Program  Synthesis   and
Transformation (LOPSTR 2015).

The  conference will  be held in Siena, Italy.  Previous symposia were
held  at Canterbury  (UK),  Madrid (Spain),  Leuven (Belgium),  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). You might have a look at the contents of
past PPDP symposia.

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).

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  30% 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 2016.

Important Dates

   Abstract Submission:       14 March, 2015
   Paper submission:       20 March, 2015
   Notification:       14 May,   2015
   Camera-ready:       To be announced

   Symposium:      14-16 July, 2015

Authors  should  submit  an  electronic  copy of  the  full  paper  in
PDF. Papers  should be  submitted to the  submission website  for PPDP
2015. 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 the program committee in
selecting appropriate  reviewers for the paper.  Papers should consist
of   the   equivalent  of   12   pages   under   the  ACM   formatting
guidelines.  These   guidelines  are  available   online,  along  with
formatting templates  or style files. Submitted papers  will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should  include a clear identification of  what has been
accomplished and  why it is  significant. Authors who wish  to provide
additional material to  the reviewers beyond the 12-page  limit can do
so in  clearly marked appendices:  reviewers are not required  to read
such appendices.

Program Committee

    Michael Adams, University of Utah, USA
    Puri Arenas, Complutense University of Madrid, Spain
    Amir Ben-Amram, Tel-Aviv Academic College, Israel
    Ines Castro, Universidade do Porto, Portugal
    Patrick Cousot, New York University, USA
    Gregory Duck, National University of Singapore, Singapore
    Fabio Fioravanti, University of Chieti-Pescara, Italy
    Thom Frühwirth, University of Ulm, Germany
    Roberto Giacobazzi, University of Verona, Italy
    Michael Hanus, CAU Kiel, Germany
    Andy King, University of Kent, UK
    F. López-Fraguas, Complutense University of Madrid, Spain
    Ian Mackie, University of Sussex, UK
    Dale Miller, INRIA and LIX/Ecole Polytechnique, France
    Torsten Schaub, University of Potsdam, Germany
    Tom Schrijvers KU Leuven, Belgium
    Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France
    German Vidal, Universitat Politecnica de Valencia, Spain
    Marina Vos, University of Bath, UK
    Nobuko Yoshida, Imperial College London, UK

Program Chair

    Elvira Albert
    Complutense University of Madrid
    C/ Profesor Garcia Santesmases
    E-28040 Madrid, Spain
    Email: el...@si...

Symposium Chair

    Moreno Falaschi
    Department of information engineering and mathematics
    University of Siena, Italy
    Email: mor...@un...

[Yap-users] LOPSTR 2015: 2nd Call for Papers

[Maurizio P. <mau...@IA...>]

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

                25th International Symposium on
       Logic-Based Program Synthesis and Transformation
                         LOPSTR 2015

         Special Issue of Formal Aspects of Computing

            http://alpha.diism.unisi.it/lopstr15/

        University of Siena, Siena, IT, July 13-15, 2015
                (co-located with PPDP 2015)


DEADLINES
Abstract submission: April 6,  2015
Paper/Extended abstract submission: April 13, 2015

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


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 25th International Symposium on Logic-based Program Synthesis  and
Transformation (LOPSTR 2015) will be held at the University of  Siena,
Siena,  Italy;   previous symposia were held in  Canterbury,   Madrid,
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice,  London,
Verona, Uppsala, Madrid, Paphos, London, Venice,  Manchester,  Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2015 will be co-located with PPDP 2015 (International 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:

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

Survey papers that present some aspects 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).


Important Dates

 Abstract submission:                            April 6, 2015
 Paper/Extended abstract submission:             April 13, 2015
 Notification:                                   May 25, 2015
 Camera-ready (for electronic pre-proceedings):  June 15, 2015
 Symposium:                                      July 13-15, 2015


Submission Guidelines

Authors should submit an electronic copy of the paper (written in
English) in PDF, formatted in the Lecture Notes in Computer Science
style. 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 which will be used to assist
the PC in selecting appropriate reviewers for the paper. Page numbers
should appear on the manuscript to help the reviewers in writing
their report. Submissions cannot exceed 15 pages including references
but excluding well-marked appendices not intended for publication.
Reviewers are not required to read the appendices, and thus papers
should be intelligible without them.
Papers should be submitted via the Easychair submission website for
LOPSTR 2015, which can be accessed through the website of LOPSTR 2015.


Proceedings

The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series.
Full papers can be directly accepted for publication in the formal
proceedings, or accepted only for presentation at the symposium and
inclusion in informal proceedings. 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.


Special journal issue

After the symposium, a selection of the best papers will be invited to
a  special  issue of  the  'Formal Aspects of Computing'  journal. The
submissions to the special issue must be substantial extensions of the
proceedings versions and will  undergo the usual journal reviewing
process.


Invited speakers

Patrick Cousot, New York University, USA (Jointly with PPDP)
Gilles Barthe, IMDEA Software Institute, Spain
Dale Miller, INRIA and LIX/Ecole Polytechnique, France


Program Committee

  Slim Abdennadher,  German University of Cairo, Egypt
  Maria Alpuente,  Universitat Politecnica de Valencia, Spain
  Demis Ballis,  University of Udine, Italy
  Olaf Chitil,  University of Kent, UK
  Michael Codish,  Ben-Gurion University, Israel
  Moreno Falaschi,  University of Siena, Italy (Program Chair)
  Jerome Feret,  INRIA and ENS, France
  Maurizio Gabbrielli,  University of Bologna, Italy
  Jurgen Giesl,  RWTH Aachen University, Germany
  Miguel Gomez-Zamalloa,  Complutense University of Madrid, Spain
  Arnaud Gotlieb,  SIMULA Research Laboratory, Norway
  Gopal Gupta,  University of Texas at Dallas, USA
  Manuel Hermenegildo,  IMDEA, Spain
  Viktor Kuncak,  EPFL Lausanne, Switzerland
  Luigi Liquori,  INRIA Sophia-Antipolis Mediterranee, France
  Alexei Lisitsa,  University of Liverpool, UK
  Narciso Marti-Oliet,  Universidad Complutense de Madrid, Spain
  Jorge Navas,  NASA, USA
  Kazuhiro Ogata,  JAIST, Japan
  Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil
  Catuscia Palamidessi,  INRIA and Ecole Polytechnique, France
  Maurizio Proietti,  IASI-CNR, Italy
  Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain
  Wim Vanhoof,  University of Namur, Belgium


Program and Symposium Chair:

Moreno Falaschi, Dept. of Information Engineering and Mathematics,
Univ. of Siena, Italy
(mor...@un...)


Organizing Committee

Monica Bianchini, DIISM, Univ. of Siena, Italy
Sara Brunetti, DIISM, Univ. of Siena, Italy
Andrea Machetti, DIISM, Univ. of Siena, Italy
Simonetta Palmas, DIISM, Univ. of Siena, Italy
Maurizio Proietti,  IASI-CNR, Italy
Simone Rinaldi, DIISM, Univ. of Siena, Italy
Elisa Tiezzi, DIISM, Univ. of Siena, Italy
Sara Ugolini, Dip. Informatica, Univ. of Pisa

Re: [Yap-users] yap-6.2.2 fails to build with gcc-5.0

[Petr P. <pp...@re...>]

On Thu, Feb 12, 2015 at 05:17:17PM +0100, Petr Pisar wrote:
> make[1]: Entering directory '/home/test/fedora/yap/yap-6.2.2/packages/swi-minisat2/C'
> g++ -c -shared -fPIC -O3 -fomit-frame-pointer -Wall -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches  -m64 -mtune=generic  -DHAVE_CONFIG_H -D_YAP_NOT_INSTALLED_=1 -I. -I../../.. -I./../../../include   ./Solver.C -o Solver.o
> g++ -c -shared -fPIC -O3 -fomit-frame-pointer -Wall -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches  -m64 -mtune=generic  -DHAVE_CONFIG_H -D_YAP_NOT_INSTALLED_=1 -I. -I../../.. -I./../../../include   ./pl-minisat.C -o pl-minisat.o
> ./Solver.C: In member function 'bool Solver::addClause(vec<Lit>&)':
> ./Solver.C:123:41: error: 'Clause_new' was not declared in this scope
>          Clause* c = Clause_new(ps, false);
>                                          ^
> ./Solver.C:123:41: note: suggested alternative:
> In file included from ./Solver.h:29:0,
>                  from ./Solver.C:20:
> ./SolverTypes.h:122:20: note:   'Clause_new'
>      friend Clause* Clause_new(const V& ps, bool learnt = false) {
>                     ^
Attached patch makes the beast buildable. But my C++ knowledge is quite low so
please review the patch.

I made the Clause_new() method static. Another option is to move the
definition from the class to the global name space scope and keep it
friendly.

-- Petr

[Yap-users] yap-6.2.2 fails to build with gcc-5.0

[Petr P. <pp...@re...>]

Hello,

Fedora Linux distribution updated GCC compiler to version 5.0 and
unfortunatelly, latest stable yap 6.2.2 fails to build now:

make[1]: Entering directory '/home/test/fedora/yap/yap-6.2.2/packages/swi-minisat2/C'
g++ -c -shared -fPIC -O3 -fomit-frame-pointer -Wall -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches  -m64 -mtune=generic  -DHAVE_CONFIG_H -D_YAP_NOT_INSTALLED_=1 -I. -I../../.. -I./../../../include   ./Solver.C -o Solver.o
g++ -c -shared -fPIC -O3 -fomit-frame-pointer -Wall -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches  -m64 -mtune=generic  -DHAVE_CONFIG_H -D_YAP_NOT_INSTALLED_=1 -I. -I../../.. -I./../../../include   ./pl-minisat.C -o pl-minisat.o
./Solver.C: In member function 'bool Solver::addClause(vec<Lit>&)':
./Solver.C:123:41: error: 'Clause_new' was not declared in this scope
         Clause* c = Clause_new(ps, false);
                                         ^
./Solver.C:123:41: note: suggested alternative:
In file included from ./Solver.h:29:0,
                 from ./Solver.C:20:
./SolverTypes.h:122:20: note:   'Clause_new'
     friend Clause* Clause_new(const V& ps, bool learnt = false) {
                    ^
./Solver.C: In member function 'lbool Solver::search(int, int)':
./Solver.C:602:59: error: 'Clause_new' was not declared in this scope
                 Clause* c = Clause_new(learnt_clause, true);
                                                           ^
./Solver.C:602:59: note: suggested alternative:
In file included from ./Solver.h:29:0,
                 from ./Solver.C:20:
./SolverTypes.h:122:20: note:   'Clause_new'
     friend Clause* Clause_new(const V& ps, bool learnt = false) {
                    ^
Makefile:68: recipe for target 'Solver.o' failed
make[1]: *** [Solver.o] Error 1

This is caused by a this GCC change
<https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59366> comment by GCC developers
as "a friend function template defined in a class was found without ADL".

After reading yap development tree, I can say it's also affected.

-- Petr