Rinke Hoekstra | 16 Apr 11:36 2014
Picon
Picon

Call for Papers: JURIX 2014, International Conference on Legal Knowledge Based Systems

(Apologies for crossposts)

JURIX 2014

Call for Papers

The 27th International Conference on Legal Knowledge and Information Systems

Jagiellonian University, Krakow, Poland
10, 11 and 12 December, 2014

For more than 25 years, the JURIX conference has provided an international forum for academics and practitioners for the advancement of cutting edge research in the interface between law and computer technology.

The 2014 JURIX conference will take place at the Jagiellonian University in Krakow, Poland, on 10, 11 and 12 December.

As JURIX 2014 approaches, more information will be published on the conference website at http://conference.jurix.nl/2014, or distributed via Twitter by  <at> jurixfoundation using the hashtag #jurix14.

The JURIX conferences are held under the auspices of the Dutch Foundation for Legal Knowledge Systems (http://www.jurix.nl).

Topics

We invite submission of original papers on the advanced management of legal information and knowledge, covering foundations, methods, tools, systems and applications. We welcome submissions belonging to one or more of the following categories:

I - Theory of AI & Law

Contributions to the theory and foundations of AI & Law. Papers should demonstrate (formal) validity, novelty and significance of the work.

  • Theoretical foundations for the use of Artificial Intelligence techniques in the legal domain;
  • Representation formalisms for legal knowledge
  • Models of legal knowledge, including concepts (legal ontologies), rules, cases, principles, values and procedures;
  • Models of legal interactions of autonomous agents and digital institutions;
  • Methods and algorithms for performing legal inference, including argumentation;
II - Technology of AI & Law

Contributions to the technological advancement of AI & Law. Papers should demonstrate quality, novelty and significance of the work, and evaluate results.

  • Technology for expressing the structure and connections of legal documents and rules, including legislative, judicial, administrative acts as well as private documents, such as contracts;
  • Technology for expressing (part of) the semantics of legal information and knowledge, including legal Open Data;
  • Technology for the large scale analysis of legal knowledge and information;
  • Technology for the verification and validation of legal knowledge systems;
  • Technology for digital-rights management, access policies and authorization, including issues in social networks;
  • Technology for natural language processing and annotation of legal texts;
  • Technology for information retrieval over large bodies of legal texts;
  • Support and methodologies for the acquisition, management or use of legal knowledge, using rules, cases, neural networks, intelligent agents or other methods;
III - Applications of AI & Law

Implementations of AI & Law technology in real world systems. Papers should demonstrate added value, novelty and significance of the work, and if possible, evaluate (potential) impact.

  • Support for the production and management of legislation, in agenda setting, policy analysis, drafting, publishing, workflow management, simulation, and monitoring implementation;
  • Support for the judiciary, in application of the law, analysis of evidence, management of cases;
  • Support for lawyers, in legal reasoning, document drafting, negotiation;
  • Support for police activities, in forensic inquiries, search and evaluation of evidence, management of investigations;
  • Support for public administration, in applying regulations and managing information;
  • Support for businesses and other private parties in managing regulatory compliance and compliance of business processes.
  • Support for private parties in using alternative forms of dispute resolution, particularly on-line;
  • Support for education by using legal information systems in a teaching environment.
IV - Other

Any other topic related to the field of Artificial Intelligence and Law.

V - Poster or Demo

A short description of a demo system, or new idea (max. 4 pages). Accepted papers will be offered the opportunity to present during a joint Poster & Demo session with the Doctoral Consortium papers (see below). Authors of demo papers should be willing to share (a screencast of) the demo privatly with the reviewers, if so requested.

Paper Submission

The deadline for paper submission is Friday, September 5th, 2014 at 23:55 HADT. There will be no deadline extension.

As in past years, our intention is for the conference proceedings to be published by IOS Press (Amsterdam, Berlin, Oxford, Tokyo, Washington DC) in their series Frontiers in Artificial Intelligence and Applications (FAIA).

Papers are to be submitted through the Easychair Conference Management System:

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

using PDF and should not exceed 10 pages when formatted using the styles and guidelines in the IOS Press Instructions for Authors (WordLaTeX).

Authors are strongly urged to use these style sheets, as papers not meeting the publisher’s criteria or exceeding the page limit will not be considered for review, and will be excluded from the proceedings.

Workshops & Tutorials

Proposals for tutorials and workshops are invited and strongly encouraged. All proposals, including a short description of the topic, should be sent to the Program Chair by email.

The deadline for workshop & tutorial proposals is Friday, 12 September 2014.

Posters & Demos

Authors can submit short descriptions of a system, preliminary results or an innovative idea as a poster or demo paper.

Poster and demo papers should not exceed 4 pages when formatted using the IOS Press Instructions for Authors

These papers are to be submitted through the Easychair conference management systemunder either the "Poster" or "Demo" submission category.

Doctoral Consortium

JURIX 2014 will feature a Doctoral Consortium. It will provide graduate students an opportunity to publish short papers, to present posters about their research and to receive feedback and encouragement from the AI and Law community.

A full call for papers for the JURIX 2014 DC will be distributed separately.

The deadline for Doctoral Consortium submissions is Friday, 26 September 2014.

Program Committee

TO BE ANNOUNCED

Program Chair

Rinke Hoekstra,
Dept. of Computer Science, VU University Amsterdam, and
Factulty of Law, University of Amsterdam, The Netherlands
rinke.hoekstra-Ka36YuUsYvQ@public.gmane.org / hoekstra-V/Xpf/srekw@public.gmane.org

Local Chair

Michal Araszkiewicz,
Dept. of Legal Theory, Jagiellonian University, Kraków, Poland
michal.araszkiewicz-slrEat8C5OhmR6Xm/wNWPw@public.gmane.org

Doctoral Consortium Chair

Monica Palmirani,
CIRSFID, University of Bologna, Italy
monica.palmirani-puvFFarAPpk@public.gmane.org

Organizing Committee

  • Michał Araszkiewicz (Chair), Jagiellonian University, Kraków, Poland
  • Tomasz Gizbert-Studnicki, Jagiellonian University, Kraków, Poland
  • Krzysztof Płeszka, Jagiellonian University, Kraków, Poland
  • Rafał Michalczak, Jagiellonian University, Kraków, Poland

Important Dates:

  • Paper Submission: 5 September, 2014 at 23:55 HADT (strict).
  • Poster/Demo Submission: 5 September, 2014 at 23:55 HADT (strict).
  • Workshops and Tutorials: 12 September, 2014
  • Doctoral Consortium Papers: 26 September, 2014
  • Notification of Acceptance: 3 October, 2014
  • Camera Ready Deadline: 10 October, 2014
  • Workshops/Tutorials: 10 December, 2014
  • Main Conference: 11 and 12 December, 2014

All submission deadlines close at 23:55 HADT (Hawaii Dailight Saving Time)


----
Rinke Hoekstra
VU University Amsterdam/University of Amsterdam



Enrico Franconi | 15 Apr 12:21 2014
Picon

TWO research fellow/assistant professor openings in Bozen-Bolzano

The faculty of computer science in Bozen-Bolzano (Italy) has two openings at the level of research fellow / assistant professor (RTD-a), associated to the KRDB research centre <http://www.inf.unibz.it/krdb/>.

The research activity of the KRDB centre is focused on knowledge representation and database theories and technologies for semantic-based intelligent information system design, integration, access, and navigation.

According to the current Italian legislation, the RTD-a position is a necessary prerequisite to start the tenure track (RTD-b) leading to associate professor. The contract is for 3 years, and the salary is up to 59000 € p.a. gross including all the benefits and the bonuses. There is some teaching duty to be performed at the BSc or MSc level.

For any question and more detailed information, please do not hesitate to ask prof. Enrico Franconi at <franconi <at> inf.unibz.it>. The call will close at the end of May 2014.

Enrico Franconi                  - franconi <at> inf.unibz.it
Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/
Faculty of Computer Science      - Phone: (+39) 0471-016-120
I-39100 Bozen-Bolzano BZ, Italy  - Fax:   (+39) 0471-016-009
Giorgos Stoilos | 11 Apr 14:48 2014
Picon

RR 2014: Deadlines extended

******************************************************************
CALL FOR PAPERS
The 8th International Conference on Web Reasoning and Rule Systems
Athens, Greece, September 15-17, 2014
http://www.rr-conference.org/RR2014
******************************************************************

+++++++++++++++++++++++++++++++++++++++++++++++
+ Deadlines for Abstracts and Papers Extended +
+++++++++++++++++++++++++++++++++++++++++++++++

- Title and Abstract submission: April 18, 2014, UTC-12 (AoE: Anywhere 
on Earth)
- Full papers submission: April 26, 2014, UTC-12 (AoE: Anywhere on Earth)

== RR ==

The International Conference on Web Reasoning and Rule Systems
(RR) is a major forum for discussion and dissemination of new
results concerning Web Reasoning and Rule Systems.

RR 2014 is associated with the following interesting event:

- 10th Reasoning Web Summer School (RW 2014)
   Athens, Greece, September 8-13, 2014
   http://reasoningweb.org/2014/

The Reasoning Web Summer School (RW) is a great opportunity
particularly for young researchers to combine with attendance of
the conference. Submissions by summer school participants are
particularly encouraged.

== IMPORTANT DATES ==

* Main Event Dates *

- Title and Abstract submission: April 18, 2014, UTC-12 (AoE: Anywhere 
on Earth)
- Full papers submission: April 26, 2014, UTC-12 (AoE: Anywhere on Earth)
- Notification of acceptance: May 30, 2014
- Camera-ready submission: June 13, 2014

* Doctoral Consortium Dates *

- Abstract submission: April 27, 2014, UTC-12 (AoE: Anywhere on Earth)
- Notification of acceptance: May 18, 2014
- Camera-Ready: June 6, 2014

== TOPICS ==

RR welcomes original research from all areas of Web Reasoning.
Topics of particular interest are:

- Semantic Web, rule and ontology languages, and related logics
- Reasoning, querying, searching and optimization
- Incompleteness, inconsistency, and uncertainty
- Non-monotonic, commonsense, and closed-world reasoning for the Web
- Dynamic information, stream reasoning and complex event processing
- Decision making, planning, and intelligent agents
- Machine learning, knowledge extraction, and information retrieval
- Data management, data integration, and reasoning on the Web of data
- Ontology-based data access
- System descriptions, application, and experiences

== INVITED SPEAKERS ==

Frank van Harmelen (VU University Amsterdam, Netherlands)
Markus Krötzsch (Technical University of Dresden, Germany)

== DOCTORAL CONSORTIUM ==

Following the success the RR DC in 2012 and 2013, RR 2014 will
also host a doctoral consortium, which 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 collaborations with prominent researchers and pioneers in
the field of Web Reasoning and Rules and related areas. The RR-DC will
also provide a forum where PhD students can share ideas, and receive
constructive feedback on ongoing work from peer students.

More details about the DC, student application procedure, and student
grants can be found at http://rr2014.di.uoa.gr/?q=node/24

Further details will also be communicated by means of a separate Call
for Papers.

== PUBLICATION & JOURNAL ==

The conference proceedings will be published by Springer in the Lecture
Notes in Computer Science series (LNCS).

After the conference, authors of accepted papers will be invited to
submit extended versions of their papers to the Journal on Data Semantics.

== SUBMISSIONS ==

Submissions must be prepared in Springer's LaTeX style llncs
(http://www.springer.com/comp/lncs/Authors.html).

There are two submission formats:

- Full papers (up to 15 pages)
- Technical Communications (up to 6 pages)

Submitted full papers should present original and significant research
results. They must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference/workshop with formal proceedings. Double submission to a
workshop with informal proceedings is allowed, like for instance the
DL 2014 workshop.

Technical communications are intended for promising but possibly
preliminary work, position papers, system descriptions, and
applications descriptions (which may be accompanied by a demo).

Submissions will be made via EasyChair:

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

== BEST PAPER AND BEST STUDENT PAPER AWARDS ==

Awards for Best Paper and Best Student Paper will be presented to the
corresponding author(s) at the conference. The best student paper
will be selected among the ones written mainly by students (i.e.,
persons not holding a PhD as of March 30, 2014), and the Best Student
Paper award will be assigned only in case a student is not one of the
main authors of the paper winning the Best Paper award. To qualify
for the Best Student Paper award, the authors must indicate their
eligibility upon submission at easychair.

== ORGANIZATION ==

General Chair:
- Axel Polleres (Institute for Information Business, WU Vienna, Austria)

Program Chairs:
- Roman Kontchakov (Birkbeck College, UK)
- Marie-Laure Mugnier (University of Montpellier 2, France)

Doctoral Consortium Chair:
- Francesco Ricca (University of Calabria, Italy)

Local Chair:
- Manolis Koubarakis (National and Kapodistrian University of Athens,
Greece)

Sponsorship Chair:
- Giorgos Stamou (National Technical University of Athens, Greece)

Publicity Chair:
- Giorgos Stoilos (National Technical University of Athens, Greece)

== PROGRAM COMMITTEE ==

José Júlio Alferes (Universidade Nova de Lisboa, Portugal)
Darko Anicic (Siemens AG, Germany)
Marcelo Arenas (Pontificia Universidad Católica de Chile, Chile)
Jean-François Baget (INRIA Montpellier, France)
Marcello Balduccini (Drexel University, USA)
Leopoldo Bertossi (Carleton University, Canada)
Meghyn Bienvenu (Université Paris Sud, France)
Fernando Bobillo (University of Zaragoza, Spain)
François Bry (Ludwig-Maximilians-Universität München, Germany)
Bernardo Cuenca Grau (University of Oxford, UK)
Agostino Dovier (Università degli Studi di Udine, Italy)
Thomas Eiter (TU Vienna, Austria)
Wolfgang Faber (University of Huddersfield, UK)
Sergio Flesca (University of Calabria, Italy)
Paul Fodor (Stony Brook University, USA)
Andreas Harth (Karlsruhe Institute of Technology, Germany)
Stijn Heymans (SRI International, USA)
Pascal Hitzler (Wright State University, USA)
Aidan Hogan (National University of Ireland, Galway, Ireland)
Georg Lausen (Universität Freiburg, Germany)
Joohyung Lee (Arizona State University, USA)
Domenico Lembo (Sapienza Università di Roma, Italy)
Carsten Lutz (Universität Bremen, Germany)
Thomas Meyer (CSIR Meraka Institute, South Africa)
Alessandra Mileo (DERI, Ireland)
Marco Montali (Free University of Bozen-Bolzano, Italy)
Boris Motik (University of Oxford, UK)
Magdalena Ortiz (TU Vienna, Austria)
Giorgio Orsi (University of Oxford, UK)
Adrian Paschke (Freie Universität Berlin, Germany)
Andreas Pieris (University of Oxford, UK)
Andrea Pugliese (University of Calabria, Italy)
Guilin Qi (Southeast University, China)
Francesco Ricca (University of Calabria, Italy)
Riccardo Rosati (Sapienza Università di Roma, Italy)
Sebastian Rudolph (TU Dresden, Germany)
Steven Schockaert (Cardiff University, UK)
Steffen Staab (University of Koblenz-Landau, Germany)
Giorgos Stamou (National Technical University of Athens, Greece)
Giorgos Stoilos (National Technical University of Athens, Greece)
Umberto Straccia (ISTI-CNR, Italy)
David Toman (University of Waterloo, Canada)
Martin Theobald (University of Antwerp, Belgium)
Michaël Thomazo (TU Dresden, Germany)

Mathieu d'Aquin | 11 Apr 10:34 2014
Picon
Picon

LD4KD CFP - Linked Data for Knowledge Discovery Workshop at ECML/PKDD

** apologies for cross-posting **

================================
LD4KD 2014
1st Workshop on Linked Data for Knowledge Discovery

http://events.kmi.open.ac.uk/ld4kd2014/

co-located with the European Conference on Machine Learning and
Principles and Practice of Knowledge Discovery 2014 (ECML/PKDD 2014)
15-19 September 2014, Nancy, France (http://www.ecmlpkdd2014.org/ )

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

Linked Data have attracted a lot of attention in recent years in many
research areas, as their technologies and principles provide new ways to
overcome typical data management and consumption issues such as
reliability, heterogeneity, provenance or completeness. However, the way
in which Linked Data can be applicable and beneficial to the Knowledge
Discovery (KDD) pocess is still not completely understood. Many aspects
of KDD could benefit from Linked Data, e.g. mining Linked Data sources,
using Linked Data to enrich, represent or integrate local data for data
preparation, interpretation or visualisation.

LD4KD will be an interactive hub to explore the benefits of Linked Data
principles and technologies for Knowledge Discovery, together with
addressing the new challenges that will emere from joining the two
fields. It will be an opportunity for practitioners of both fields to
create communication and collaboration channels,and bridge the gap
between their overlapping, but mostly isolated communities.

The workshop encourages the participation of researchers from the
Knowledge Discovery field to discuss and get informed about the use,
benefits and challenges of Linked Data, while th Linked Data researchers
can take advantage of and adapt Knowledge Discovery methods in their domain.

*SCOPE*

We welcome high quality position and research papers in which (1) Linked
Data are used as support of Knowledge Discovery processes to extract
useful knowledge, or (2) Knowledge Discovery techniques are adapted to
work and possibly extend Linked Data.

Topics of either theoretical and applied interest include, but are not
limited to:

- Linked Data for data pre-processing: cleaning, sorting, filtering or
enrichment
- Linked Data applied to Machine Learning
- Linked Data for pattern extraction and behaviour detection
- Linked Data for pattern interpretation, visualization or optimisation
- Reasoning with patterns and Linked Data
- Reasoning on and extracting knowledge from Linked Data
- Linked Data mining
- Links prediction or links discovery using KDD
- Graph mining in Linked Data
- Interacting with Linked Data for Knowledge Discovery

*IMPORTANT DATES*

Paper submission deadline: June 20th
Notification Of Acceptance: July 20th
Camera ready copies due: August 5th, 2014
Workshop date: September 15th/19th, 2014

*SUBMISSIONS*

Articles should be written following the Springer LNCS template (see
authors instructions at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) and can be
up to 10 pages in lenght for research papers or 5 pages for position
papers, including figures and references.

Submissions are exclusively admitted electronically, in PDF format,
through the EasyChair system. The submission site is
https://www.easychair.org/conferences/?conf=ld4kd

* ORGANISING COMMITTEE *

Ilaria Tiddi, Knowledge Media Institute, The Open University, UK
Mathieu d'Aquin, Knowledge Media Institute, The Open University, UK
Nicolas Jay, Orpailleur, Loria, France

*CONTACTS*

mathieu.daquin@...
ilaria.tiddi@...
nicolas.jay@...

*PROGRAMME COMMITTEE*

Francesca Alessandra
Claudia D'Amato
Tommaso di Noia
Nicola Fanizzi
Johannes Fürnkranz
Nathalie Hernandez
Agnieszka Lawrynowicz
Amedeo Napoli
Andriy Nikolov
Heiko Paulheim
Sebastian Rudolph
Harald Sack
Vojtěch Svátek
Isabelle Tellier
Cassia Trojahn

-- The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales
and a charity registered in Scotland (SC 038302).

Giorgos Stoilos | 8 Apr 11:49 2014
Picon

Last Call for RR 2014 Papers: The 8th International Conference on Web Reasoning and Rule Systems

******************************************************************
CALL FOR PAPERS
The 8th International Conference on Web Reasoning and Rule Systems
Athens, Greece, September 15-17, 2014
http://www.rr-conference.org/RR2014
******************************************************************

== RR ==

The International Conference on Web Reasoning and Rule Systems
(RR) is a major forum for discussion and dissemination of new
results concerning Web Reasoning and Rule Systems.

RR 2014 is associated with the following interesting event:

- 10th Reasoning Web Summer School (RW 2014)
    Athens, Greece, September 8-13, 2014
    http://reasoningweb.org/2014/

The Reasoning Web Summer School (RW) is a great opportunity
particularly for young researchers to combine with attendance of
the conference. Submissions by summer school participants are
particularly encouraged.

== IMPORTANT DATES ==

* Main Event Dates *

- Title and Abstract submission: April 13, 2014, UTC-12 (AoE: Anywhere 
on Earth)
- Full papers submission: April 20, 2014, UTC-12 (AoE: Anywhere on Earth)
- Notification of acceptance: May 30, 2014
- Camera-ready submission: June 13, 2014

* Doctoral Consortium Dates *

- Abstract submission: April 27, 2014, UTC-12 (AoE: Anywhere on Earth)
- Notification of acceptance: May 18, 2014
- Camera-Ready: June 6, 2014

== TOPICS ==

RR welcomes original research from all areas of Web Reasoning.
Topics of particular interest are:

- Semantic Web, rule and ontology languages, and related logics
- Reasoning, querying, searching and optimization
- Incompleteness, inconsistency, and uncertainty
- Non-monotonic, commonsense, and closed-world reasoning for the Web
- Dynamic information, stream reasoning and complex event processing
- Decision making, planning, and intelligent agents
- Machine learning, knowledge extraction, and information retrieval
- Data management, data integration, and reasoning on the Web of data
- Ontology-based data access
- System descriptions, application, and experiences

== INVITED SPEAKERS ==

Frank van Harmelen (VU University Amsterdam, Netherlands)
Markus Krötzsch (Technical University of Dresden, Germany)

== DOCTORAL CONSORTIUM ==

Following the success the RR DC in 2012 and 2013, RR 2014 will
also host a doctoral consortium, which 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 collaborations with prominent researchers and pioneers in
the field of Web Reasoning and Rules and related areas. The RR-DC will
also provide a forum where PhD students can share ideas, and receive
constructive feedback on ongoing work from peer students.

More details about the DC, student application procedure, and student
grants can be found at http://rr2014.di.uoa.gr/?q=node/24

Further details will also be communicated by means of a separate Call
for Papers.

== PUBLICATION & JOURNAL ==

The conference proceedings will be published by Springer in the Lecture
Notes in Computer Science series (LNCS).

After the conference, authors of accepted papers will be invited to
submit extended versions of their papers to the Journal on Data Semantics.

== SUBMISSIONS ==

Submissions must be prepared in Springer's LaTeX style llncs
(http://www.springer.com/comp/lncs/Authors.html).

There are two submission formats:

- Full papers (up to 15 pages)
- Technical Communications (up to 6 pages)

Submitted full papers should present original and significant research
results. They must not substantially overlap with papers that have
been published or that are simultaneously submitted to a journal or a
conference/workshop with formal proceedings. Double submission to a
workshop with informal proceedings is allowed, like for instance the
DL 2014 workshop.

Technical communications are intended for promising but possibly
preliminary work, position papers, system descriptions, and
applications descriptions (which may be accompanied by a demo).

Submissions will be made via EasyChair:

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

== BEST PAPER AND BEST STUDENT PAPER AWARDS ==

Awards for Best Paper and Best Student Paper will be presented to the
corresponding author(s) at the conference. The best student paper
will be selected among the ones written mainly by students (i.e.,
persons not holding a PhD as of March 30, 2014), and the Best Student
Paper award will be assigned only in case a student is not one of the
main authors of the paper winning the Best Paper award. To qualify
for the Best Student Paper award, the authors must indicate their
eligibility upon submission at easychair.

== ORGANIZATION ==

General Chair:
- Axel Polleres (Institute for Information Business, WU Vienna, Austria)

Program Chairs:
- Roman Kontchakov (Birkbeck College, UK)
- Marie-Laure Mugnier (University of Montpellier 2, France)

Doctoral Consortium Chair:
- Francesco Ricca (University of Calabria, Italy)

Local Chair:
- Manolis Koubarakis (National and Kapodistrian University of Athens,
Greece)

Sponsorship Chair:
- Giorgos Stamou (National Technical University of Athens, Greece)

Publicity Chair:
- Giorgos Stoilos (National Technical University of Athens, Greece)

== PROGRAM COMMITTEE ==

José Júlio Alferes (Universidade Nova de Lisboa, Portugal)
Darko Anicic (Siemens AG, Germany)
Marcelo Arenas (Pontificia Universidad Católica de Chile, Chile)
Jean-François Baget (INRIA Montpellier, France)
Marcello Balduccini (Drexel University, USA)
Leopoldo Bertossi (Carleton University, Canada)
Meghyn Bienvenu (Université Paris Sud, France)
Fernando Bobillo (University of Zaragoza, Spain)
François Bry (Ludwig-Maximilians-Universität München, Germany)
Bernardo Cuenca Grau (University of Oxford, UK)
Agostino Dovier (Università degli Studi di Udine, Italy)
Thomas Eiter (TU Vienna, Austria)
Wolfgang Faber (University of Huddersfield, UK)
Sergio Flesca (University of Calabria, Italy)
Paul Fodor (Stony Brook University, USA)
Andreas Harth (Karlsruhe Institute of Technology, Germany)
Stijn Heymans (SRI International, USA)
Pascal Hitzler (Wright State University, USA)
Aidan Hogan (National University of Ireland, Galway, Ireland)
Georg Lausen (Universität Freiburg, Germany)
Joohyung Lee (Arizona State University, USA)
Domenico Lembo (Sapienza Università di Roma, Italy)
Carsten Lutz (Universität Bremen, Germany)
Thomas Meyer (CSIR Meraka Institute, South Africa)
Alessandra Mileo (DERI, Ireland)
Marco Montali (Free University of Bozen-Bolzano, Italy)
Boris Motik (University of Oxford, UK)
Magdalena Ortiz (TU Vienna, Austria)
Giorgio Orsi (University of Oxford, UK)
Adrian Paschke (Freie Universität Berlin, Germany)
Andreas Pieris (University of Oxford, UK)
Andrea Pugliese (University of Calabria, Italy)
Guilin Qi (Southeast University, China)
Francesco Ricca (University of Calabria, Italy)
Riccardo Rosati (Sapienza Università di Roma, Italy)
Sebastian Rudolph (TU Dresden, Germany)
Steven Schockaert (Cardiff University, UK)
Steffen Staab (University of Koblenz-Landau, Germany)
Giorgos Stamou (National Technical University of Athens, Greece)
Giorgos Stoilos (National Technical University of Athens, Greece)
Umberto Straccia (ISTI-CNR, Italy)
David Toman (University of Waterloo, Canada)
Martin Theobald (University of Antwerp, Belgium)
Michaël Thomazo (TU Dresden, Germany)

Serge Autexier | 7 Apr 10:01 2014
Picon

2nd CfP, VERIFY 2014, 8th Verification Workshop, *Abstract Deadline April 17th, 2014*, Focus Theme: Verification Beyond IT Systems

[Apologies for cross posting]

                        SECOND CALL FOR PAPERS

         8th International Verification Workshop (VERIFY’14)
              in connection with IJCAR 2014 at FLoC 2014
                  July 23–24, 2014, Vienna, Austria

                       http://vsl2014.at/verify

The formal  verification of  critical information  systems has  a long
tradition  as one  of  the  main areas  of  application for  automated
theorem proving. Nevertheless, the area is of still growing importance
as the number of computers  affecting everyday life and the complexity
of  these systems  are  both  increasing. The  purpose  of the  VERIFY
workshop  series is  to  discuss problems  arising  during the  formal
modeling and  verification of  information systems and  to investigate
suitable solutions.  Possible perspectives include those  of automated
theorem proving, tool support, system engineering, and applications.

The VERIFY  workshop series aims  at bringing together people  who are
interested in the development of safety and security critical systems,
in formal  methods, in  the development  of automated  theorem proving
techniques,  and  in  the   development  of  tool  support.  Practical
experiences gained in  realistic verifications are of  interest to the
automated theorem proving community and new theorem proving techniques
should  be transferred  into practice.  The overall  objective of  the
VERIFY workshops is to identify  open problems and to discuss possible
solutions under the theme

What are the verification problems? What are the deduction techniques?

The 2014 edition of VERIFY aims for extending the verification methods
for processes implemented in hard-  and software to processes that may
well include computer-assistance, but have  a large part or a frequent
interaction  with non-computer-based  process  steps.  Hence the  2014
edition will run under the focus theme

                    Verification Beyond IT Systems

A  non-exclusive list of application areas  with these characteristics
are

       * Ambient assisted living
       * Intelligent home systems and processes
       * Business systems and processes
       * Production logistics systems and processes
       * Transportation logistics
       * Clinical processes
       * Social systems and processes (e.g., voting systems)

The scope of VERIFY includes topics such as

       * ATP techniques in verification
       * Case studies (specification & verification)
       * Combination of verification systems
       * Integration of ATPs and CASE-tools
       * Compositional & modular reasoning
       * Experience reports on using formal methods
       * Gaps between problems & techniques
       * Formal methods for fault tolerance
       * Information flow control security
       * Refinement & decomposition
       * Reliability of mobile computing
       * Reuse of specifications & proofs
       * Management of change
       * Safety-critical systems
       * Security models
       * Tool support for formal methods

Submissions are encouraged in one of the following two categories:

A. Regular  paper:  Submissions  in  this  category  should   describe
   previously unpublished  work (completed or in  progress), including
   descriptions of research, tools,  and applications.  Papers must be
   5-14  pages  long (in  EasyChair  style)  or  6-15 pages  long  (in
   Springer LNCS style).

B. Discussion  papers: Submissions  in this  category are  intended to
   initiate discussions and hence should address controversial issues,
   and may include  provocative statements. Papers must  be 3-14 pages
   long  (in EasyChair  style) or  3-15 pages  long (in  Springer LNCS
   style).

Important dates
   Abstract Submission Deadline:    April 17th, 2014
   Paper Submission Deadline:       April 25th, 2014
   Notification of acceptance:      May 20, 2014
   Final version due:               May 27, 2014
   Workshop date:                   July 23–24, 2014

Submission is via EasyChair:
   http://www.easychair.org/conferences/?conf=verify2014

Program Committee

 Serge Autexier (DFKI) - chair
 Bernhard Beckert (Karlsruhe Institute of Technology) - chair
 Wolfgang Ahrendt (Chalmers University of Technology)
 Juan Augusto (Middlesex University)
 Iliano Cervesato (Carnegie Mellon University)
 Jacques Fleuriot (University of Edinburgh)
 Marieke Huisman (University of Twente)
 Dieter Hutter (DFKI GmbH)
 Reiner Hähnle (Technical University of Darmstadt)
 Deepak Kapur (University of New Mexico)
 Gerwin Klein (NICTA and UNSW)
 Joe Leslie-Hurd (Intel Corporation)
 Fabio Martinelli (IIT-CNR)
 Catherine Meadows (NRL)
 Stephan Merz (INRIA Lorraine)
 Tobias Nipkow (TU München)
 Lawrence Paulson (University of Cambridge)
 Johann Schumann (SGT, Inc/NASA Ames)
 Kurt Stenzel (University of Augsburg)

Antonis Bikakis | 30 Mar 15:19 2014
Picon
Picon

RuleML 2014 - deadline extension

---------------------------------------------------------------------------------
RuleML 2014 - 8th International Web Rule Symposium
In conjunction with ECAI 2014
Prague, Czech Republic, August 18-20, 2014.
---------------------------------------------------------------------------------

DEADLINE EXTENSION
====================
Due to multiple requests, we extended the submission deadlines to the following dates:
* Abstract submission: 14 April 2014
* Paper submission: 22 April 2014

KEYNOTES AND TUTORIALS
=========================
 * NEW! Κeynote on on topics of declarative modeling for mining, probabilistic logics, and learning, by Luc de Raedt, Katholieke Universiteit Leuven, Belgium
 * Keynote: Rules, Events and Actions in Semantic Event Processing, by Adrian Paschke, Freie Universität Berlin, Germany
 * Efficient mapping rules in OBDA, by Arild Waaler, University of Oslo, Norway
 * Rule-based Clinical Decision Support, Jürgen Angele, Jürgen Angele, Semedy AG, Zug, Switzerland
 * Tutorial on Rule Learning, by Johannes Fürnkranz, TU Darmstadt

NEW! RULEML STUDENT TRAVEL SUPPORT
=====================================
Student Travel Support of EUR 500 will be provided for the two best student (first author) submissions. For a paper to be considered, its first author must be a student. Proof of studentship will be required at time of registration. More detailed information on how to apply will be sent to authors of accepted papers through Easychair.

SPECIAL TRACKS
================
 * Rules and Human Language Technology 
 * Learning (Business) Rules from Data 
 * Legal Rules and Norms

RuleML 2014 is also hosting:
 * The 4th RuleML Doctoral Consortium: http://2014.ruleml.org/dc
 * The 6th International Rule Challenge: http://2014.ruleml.org/challenge
 * The Face-to-Face LegalRuleML OASIS TC meeting

AWARDS
========
At a special session of RuleML 2014, we will present the following awards:
 * RuleML Best Paper and Runner-up Awards 
 * Rule Challenge Best System and Runner-up Awards
 * RuleML 2014 Rulebase Competition Award
 * Doctoral Consortium Best Paper and Runner-up Award

TOPICS
=======
We invite high-quality submissions related (but not limited) to the special tracks and to the list of topics that appears here: 

SUBMISSION GUIDELINES
=======================
Papers must be original contributions written in English and must be submitted at
 * Full Papers (15 pages in the proceedings)
 * Short Papers (8 pages in the proceedings)

Accepted papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. A selection of the best papers will be invited to be revised and extended for the post-conference publication in a Special Issue of TPLP (Theory and Practice of Logic Programming).

NEW! RuleML 2014 RULEBASE COMPETITION
=================================
RuleML Inc announces a US$1000 Award for the best RuleML Rulebase of 2014 (may be split into two US$500 Awards).
This year's rulebases are solicited in Deliberation RuleML 1.01 (see http://deliberation.ruleml.org/1.01/timeline). Submitted rulebases must contain at least 20 rules in RuleML 1.01/XML and can be about any domain of knowledge. They may be translated from other languages (which must be mentioned in submissions) but need to be cleared for possible publication on the RuleML website in the source language as well as in RuleML 1.01/XML.
More information will soon be available here: http://2014.ruleml.org/challenge
 
RuleML 1.01 PUBLIC REVIEW
=========================
RuleML Inc announces a 6-week public review period for RuleML Version 1.01:

========================================
Twitter hashtag: #ruleml2014




Ernesto Jimenez-Ruiz | 27 Mar 17:37 2014
Picon

[CfP] Last C4P: ORE 2014, the 3rd OWL Reasoner Evaluation Workshop (with VSL 2014)

[Apologies for cross-posting]

----------------------------------------------------------------------------------------------------
                      CALL FOR PAPERS, SYSTEMS & ONTOLOGIES
                     3rd OWL Reasoner Evaluation Workshop (ORE 2014)
                    Collocated with the Vienna Summer of Logic (VSL)
                       July 13, 2014 - Vienna, Austria
                                    http://vsl2014.at/ore/
                                 http://vsl2014.at/floc-ws/
-----------------------------------------------------------------------------------------------------



OBJECTIVES
--------------------------------------------------------------------------
The goal of this workshop is to bring together both the DEVELOPERS and END-USERS of reasoners for (subsets of) OWL, including systems focusing on both intensional (ontology) and extensional (data) query answering. The workshop will give developers a perfect opportunity to promote their systems.


CALL FOR PAPERS
--------------------------------------------------------------------------

We invite submission of papers describing:

    * System descriptions describing the architecture, implementation, and expected performance of the reasoner.

    * Reasoner implementation details, usage reports, implementation "tips and tricks".

    * Challenging ontologies and/or benchmark proposals for OWL reasoners.

Papers should be formatted according to the Springer LNCS guidelines (http://www.springer.de/comp/lncs/authors.html) and should not be longer than 6 pages (excluding references).

Submissions must be in PDF through the EasyChair conference system: https://www.easychair.org/conferences/?conf=ore2014.

All submissions will be peer-reviewed by the program committee. Selected papers will be presented during the workshop and published as a volume of CEUR workshop proceedings (http://ceur-ws.org/).



CALL FOR SYSTEMS AND ONTOLOGIES(COMPETITION)
--------------------------------------------------------------------------

In addition to the workshop we will run an OWL Reasoner Competition, which is part of the 1st FLoC Olympic Games (http://vsl2014.at/olympics/). The FLoC Olympic Games are intended as a new FLoC tradition and Games will bring together a multitude of established solver competitions by different research communities. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.

We invite both reasoner developers and developers of challenging ontologies to submit their systems/ontologies for participation in the OWL reasoner competition. The preliminary outline for the competition is as follows:

    * The test sets will include OWL ontologies from all OWL 2 profiles and of varying sizes, from a large corpus of ontologies (including ontologies from the NCBO BioPortal, a web crawl, and user-submitted ontologies).
    * The tested tasks will include consistency checking, classification, and realisation.
    * Developers will have to submit an executable wrapper script that triggers the reasoning system (see ORE 2014 Specification), and the system itself to the competition organizers, who will then carry out the benchmarks.

Further instructions and a testing framework is available at: https://bitbucket.org/andreas-steigmiller/ore-2014-testing-framework
Please note: The deadline for all system submissions is 16th May 2014.

In addition to the system submissions, both reasoner and ontology developers are invited to submit a short paper describing their system/ontology. See the above instructions for paper submissions.


IMPORTANT DATES
--------------------------------------------------------------------------

    * Paper submission deadline: April 1, 2014
    * Notification of acceptance: May 2, 2014
    * Camera-ready papers: May 16, 2014
    * System submission (for competition): May 16, 2014
    * Workshop:  July 13, 2014
    * Live Competition: July 18, 2014 (TBD)
    * Olympic Games Award Ceremony (Competition): July  21, 2014


ORGANISATION
--------------------------------------------------------------------------

For enquiries, please contact the organisers at ore2014-bC77Qfv0vuxrovVCs/uTlw@public.gmane.org

Organisers, PC chairs

    * Ernesto Jiménez-Ruiz, University of Oxford, UK
    * Samantha Bail, University of Manchester, UK

Competition Organisers

    * Birte Glimm, Ulm University, Germany
    * Nicolas Matentzoglu, University of Manchester, UK
    * Bijan Parsia, University of Manchester, UK
    * Andreas Steigmiller, Ulm University, Germany

Program committee

    * Ana Armas, University of Oxford, UK
    * Franz Baader, TU Dresden, Germany
    * Michel Dumontier, Stanford University, USA
    * Christine Golbreich, LIRMM, CNRS, Montpellier & University Versailles Saint-Quentin, France
    * Janna Hastings, European Bioinformatics Institute, UK
    * Yevgeny Kazakov, Ulm University, Germany
    * Pavel Klinov, Ulm University, Germany
    * Ilianna Kollia, National Technical University of Athens, Greece
    * Despoina Magka, Yahoo!, UK
    * Francisco Martin-Recuerda, Universidad Politécnica de Madrid, Spain
    * Christian Meilicke, University of Mannheim, Germany
    * Julian Mendez, TU Dresden, Germany
    * Maria del Mar Roldán García, Universidad de Malaga, Spain
    * Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands
    * Jörg Schönfisch, Softplant GmbH, Germany
    * Weihong Song, University of New Brunswick, Canada
    * Kavitha Srinivas, IBM Research, USA
    * Dmitry Tsarkov, University of Manchester, UK
    * Zhe Wang, Griffith University



--
Ernesto Jiménez-Ruiz
Research Assistant
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road, Oxford OX1 3QD, UK

http://krono.act.uji.es/people/Ernesto
http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/


Mario Pavone | 26 Mar 13:19 2014
Picon

SSBSS 2014 News & 2nd CfP - Biology meets Engineering & Computer Science, Taormina - Sicily, Italy, June 15-19, 2014


2nd Call for Participation (apologies for multiple copies)
______________________________________________________

Synthetic and Systems Biology Summer School: Biology meets Engineering  
and Computer Science,
Taormina - Sicily, Italy, June 15-19, 2014

http://www.taosciences.it/ssbss2014/
ssbss2014@...

We are pleased to inform that we received more than 120 applications  
and 60 Abstracts/Posters and, due to many requests, we are extending  
the application *deadline to March 31, 2014.* For this reason, we will  
have up to ~150 slots (no 100 slots as previously written) for  
selected and motivated students.

*Application Deadline: March 31, 2014*

* Speakers & Courses *
+ Uri Alon, Weizmann Institute of Science, Israel
          Lecture I: Elementary Circuits in Biology
          Lecture II: Evolution and Optimality of Gene Circuits

+ Joel Bader, Johns Hopkins University, USA
          Lecture I: Network Remodeling during Development and Disease
          Lecture II: Gene and Pathway Analysis of Genome-wide  
Association Studies

+ Jef Boeke, Johns Hopkins University, USA
          Lecture I: Genome Synthesis
          Lecture II: Combinatorial DNA Assembly methods and their applications

+ Jason Chin, MRC Laboratory of Molecular Biology, UK
          Lecture I: Reprogramming the Genetic Code

+ Virginia Cornish, Columbia University, USA
          Lecture : TBA

+ Paul Freemont, Imperial College London, UK
          Lecture I: Foundational Technologies for Synthetic Biology -  
from DNA Assembly to Part Characterisation
          Lecture II: Synthetic biology designs for biosensor applications

+ Farren Isaacs, Yale University, USA
          Lecture I: Genome engineering technologies for rapid editing  
& evolution organisms
          Lecture II: Design, construction & function of genomically  
recoded organisms

+ Tanja Kortemme, University of California San Francisco, USA
          Lecture I: Computational protein design - principles,  
challenges and progress
          Lecture II: Design of reprogrammed and new functions - from  
proteins to cells

+ Giuseppe Nicosia, University of Catania, Italy
          Lecture I: Biological Circuit Design by Pareto Optimality
          Lecture II: Programming Living Molecular Machines for  
Biofuel Production

+ Sven Panke, ETH, Switzerland
          Lecture I: Synthetic Biology of Cell free Systems
          Lecture II: Exploiting Engineered Cell-Cell Communications  
in Large Scale Biotechnology

+ Rahul Sarpeshkar, MIT, USA
          Lecture I: Analog versus Digital Computation in Biology
          Lecture II: Analog Synthetic and Systems Biology

+ Giovanni Stracquadanio, Johns Hopkins University, USA
          Lecture I: Minimal Genomes: High-Throughput Sequencing,  
Statistical Methods and Physics Models to Unveil Minimal Yeast  
Chromosomes Compatible with Life
          Lecture II: Computational Tools for Genome editing,  
Combinatorial Assembly and Workflow Tracking

+ Ron Weiss, MIT, USA
          Lecture : TBA

*School Directors*
+ Jef Boeke, Johns Hopkins University, USA
+ Giuseppe Nicosia, University of Catania, Italy
+ Mario Pavone, University of Catania, Italy
+ Giovanni Stracquadanio, Johns Hopkins University, USA

*Short Talk and Poster Submission*
Students may submit a research abstract for presentation. School  
directors will review the abstracts and will recommend for poster or  
short-oral presentation. Abstract should be submitted by *February 15,  
2014*. The abstracts will be published on the electronic hands-out  
material of the summer school.

Co-located Event: The 3rd International Synthetic Yeast Genome (Sc2.0)  
Meeting will be held in Taormina Friday June 20, 2014

http://www.taosciences.it/ssbss2014/                                    
                                      ssbss2014@...

-- 
Dr. Mario Pavone (PhD)
Assistant Professor
Department of Mathematics and Computer Science
University of Catania
V.le A. Doria 6 - 95125 Catania, Italy
tel: 0039 095 7383038
fax: 0039 095 330094
Email: mpavone@...
http://www.dmi.unict.it/mpavone/
===========================================================================
International Synthetic & Systems Biology Summer School
* Biology meets Engineering and Computer Science *
June 15-19, 2014 - Taormina, Italy
http://www.taosciences.it/ssbss2014/
===========================================================================
12th European Conference on Artificial Life - ECAL 2013
September 2-6, 2013 - Taormina, Italy
http://mitpress.mit.edu/books/advances-artificial-life-ecal-2013
===========================================================================

Mario Pavone | 26 Mar 13:15 2014
Picon

SSBSS 2014 News & 2nd CfP - Biology meets Engineering & Computer Science, Taormina - Sicily, Italy, June 15-19, 2014


2nd Call for Participation (apologies for multiple copies)
______________________________________________________

Synthetic and Systems Biology Summer School: Biology meets Engineering  
and Computer Science,
Taormina - Sicily, Italy, June 15-19, 2014

http://www.taosciences.it/ssbss2014/
ssbss2014@...

We are pleased to inform that we received more than 120 applications  
and 60 Abstracts/Posters and, due to many requests, we are extending  
the application *deadline to March 31, 2014.* For this reason, we will  
have up to ~150 slots (no 100 slots as previously written) for  
selected and motivated students.

*Application Deadline: March 31, 2014*

* Speakers & Courses *
+ Uri Alon, Weizmann Institute of Science, Israel
         Lecture I: Elementary Circuits in Biology
         Lecture II: Evolution and Optimality of Gene Circuits

+ Joel Bader, Johns Hopkins University, USA
         Lecture I: Network Remodeling during Development and Disease
         Lecture II: Gene and Pathway Analysis of Genome-wide  
Association Studies

+ Jef Boeke, Johns Hopkins University, USA
         Lecture I: Genome Synthesis
         Lecture II: Combinatorial DNA Assembly methods and their applications

+ Jason Chin, MRC Laboratory of Molecular Biology, UK
         Lecture I: Reprogramming the Genetic Code

+ Virginia Cornish, Columbia University, USA
         Lecture : TBA

+ Paul Freemont, Imperial College London, UK
         Lecture I: Foundational Technologies for Synthetic Biology -  
from DNA Assembly to Part Characterisation
         Lecture II: Synthetic biology designs for biosensor applications

+ Farren Isaacs, Yale University, USA
         Lecture I: Genome engineering technologies for rapid editing  
& evolution organisms
         Lecture II: Design, construction & function of genomically  
recoded organisms

+ Tanja Kortemme, University of California San Francisco, USA
         Lecture I: Computational protein design - principles,  
challenges and progress
         Lecture II: Design of reprogrammed and new functions - from  
proteins to cells

+ Giuseppe Nicosia, University of Catania, Italy
         Lecture I: Biological Circuit Design by Pareto Optimality
         Lecture II: Programming Living Molecular Machines for Biofuel  
Production

+ Sven Panke, ETH, Switzerland
         Lecture I: Synthetic Biology of Cell free Systems
         Lecture II: Exploiting Engineered Cell-Cell Communications in  
Large Scale Biotechnology

+ Rahul Sarpeshkar, MIT, USA
         Lecture I: Analog versus Digital Computation in Biology
         Lecture II: Analog Synthetic and Systems Biology

+ Giovanni Stracquadanio, Johns Hopkins University, USA
         Lecture I: Minimal Genomes: High-Throughput Sequencing,  
Statistical Methods and Physics Models to Unveil Minimal Yeast  
Chromosomes Compatible with Life
         Lecture II: Computational Tools for Genome editing,  
Combinatorial Assembly and Workflow Tracking

+ Ron Weiss, MIT, USA
         Lecture : TBA

*School Directors*
+ Jef Boeke, Johns Hopkins University, USA
+ Giuseppe Nicosia, University of Catania, Italy
+ Mario Pavone, University of Catania, Italy
+ Giovanni Stracquadanio, Johns Hopkins University, USA

*Short Talk and Poster Submission*
Students may submit a research abstract for presentation. School  
directors will review the abstracts and will recommend for poster or  
short-oral presentation. Abstract should be submitted by *February 15,  
2014*. The abstracts will be published on the electronic hands-out  
material of the summer school.

Co-located Event: The 3rd International Synthetic Yeast Genome (Sc2.0)  
Meeting will be held in Taormina Friday June 20, 2014

http://www.taosciences.it/ssbss2014/                                    
                                      ssbss2014@...

-- 
Dr. Mario Pavone (PhD)
Assistant Professor
Department of Mathematics and Computer Science
University of Catania
V.le A. Doria 6 - 95125 Catania, Italy
tel: 0039 095 7383038
fax: 0039 095 330094
Email: mpavone@...
http://www.dmi.unict.it/mpavone/
===========================================================================
International Synthetic & Systems Biology Summer School
* Biology meets Engineering and Computer Science *
June 15-19, 2014 - Taormina, Italy
http://www.taosciences.it/ssbss2014/
===========================================================================
12th European Conference on Artificial Life - ECAL 2013
September 2-6, 2013 - Taormina, Italy
http://mitpress.mit.edu/books/advances-artificial-life-ecal-2013
===========================================================================

Adrian Paschke | 25 Mar 11:27 2014
Picon
Picon

CfP: 8th International Web Rule Symposium (RuleML 2014)

RuleML 2014 - one week to abstract submission deadline

 

Apologies for cross-postings. Please send to interested colleagues.

 

Call for Papers 8th International Web Rule Symposium (RuleML 2014)

In conjunction with ECAI 2014, the 21st European Conference on Artificial Intelligence

Prague, Czech Republic, August 18-20, 2014.

http://2014.ruleml.org

 

Important Dates

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

Abstract submission: 31 March 2014

Paper submission: 8 April 2014

Notification: 20 May 2014

Camera ready: 6 June 2014

RuleML 2014 dates: 18-20 August 2014

 

Keynotes and Tutorials

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

* Rules, Events and Actions in Semantic Complex Event Processing, by Adrian Paschke, Freie Universität Berlin

* Rule-based Clinical Decision Support, Jürgen Angele, Jürgen Angele, Semedy AG, Zug, Switzerland

* Tutorial on Rule Learning, by Johannes Fuernkraz, TU Darmstadt

http://2014.ruleml.org/keynotes-tutorials

 

Special Tracks

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

* Rules and Human Language Technology

http://2014.ruleml.org/rules-and-human-language-technology

* Learning (Business) Rules from Data

http://2014.ruleml.org/learning-business-rules-from-data

* Legal Rules and Norms

http://2014.ruleml.org/legal-rules-and-norms

 

RuleML 2014  is also hosting

* The 4th RuleML Doctoral Consortium: http://2014.ruleml.org/dc

* The 6th International Rule Challenge: http://2014.ruleml.org/challenge

* The Face-to-Face LegalRuleML OASIS TC meeting

 

Awards

======

At a special session of RuleML 2014, we will present the following awards:

* RuleML Best Paper and Runner-up Awards

 * Rule Challenge Best System and Runner-up Awards

* Doctoral Consortium Best Paper and Runner-up Awards

 

Topics

======

We invite high-quality submissions related (but not limited) to the special tracks and to the following topics:

- Rules and automated reasoning

- Rule-based policies, reputation, and trust

- Rule-based event processing and reaction rules

- Rules and the Web

- Rule discovery from data

- Fuzzy rules and uncertainty

- Logic programming and nonmonotonic reasoning

- Non-classical logics and the Web (e.g. modal, especially deontic and epistemic, logics)

- Hybrid methods for combining rules and statistical machine learning techniques (e.g., conditional random fields, Probabilistic Soft Logic)

- Rule transformation, extraction, and learning

- Vocabularies, ontologies, and business rules

- Rule markup languages and rule interchange formats

- Rule-based distributed/multi-agent systems

- Rules, agents, and norms

- Rule-based communication, dialogue, and argumentation models

- Rule-based data integration

- Vocabularies and ontologies for pragmatic primitives (e.g. speech acts and deontic primitives)

- Pragmatic web reasoning and distributed rule inference / rule execution

- Rules in online market research and online marketing

- Applications of rule technologies in health care and life sciences

- Industrial applications of rules

- Rules and business process compliance checking

- Standards activities related to rules

- Rules and social media

- General rule topics

 

Submission Guidelines

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

Papers must be original contributions written in English and must be submitted at

http://www.easychair.org/conferences/?conf=ruleml2014 as:

* Full Papers (15 pages in the proceedings)

* Short Papers (8 pages in the proceedings)

 

Accepted papers will be published in book form in the Springer Lecture Notes in Computer Science (LNCS) series. A selection of the best papers will be invited to be revised and extended for the post-conference publication in a Special Issue of TPLP (Theory and Practice of Logic Programming).

 

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

Website: http://2014.ruleml.org

Twitter hashtag: #ruleml2014

Blog: http://blog.ruleml.org

Call for papers: http://2014.ruleml.org/call-for-papers

 

 


Gmane