Dimitris Kontokostas | 16 Jan 16:16 2015
Picon

[CfP] Linked Data Quality #LDQ2015 Call for Papers

LDQ 2015 CALL FOR PAPERS

2nd Workshop on Linked Data Quality
co-located with ESWC 2015, Portorož, Slovenia

May 31 or June 1, 2015
http://ldq.semanticmultimedia.org/

Important Dates
  * Submission of research papers: March 6, 2015
  * Notification of paper acceptance: April 3, 2015
  * Submission of camera-ready papers: April 17, 2015

Since the start of the Linked Open Data (LOD) Cloud, we have seen an 
unprecedented volume of structured data published on the web, in most 
cases as RDF and Linked (Open) Data. The integration across this LOD 
Cloud, however, is hampered by the ‘publish first, refine later’ 
philosophy. This is due to various quality problems existing in the 
published data such as incompleteness, inconsistency, 
incomprehensibility, etc. These problems affect every application 
domain, be it scientific (e.g., life science, environment), 
governmental, or industrial applications.

We see linked datasets originating from crowdsourced content like 
Wikipedia and OpenStreetMap such as DBpedia and LinkedGeoData and also 
from highly curated sources e.g. from the library domain. Quality is 
defined as “fitness for use”, thus DBpedia currently can be appropriate 
for a simple end-user application but could never be used in the medical 
domain for treatment decisions. However, quality is a key to the success 
of the data web and a major barrier for further industry adoption.
(Continue reading)

Sebastian Hellmann | 15 Jan 09:57 2015
Picon

SEMANTiCS 2015, Vienna, Call for Research & Innovation Papers

Apologies for cross-posting

Call for Research & Innovation Papers

Call for Research & Innovation Papers
SEMANTiCS 2015

Transfer // Engineering // Community

11th International Conference on Semantic Systems

Vienna, Austria September 15-17, 2015

http://www.semantics.cc

Important Dates (Research & Innovation)

  • Abstract Submission Deadline:            May 22, 2015
  • Paper Submission Deadline:                May 29, 2015
  • Notification of Acceptance:                 June 26, 2015
  • Camera-Ready Paper:                         July 15 , 2015

SEMANTiCS proceedings will be published by ACM ICP.

Submissions via Easychair: https://easychair.org/conferences/?conf=semantics2015research 

The calls for “Industry & Use Case Presentations” and “Posters and Demos” at SEMANTiCS 2015 can be found here:http://www.semantics.cc/

The annual SEMANTiCS conference is the meeting place for professionals who make semantic computing work, who understand its benefits and encounter its limitations. Every year, SEMANTiCS attracts information managers, IT-architects, software engineers and researchers from organisations ranging from NPOs, through public administrations to the largest companies in the world. Attendees learn from industry experts and top researchers about emerging trends and topics in the fields of semantic software, enterprise data, linked data & open data strategies, methodologies in knowledge modelling and text & data analytics. The SEMANTiCS community is highly diverse; attendees have responsibilities in interlinking areas like knowledge management, technical documentation, e-commerce, big data analytics, enterprise search, document management, business intelligence and enterprise vocabulary management.

The success of last year’s conference in Leipzig with more than 230 attendees from 22 countries proves that SEMANTiCS 2015 will continue a long tradition of bringing together colleagues from around the world. There will be presentations on industry implementations, use case prototypes, best practices, panels, papers and posters to discuss semantic systems in birds-of-a-feather sessions as well as informal settings. SEMANTICS addresses problems common among information managers, software engineers, IT-architects and various specialist departments working to develop, implement and/or evaluate semantic software systems.

The SEMANTiCS program is a rich mix of technical talks, panel discussions of important topics and presentations by people who make things work - just like you. In addition, attendees can network with experts in a variety of fields. These relationships provide great value to organisations as they encounter subtle technical issues in any stage of implementation. The expertise gained by SEMANTiCS attendees has a long-term impact on their careers and organisations. These factors make SEMANTiCS for our community the major industry related event across Europe.

The following ‘horizontals’ (research) and ‘verticals’ (industries) topics are of interest:

  • Business Models, Governance & Data Strategies
  • Knowledge Discovery & Intelligent Search
  • Data Integration & Enterprise Linked Data
  • Big Data & Text Analytics
  • Data Portals & Knowledge Visualization
  • Semantic Information Management
  • Document Management & Content Management
  • Terminology, Thesaurus & Ontology Management

  • Industry & Engineering
  • Life Sciences & Health Care
  • Public Administration
  • Galleries, Libraries, Archives & Museums (GLAM)
  • Media, Publishing & Advertising
  • Financial & Insurance Industry
  • Telecommunications
  • Energy, Transport & Environment

Research / Innovation Papers

The Research & Innovation track at SEMANTiCS welcomes the submission of papers on novel scientific research and/or innovations relevant to the topics of the conference. Submissions must be original and must not have been submitted for publication elsewhere. Papers should follow the ACM ICPS guidelines for formatting (http://www.acm.org/sigs/publications/proceedings-templates) and must not exceed 8 pages in lenght for full papers and 4 pages for short papers, including references and optional appendices.

All accepted full papers and short papers will be published in the digital library of the ACM ICP Series under the ISBN-No.: 978-1-4503-1972-0. Research & Innovation papers should be submitted through EasyChair at: https://easychair.org/conferences/?conf=semantics2015research.  Papers must be submitted in PDF (Adobe's Portable Document Format) format. Other formats will not be accepted. For the camera-ready version, the source files (Latex, Word Perfect, Word) will also be needed.

Important Dates (Research & Innovation)

  • Abstract Submission Deadline:            May 22, 2015
  • Paper Submission Deadline:                May 29, 2015
  • Notification of Acceptance:                 June 26, 2015
  • Camera-Ready Paper:                         July 15 , 2015

Research and Innovation Chairs:

Sebastian Hellmann, AKSW, Universität Leipzig

Josiane Xavier Parreira, Siemens AG Österreich

Programme Committee:

to be announced

SEMANTiCS 2015 Organisation Committee:

  • Axel Polleres, Conference Chair
  • Tassilo Pellegrini, Conference Chair
  • Christian Dirschl, Industry Chair
  • Sebastian Hellmann, Research & Innovation Chair
  • Josiane Xavier Parreira, Research & Innovation Chair
  • Agata Filipowska, Poster and Demo Chair
  • Ruben Verborgh, Poster and Demo Chair
  • Anna Fensel, Workshop Chair


.lst-kix_7g7ia5jnxtae-3>li:before{content:"\0025cf "}.lst-kix_bayku4my656n-7>li:before{content:"\0025cb "}.lst-kix_o4f6yhrsmae-8>li:before{content:"\0025a0 "}.lst-kix_86d3vit5oy4g-2>li:before{content:"\0025a0 "}.lst-kix_bek2tlq82u7d-1>li:before{content:"\0025cb "}.lst-kix_p0jw7bqwbcxu-7>li:before{content:"\0025cb "}.lst-kix_h6xdess9vj51-1>li:before{content:"\0025cf "}.lst-kix_h4lpho6kczb8-8>li:before{content:"\0025a0 "}.lst-kix_eafw65sx3qpl-6>li:before{content:"\0025cf "}.lst-kix_e29curetjrih-8>li:before{content:"\0025a0 "}.lst-kix_bek2tlq82u7d-4>li:before{content:"\0025cb "}.lst-kix_t8wqyk5lnlrw-0>li:before{content:"\0025cf "}ul.lst-kix_86d3vit5oy4g-2{list-style-type:none}ul.lst-kix_bek2tlq82u7d-8{list-style-type:n one}.lst-kix_orxr1da3lafr-6>li:before{content:"\0025cf "}ul.lst-kix_86d3vit5oy4g-1{list-style-type:none}ul.lst-kix_86d3vit5oy4g-0{list-style-type:none}.lst-kix_xkygdw03jku-2>li:before{content : "\0025a0 "}.lst-kix_emp0j175td61-7>li:before{content:"\0025cb "}.lst-kix_sncmm0io4per-2>li:before{content:"\0025a0 "}.lst-kix_qsantab02fml-5>li:before{content:"\0025a0 "}.lst-kix_t8wqyk5lnlrw-4>li:before{content:"\0025cb "}.lst-kix_orxr1da3lafr-3>li:before{content:"\0025cf "}.lst-kix_o4f6yhrsmae-1>li:before{content:"\0025cb "}.lst-kix_e29curetjrih-7>li:before{content:"\0025cb "}.lst-kix_h4lpho6kczb8-2>li:before{content:"\0025a0 "}.lst-kix_t8wqyk5lnlrw-2>li:before{content:"\0025a0 "}.lst-kix_t7uoftwwbs90-8>li:before{content:"\0025a0 "}.lst-kix_86d3vit5oy4g-0>li:before{content:"\0025cf "}.lst-kix_n4vt13zf6m0g-6>li:before{content:"\0025cf "}.lst-kix_si85fotzw7d-1>li:before{content:"\0025cf "}.lst-kix_o4f6yhrsmae-3>li:before{content:"\002 5cf "}.lst-kix_trgpmfe35xtn-0>li:before{content:"\0025cf "}.lst-kix_hewda61g3odd-4>li:before{content:"\0025cb "}.lst-kix_wpq3z3d4dhnk-0>li:before{content:"\0025cf "}.lst-kix_t7uoftwwbs9 0 -3>li:before{content:"\0025cf "}.lst-kix_7g7ia5jnxtae-4>li:before{content:"\0025cb "}.lst-kix_bayku4my656n-5>li:before{content:"\0025a0 "}.lst-kix_p0jw7bqwbcxu-2>li:before{content:"\0025a0 "}.lst-kix_rbwcw0mx5bi0-8>li:before{content:"\0025a0 "}.lst-kix_si85fotzw7d-5>li:before{content:"\0025a0 "}.lst-kix_si85fotzw7d-4>li:before{content:"\0025cb "}ul.lst-kix_orxr1da3lafr-7{list-style-type:none}ul.lst-kix_orxr1da3lafr-6{list-style-type:none}ul.lst-kix_orxr1da3lafr-8{list-style-type:none}.lst-kix_rbwcw0mx5bi0-2>li:before{content:"\0025a0 "}ul.lst-kix_orxr1da3lafr-3{list-style-type:none}ul.lst-kix_orxr1da3lafr-2{list-style-type:none}ul.lst-kix_orxr1da3lafr-5{list-style-type:none}ul.lst-kix_orxr1da3lafr-4{list-style-type:none}.lst-kix_sncmm0io4per-0>li:before{c ontent:"\0025cf "}.lst-kix_sncmm0io4per-3>li:before{content:"\0025cf "}ul.lst-kix_orxr1da3lafr-1{list-style-type:none}.lst-kix_sncmm0io4per-6>li:before{content:"\0025cf "}ul.lst-kix_orxr1da 3 lafr-0{list-style-type:none}.lst-kix_uo7z3y9natfj-2>li:before{content:"\0025a0 "}.lst-kix_wkz4momvkltf-4>li:before{content:"\0025cb "}.lst-kix_n4vt13zf6m0g-0>li:before{content:"\0025cf "}.lst-kix_h4lpho6kczb8-5>li:before{content:"\0025a0 "}.lst-kix_h4lpho6kczb8-6>li:before{content:"\0025cf "}.lst-kix_n4vt13zf6m0g-2>li:before{content:"\0025a0 "}.lst-kix_n4vt13zf6m0g-8>li:before{content:"\0025a0 "}.lst-kix_rbwcw0mx5bi0-5>li:before{content:"\0025a0 "}.lst-kix_h6xdess9vj51-4>li:before{content:"\0025cb "}.lst-kix_t7uoftwwbs90-7>li:before{content:"\0025cb "}.lst-kix_t7uoftwwbs90-2>li:before{content:"\0025a0 "}ul.lst-kix_bayku4my656n-8{list-style-type:none}ul.lst-kix_bayku4my656n-7{list-style-type:none}ul.lst-kix_bayku4my656n-6{list-style-type:none}ul.l st-kix_bayku4my656n-5{list-style-type:none}ul.lst-kix_bayku4my656n-4{list-style-type:none}ul.lst-kix_bayku4my656n-3{list-style-type:none}ul.lst-kix_bayku4my656n-2{list-style-type:none}ul.lst-kix_bay k u4my656n-1{list-style-type:none}ul.lst-kix_bayku4my656n-0{list-style-type:none}.lst-kix_uijfxu3wn1rp-6>li:before{content:"\0025cf "}.lst-kix_wpq3z3d4dhnk-4>li:before{content:"\0025cb "}.lst-kix_emp0j175td61-1>li:before{content:"\0025cb "}.lst-kix_uo7z3y9natfj-5>li:before{content:"\0025a0 "}.lst-kix_si85fotzw7d-7>li:before{content:"\0025cb "}.lst-kix_wpq3z3d4dhnk-7>li:before{content:"\0025cb "}ul.lst-kix_o4f6yhrsmae-0{list-style-type:none}.lst-kix_n4vt13zf6m0g-5>li:before{content:"\0025a0 "}.lst-kix_bayku4my656n-6>li:before{content:"\0025cf "}ul.lst-kix_o4f6yhrsmae-3{list-style-type:none}ul.lst-kix_o4f6yhrsmae-4{list-style-type:none}ul.lst-kix_o4f6yhrsmae-1{list-style-type:none}ul.lst-kix_o4f6yhrsmae-2{list-style-type:none}.lst-kix_t7uoftwwbs90-1>li:before {content:"\0025cb "}ul.lst-kix_86d3vit5oy4g-8{list-style-type:none}.lst-kix_86d3vit5oy4g-8>li:before{content:"\0025a0 "}.lst-kix_o4f6yhrsmae-4>li:before{content:"\0025cb "}ul.lst-kix_o4f6yh r smae-7{list-style-type:none}ul.lst-kix_86d3vit5oy4g-7{list-style-type:none}ul.lst-kix_o4f6yhrsmae-8{list-style-type:none}ul.lst-kix_o4f6yhrsmae-5{list-style-type:none}ul.lst-kix_o4f6yhrsmae-6{list-style-type:none}ul.lst-kix_86d3vit5oy4g-4{list-style-type:none}ul.lst-kix_86d3vit5oy4g-3{list-style-type:none}.lst-kix_orxr1da3lafr-0>li:before{content:"\0025cf "}ul.lst-kix_86d3vit5oy4g-6{list-style-type:none}ul.lst-kix_86d3vit5oy4g-5{list-style-type:none}.lst-kix_oo6kba8i9xoe-1>li:before{content:"\0025cb "}.lst-kix_uijfxu3wn1rp-3>li:before{content:"\0025cf "}.lst-kix_e29curetjrih-5>li:before{content:"\0025a0 "}.lst-kix_xkygdw03jku-6>li:before{content:"\0025cf "}.lst-kix_n4vt13zf6m0g-3>li:before{content:"\0025cf "}.lst-kix_wkz4momvkltf-5>li:before{content:"\0025a0 "}. lst-kix_wpq3z3d4dhnk-8>li:before{content:"\0025a0 "}.lst-kix_o4f6yhrsmae-0>li:before{content:"\0025cf "}.lst-kix_hewda61g3odd-0>li:before{content:"\0025cf "}.lst-kix_uo7z3y9natfj-8>li : before{content:"\0025a0 "}ul.lst-kix_g6xp94roh2b5-0{list-style-type:none}ul.lst-kix_g6xp94roh2b5-1{list-style-type:none}.lst-kix_p0jw7bqwbcxu-4>li:before{content:"\0025cb "}ul.lst-kix_g6xp94roh2b5-2{list-style-type:none}ul.lst-kix_g6xp94roh2b5-3{list-style-type:none}ul.lst-kix_g6xp94roh2b5-4{list-style-type:none}.lst-kix_xkygdw03jku-0>li:before{content:"\0025cf "}.lst-kix_uo7z3y9natfj-4>li:before{content:"\0025cb "}.lst-kix_wpq3z3d4dhnk-1>li:before{content:"\0025cb "}.lst-kix_emp0j175td61-5>li:before{content:"\0025a0 "}.lst-kix_qsantab02fml-4>li:before{content:"\0025cb "}.lst-kix_emp0j175td61-6>li:before{content:"\0025cf "}.lst-kix_si85fotzw7d-3>li:before{content:"\0025cf "}.lst-kix_uo7z3y9natfj-6>li:before{content:"\0025cf "}ul.lst-kix_wkz4momvkltf-7{l ist-style-type:none}ul.lst-kix_wkz4momvkltf-8{list-style-type:none}.lst-kix_sncmm0io4per-1>li:before{content:"\0025cb "}ul.lst-kix_wkz4momvkltf-5{list-style-type:none}ul.lst-kix_wkz4momvkltf-6{l i st-style-type:none}.lst-kix_bek2tlq82u7d-5>li:before{content:"\0025a0 "}.lst-kix_g6xp94roh2b5-0>li:before{content:"\0025cf "}.lst-kix_orxr1da3lafr-1>li:before{content:"\0025cb "}.lst-kix_p0jw7bqwbcxu-5>li:before{content:"\0025a0 "}.lst-kix_eafw65sx3qpl-3>li:before{content:"\0025cf "}ul.lst-kix_wkz4momvkltf-0{list-style-type:none}ul.lst-kix_wkz4momvkltf-4{list-style-type:none}.lst-kix_si85fotzw7d-8>li:before{content:"\0025a0 "}.lst-kix_sncmm0io4per-4>li:before{content:"\0025cb "}ul.lst-kix_wkz4momvkltf-3{list-style-type:none}ul.lst-kix_wkz4momvkltf-2{list-style-type:none}ul.lst-kix_wkz4momvkltf-1{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-7{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-8{list-style-type:none}.lst-kix_7g7ia5jnxtae-6>li:before{content:"\0025cf "}.lst-kix_p0jw7bqwbcxu-0>li:before{content:"\0025cf "}ul.lst-kix_ezm824mp73do-7{list-style-type:none}ul.lst-kix_ezm824mp73do-8{list-style-type:none}.lst-kix_ezm824mp73do-4>li:before{content : "\0025cb "}ul.lst-kix_ezm824mp73do-5{list-style-type:none}ul.lst-kix_ezm824mp73do-6{list-style-type:none}.lst-kix_orxr1da3lafr-8>li:before{content:"\0025a0 "}ul.lst-kix_ezm824mp73do-4{list-style-type:none}ul.lst-kix_ezm824mp73do-3{list-style-type:none}.lst-kix_orxr1da3lafr-7>li:before{content:"\0025cb "}.lst-kix_p0jw7bqwbcxu-8>li:before{content:"\0025a0 "}ul.lst-kix_ezm824mp73do-2{list-style-type:none}ul.lst-kix_ezm824mp73do-1{list-style-type:none}ul.lst-kix_ezm824mp73do-0{list-style-type:none}.lst-kix_o4f6yhrsmae-5>li:before{content:"\0025a0 "}.lst-kix_wkz4momvkltf-0>li:before{content:"\0025cf "}.lst-kix_ezm824mp73do-2>li:before{content:"\0025a0 "}.lst-kix_sncmm0io4per-7>li:before{content:"\0025cb "}.lst-kix_uijfxu3wn1rp-1>li:before{content:"\0025cb "}.lst -kix_emp0j175td61-0>li:before{content:"\0025cf "}.lst-kix_eafw65sx3qpl-1>li:before{content:"\0025cb "}ul.lst-kix_uijfxu3wn1rp-7{list-style-type:none}ul.lst-kix_uijfxu3wn1rp-8{list-style-type : none}ul.lst-kix_uijfxu3wn1rp-5{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-2{list-style-type:none}ul.lst-kix_uijfxu3wn1rp-6{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-1{list-style-type:none}ul.lst-kix_uijfxu3wn1rp-3{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-0{list-style-type:none}ul.lst-kix_uijfxu3wn1rp-4{list-style-type:none}ul.lst-kix_uijfxu3wn1rp-1{list-style-type:none}ul.lst-kix_g6xp94roh2b5-8{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-6{list-style-type:none}ul.lst-kix_uijfxu3wn1rp-2{list-style-type:none}ul.lst-kix_g6xp94roh2b5-7{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-5{list-style-type:none}ul.lst-kix_g6xp94roh2b5-6{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-4{list-style-type:none}.lst-kix_si85fotzw7d-6>li:before{content:"\0025cf "}ul.lst-kix_uijfxu3wn1rp-0{list-sty le-type:none}ul.lst-kix_g6xp94roh2b5-5{list-style-type:none}ul.lst-kix_7g7ia5jnxtae-3{list-style-type:none}.lst-kix_rbwcw0mx5bi0-3>li:before{content:"\0025cf "}.lst-kix_eafw65sx3qpl-2>li:befo r e{content:"\0025a0 "}ul.lst-kix_rbwcw0mx5bi0-8{list-style-type:none}ul.lst-kix_rbwcw0mx5bi0-7{list-style-type:none}ul.lst-kix_rbwcw0mx5bi0-6{list-style-type:none}ul.lst-kix_rbwcw0mx5bi0-5{list-style-type:none}ul.lst-kix_rbwcw0mx5bi0-4{list-style-type:none}.lst-kix_uijfxu3wn1rp-2>li:before{content:"\0025a0 "}.lst-kix_h4lpho6kczb8-1>li:before{content:"\0025cb "}ul.lst-kix_rbwcw0mx5bi0-3{list-style-type:none}ul.lst-kix_rbwcw0mx5bi0-2{list-style-type:none}ul.lst-kix_rbwcw0mx5bi0-1{list-style-type:none}ul.lst-kix_rbwcw0mx5bi0-0{list-style-type:none}.lst-kix_emp0j175td61-3>li:before{content:"\0025cf "}.lst-kix_hewda61g3odd-8>li:before{content:"\0025a0 "}.lst-kix_h4lpho6kczb8-0>li:before{content:"\0025cf "}.lst-kix_trgpmfe35xtn-6>li:before{content:"\0025cf "}.lst-kix_h6xd ess9vj51-5>li:before{content:"\0025a0 "}.lst-kix_oo6kba8i9xoe-8>li:before{content:"\0025a0 "}.lst-kix_o4f6yhrsmae-2>li:before{content:"\0025a0 "}.lst-kix_qsantab02fml-1>li:before{cont e nt:"\0025cb "}.lst-kix_t8wqyk5lnlrw-1>li:before{content:"\0025cb "}.lst-kix_bayku4my656n-1>li:before{content:"\0025cb "}.lst-kix_g6xp94roh2b5-8>li:before{content:"\0025a0 "}.lst-kix_sncmm0io4per-5>li:before{content:"\0025a0 "}.lst-kix_xkygdw03jku-8>li:before{content:"\0025a0 "}.lst-kix_eafw65sx3qpl-4>li:before{content:"\0025cb "}.lst-kix_trgpmfe35xtn-5>li:before{content:"\0025a0 "}.lst-kix_trgpmfe35xtn-7>li:before{content:"\0025cb "}.lst-kix_eafw65sx3qpl-7>li:before{content:"\0025cb "}.lst-kix_qsantab02fml-8>li:before{content:"\0025a0 "}.lst-kix_xkygdw03jku-1>li:before{content:"\0025cb "}.lst-kix_h6xdess9vj51-7>li:before{content:"\0025cb "}.lst-kix_g6xp94roh2b5-5>li:before{content:"\0025a0 "}.lst-kix_7g7ia5jnxtae-2>li:before{content:" \0025a0 "}.lst-kix_n4vt13zf6m0g-1>li:before{content:"\0025cb "}.lst-kix_xkygdw03jku-3>li:before{content:"\0025cf "}.lst-kix_t7uoftwwbs90-4>li:before{content:"\0025cb "}ul.lst-kix_t8wqyk 5 lnlrw-0{list-style-type:none}ul.lst-kix_t8wqyk5lnlrw-1{list-style-type:none}ul.lst-kix_t8wqyk5lnlrw-2{list-style-type:none}ul.lst-kix_t8wqyk5lnlrw-3{list-style-type:none}ul.lst-kix_t8wqyk5lnlrw-4{list-style-type:none}ul.lst-kix_t8wqyk5lnlrw-5{list-style-type:none}.lst-kix_e29curetjrih-4>li:before{content:"\0025cb "}ul.lst-kix_t8wqyk5lnlrw-6{list-style-type:none}.lst-kix_h6xdess9vj51-0>li:before{content:"\0025cf "}ul.lst-kix_t8wqyk5lnlrw-8{list-style-type:none}ul.lst-kix_t7uoftwwbs90-7{list-style-type:none}ul.lst-kix_t8wqyk5lnlrw-7{list-style-type:none}ul.lst-kix_t7uoftwwbs90-6{list-style-type:none}ul.lst-kix_t7uoftwwbs90-8{list-style-type:none}.lst-kix_si85fotzw7d-0>li:before{content:"\0025cf "}ul.lst-kix_bek2tlq82u7d-0{list-style-type:none}.lst-kix_t7uoftwwbs90-5>li:before{ content:"\0025a0 "}ul.lst-kix_bek2tlq82u7d-1{list-style-type:none}.lst-kix_wkz4momvkltf-8>li:before{content:"\0025a0 "}ul.lst-kix_bek2tlq82u7d-2{list-style-type:none}ul.lst-kix_t7uoftwwbs90-1{l i st-style-type:none}ul.lst-kix_bek2tlq82u7d-3{list-style-type:none}ul.lst-kix_t7uoftwwbs90-0{list-style-type:none}ul.lst-kix_t7uoftwwbs90-3{list-style-type:none}ul.lst-kix_bek2tlq82u7d-4{list-style-type:none}ul.lst-kix_bek2tlq82u7d-5{list-style-type:none}ul.lst-kix_t7uoftwwbs90-2{list-style-type:none}ul.lst-kix_t7uoftwwbs90-5{list-style-type:none}.lst-kix_h4lpho6kczb8-3>li:before{content:"\0025cf "}ul.lst-kix_bek2tlq82u7d-6{list-style-type:none}ul.lst-kix_t7uoftwwbs90-4{list-style-type:none}ul.lst-kix_bek2tlq82u7d-7{list-style-type:none}ul.lst-kix_qsantab02fml-0{list-style-type:none}ul.lst-kix_qsantab02fml-1{list-style-type:none}ul.lst-kix_qsantab02fml-2{list-style-type:none}ul.lst-kix_qsantab02fml-3{list-style-type:none}ul.lst-kix_n4vt13zf6m0g-6{list-style-type:none}.lst-kix_p0jw7bqwbc xu-3>li:before{content:"\0025cf "}ul.lst-kix_n4vt13zf6m0g-5{list-style-type:none}.lst-kix_rbwcw0mx5bi0-0>li:before{content:"\0025cf "}ul.lst-kix_n4vt13zf6m0g-8{list-style-type:none}ul.lst-ki x _n4vt13zf6m0g-7{list-style-type:none}ul.lst-kix_n4vt13zf6m0g-2{list-style-type:none}ul.lst-kix_n4vt13zf6m0g-1{list-style-type:none}ul.lst-kix_n4vt13zf6m0g-4{list-style-type:none}ul.lst-kix_n4vt13zf6m0g-3{list-style-type:none}.lst-kix_qsantab02fml-2>li:before{content:"\0025a0 "}.lst-kix_g6xp94roh2b5-2>li:before{content:"\0025a0 "}.lst-kix_hewda61g3odd-3>li:before{content:"\0025cf "}ul.lst-kix_h4lpho6kczb8-2{list-style-type:none}.lst-kix_bek2tlq82u7d-0>li:before{content:"\0025cf "}ul.lst-kix_h4lpho6kczb8-3{list-style-type:none}ul.lst-kix_h4lpho6kczb8-0{list-style-type:none}ul.lst-kix_h4lpho6kczb8-1{list-style-type:none}ul.lst-kix_h4lpho6kczb8-6{list-style-type:none}.lst-kix_wkz4momvkltf-6>li:before{content:"\0025cf "}ul.lst-kix_h4lpho6kczb8-7{list-style-type:none}ul.lst-k ix_h4lpho6kczb8-4{list-style-type:none}.lst-kix_xkygdw03jku-5>li:before{content:"\0025a0 "}ul.lst-kix_h4lpho6kczb8-5{list-style-type:none}.lst-kix_orxr1da3lafr-2>li:before{content:"\0025a0 " } .lst-kix_wkz4momvkltf-2>li:before{content:"\0025a0 "}ul.lst-kix_si85fotzw7d-0{list-style-type:none}.lst-kix_oo6kba8i9xoe-6>li:before{content:"\0025cf "}.lst-kix_wkz4momvkltf-7>li:before{content:"\0025cb "}ul.lst-kix_si85fotzw7d-2{list-style-type:none}ul.lst-kix_si85fotzw7d-1{list-style-type:none}ul.lst-kix_si85fotzw7d-4{list-style-type:none}ul.lst-kix_si85fotzw7d-3{list-style-type:none}ul.lst-kix_si85fotzw7d-6{list-style-type:none}ul.lst-kix_si85fotzw7d-5{list-style-type:none}ul.lst-kix_si85fotzw7d-7{list-style-type:none}ul.lst-kix_n4vt13zf6m0g-0{list-style-type:none}ul.lst-kix_si85fotzw7d-8{list-style-type:none}.lst-kix_bayku4my656n-2>li:before{content:"\0025a0 "}.lst-kix_t8wqyk5lnlrw-3>li:before{content:"\0025cf "}.lst-kix_p0jw7bqwbcxu-1>li:before{content:"\0025cb "}.lst-kix_xkygdw03jku-7>li:before{content:"\0025cb "}.lst-kix_o4f6yhrsmae-7>li:before{content:"\0025cb "}.lst-kix_7g7ia5jnxtae-1>li:before{content:"\0025cb "}.lst-kix_h6xdess9vj51-6&gt ; li:before{content:"\0025cf "}.lst-kix_ezm824mp73do-7>li:before{content:"\0025cb "}.lst-kix_wpq3z3d4dhnk-2>li:before{content:"\0025a0 "}ul.lst-kix_p0jw7bqwbcxu-5{list-style-type:none}.lst-kix_86d3vit5oy4g-5>li:before{content:"\0025a0 "}ul.lst-kix_p0jw7bqwbcxu-6{list-style-type:none}ul.lst-kix_p0jw7bqwbcxu-7{list-style-type:none}ul.lst-kix_p0jw7bqwbcxu-8{list-style-type:none}ul.lst-kix_p0jw7bqwbcxu-4{list-style-type:none}ul.lst-kix_p0jw7bqwbcxu-3{list-style-type:none}ul.lst-kix_p0jw7bqwbcxu-2{list-style-type:none}ul.lst-kix_p0jw7bqwbcxu-1{list-style-type:none}ul.lst-kix_p0jw7bqwbcxu-0{list-style-type:none}.lst-kix_t8wqyk5lnlrw-8>li:before{content:"\0025a0 "}.lst-kix_e29curetjrih-1>li:before{content:"\0025cb "}.lst-kix_emp0j175td61-4>li:before{content:"\0025cb "}.lst- kix_hewda61g3odd-6>li:before{content:"\0025cf "}ul.lst-kix_qsantab02fml-8{list-style-type:none}ul.lst-kix_qsantab02fml-7{list-style-type:none}ul.lst-kix_qsantab02fml-6{list-style-type:none}ul.ls t -kix_qsantab02fml-5{list-style-type:none}.lst-kix_sncmm0io4per-8>li:before{content:"\0025a0 "}ul.lst-kix_qsantab02fml-4{list-style-type:none}ul.lst-kix_trgpmfe35xtn-1{list-style-type:none}ul.lst-kix_trgpmfe35xtn-0{list-style-type:none}ul.lst-kix_e29curetjrih-0{list-style-type:none}ul.lst-kix_e29curetjrih-1{list-style-type:none}ul.lst-kix_e29curetjrih-2{list-style-type:none}ul.lst-kix_trgpmfe35xtn-5{list-style-type:none}ul.lst-kix_e29curetjrih-3{list-style-type:none}ul.lst-kix_trgpmfe35xtn-4{list-style-type:none}ul.lst-kix_e29curetjrih-4{list-style-type:none}ul.lst-kix_trgpmfe35xtn-3{list-style-type:none}ul.lst-kix_e29curetjrih-5{list-style-type:none}ul.lst-kix_trgpmfe35xtn-2{list-style-type:none}ul.lst-kix_e29curetjrih-6{list-style-type:none}.lst-kix_uo7z3y9natfj-0>li:before{content :"\0025cf "}.lst-kix_qsantab02fml-3>li:before{content:"\0025cf "}.lst-kix_h6xdess9vj51-2>li:before{content:"\0025a0 "}ul.lst-kix_trgpmfe35xtn-8{list-style-type:none}ul.lst-kix_e29curetjrih- 8 {list-style-type:none}.lst-kix_trgpmfe35xtn-4>li:before{content:"\0025cb "}ul.lst-kix_e29curetjrih-7{list-style-type:none}ul.lst-kix_trgpmfe35xtn-6{list-style-type:none}ul.lst-kix_trgpmfe35xtn-7{list-style-type:none}.lst-kix_uijfxu3wn1rp-0>li:before{content:"\0025cf "}ul.lst-kix_uo7z3y9natfj-2{list-style-type:none}ul.lst-kix_uo7z3y9natfj-3{list-style-type:none}.lst-kix_p0jw7bqwbcxu-6>li:before{content:"\0025cf "}ul.lst-kix_uo7z3y9natfj-4{list-style-type:none}.lst-kix_uo7z3y9natfj-7>li:before{content:"\0025cb "}ul.lst-kix_uo7z3y9natfj-5{list-style-type:none}ul.lst-kix_uo7z3y9natfj-6{list-style-type:none}ul.lst-kix_uo7z3y9natfj-7{list-style-type:none}ul.lst-kix_uo7z3y9natfj-8{list-style-type:none}.lst-kix_h6xdess9vj51-8>li:before{content:"\0025a0 "}.lst-kix_bayku4my656n-4 >li:before{content:"\0025cb "}.lst-kix_hewda61g3odd-7>li:before{content:"\0025cb "}.lst-kix_qsantab02fml-6>li:before{content:"\0025cf "}.lst-kix_rbwcw0mx5bi0-7>li:before{content:"\002 5 cb "}.lst-kix_hewda61g3odd-1>li:before{content:"\0025cb "}ul.lst-kix_uo7z3y9natfj-1{list-style-type:none}ul.lst-kix_uo7z3y9natfj-0{list-style-type:none}ul.lst-kix_eafw65sx3qpl-8{list-style-type:none}ul.lst-kix_sncmm0io4per-3{list-style-type:none}ul.lst-kix_sncmm0io4per-2{list-style-type:none}ul.lst-kix_eafw65sx3qpl-6{list-style-type:none}ul.lst-kix_sncmm0io4per-5{list-style-type:none}ul.lst-kix_eafw65sx3qpl-7{list-style-type:none}ul.lst-kix_sncmm0io4per-4{list-style-type:none}.lst-kix_ezm824mp73do-1>li:before{content:"\0025cb "}ul.lst-kix_sncmm0io4per-7{list-style-type:none}ul.lst-kix_sncmm0io4per-6{list-style-type:none}.lst-kix_bek2tlq82u7d-2>li:before{content:"\0025a0 "}.lst-kix_bek2tlq82u7d-8>li:before{content:"\0025a0 "}ul.lst-kix_sncmm0io4per-8{list-style-type:none}.l st-kix_t7uoftwwbs90-0>li:before{content:"\0025cf "}.lst-kix_86d3vit5oy4g-4>li:before{content:"\0025cb "}ul.lst-kix_sncmm0io4per-1{list-style-type:none}.lst-kix_g6xp94roh2b5-3>li:before{co n tent:"\0025cf "}ul.lst-kix_sncmm0io4per-0{list-style-type:none}ul.lst-kix_xkygdw03jku-8{list-style-type:none}.lst-kix_bayku4my656n-8>li:before{content:"\0025a0 "}ul.lst-kix_hewda61g3odd-8{list-style-type:none}.lst-kix_ezm824mp73do-5>li:before{content:"\0025a0 "}ul.lst-kix_xkygdw03jku-5{list-style-type:none}ul.lst-kix_xkygdw03jku-4{list-style-type:none}ul.lst-kix_xkygdw03jku-7{list-style-type:none}ul.lst-kix_xkygdw03jku-6{list-style-type:none}ul.lst-kix_xkygdw03jku-1{list-style-type:none}ul.lst-kix_eafw65sx3qpl-1{list-style-type:none}ul.lst-kix_hewda61g3odd-2{list-style-type:none}ul.lst-kix_xkygdw03jku-0{list-style-type:none}ul.lst-kix_eafw65sx3qpl-0{list-style-type:none}ul.lst-kix_hewda61g3odd-3{list-style-type:none}ul.lst-kix_xkygdw03jku-3{list-style-type:none}.lst-kix_wpq3z3d4dh nk-5>li:before{content:"\0025a0 "}ul.lst-kix_hewda61g3odd-0{list-style-type:none}ul.lst-kix_xkygdw03jku-2{list-style-type:none}ul.lst-kix_hewda61g3odd-1{list-style-type:none}ul.lst-kix_eafw65sx3 q pl-5{list-style-type:none}ul.lst-kix_hewda61g3odd-6{list-style-type:none}ul.lst-kix_eafw65sx3qpl-4{list-style-type:none}ul.lst-kix_hewda61g3odd-7{list-style-type:none}ul.lst-kix_eafw65sx3qpl-3{list-style-type:none}ul.lst-kix_hewda61g3odd-4{list-style-type:none}ul.lst-kix_eafw65sx3qpl-2{list-style-type:none}ul.lst-kix_hewda61g3odd-5{list-style-type:none}.lst-kix_7g7ia5jnxtae-7>li:before{content:"\0025cb "}.lst-kix_rbwcw0mx5bi0-6>li:before{content:"\0025cf "}.lst-kix_rbwcw0mx5bi0-4>li:before{content:"\0025cb "}.lst-kix_86d3vit5oy4g-1>li:before{content:"\0025cb "}.lst-kix_uo7z3y9natfj-3>li:before{content:"\0025cf "}.lst-kix_ezm824mp73do-0>li:before{content:"\0025cf "}.lst-kix_t8wqyk5lnlrw-6>li:before{content:"\0025cf "}.lst-kix_t8wqyk5lnlrw-5>li:before{content:" \0025a0 "}.lst-kix_xkygdw03jku-4>li:before{content:"\0025cb "}.lst-kix_wkz4momvkltf-1>li:before{content:"\0025cb "}.lst-kix_bek2tlq82u7d-7>li:before{content:"\0025cb "}.lst-kix_bek2tlq8 2 u7d-3>li:before{content:"\0025cf "}ul.lst-kix_oo6kba8i9xoe-7{list-style-type:none}ul.lst-kix_oo6kba8i9xoe-8{list-style-type:none}.lst-kix_qsantab02fml-7>li:before{content:"\0025cb "}.lst-kix_uijfxu3wn1rp-8>li:before{content:"\0025a0 "}.lst-kix_wkz4momvkltf-3>li:before{content:"\0025cf "}.lst-kix_eafw65sx3qpl-8>li:before{content:"\0025a0 "}ul.lst-kix_oo6kba8i9xoe-6{list-style-type:none}.lst-kix_g6xp94roh2b5-4>li:before{content:"\0025cb "}ul.lst-kix_oo6kba8i9xoe-5{list-style-type:none}ul.lst-kix_oo6kba8i9xoe-4{list-style-type:none}ul.lst-kix_oo6kba8i9xoe-3{list-style-type:none}ul.lst-kix_oo6kba8i9xoe-2{list-style-type:none}ul.lst-kix_oo6kba8i9xoe-1{list-style-type:none}ul.lst-kix_oo6kba8i9xoe-0{list-style-type:none}.lst-kix_trgpmfe35xtn-2>li:before{content:"\0025a0 "}.lst-kix_uo7z3y9natfj-1>li:before{content:"\0025cb "}.lst-kix_wpq3z3d4dhnk-6>li:before{content:"\0025cf "}.lst-kix_7g7ia5jnxtae-5>li:before{content:"\0025a0 "}.lst-kix_emp0j175td61-2 & amp; amp; gt;li:before{content:"\0025a0 "}.lst-kix_e29curetjrih-0>li:before{content:"\0025cf "}.lst-kix_emp0j175td61-8>li:before{content:"\0025a0 "}.lst-kix_orxr1da3lafr-4>li:before{content:"\0025cb "}.lst-kix_g6xp94roh2b5-7>li:before{content:"\0025cb "}.lst-kix_eafw65sx3qpl-5>li:before{content:"\0025a0 "}.lst-kix_eafw65sx3qpl-0>li:before{content:"\0025cf "}.lst-kix_oo6kba8i9xoe-2>li:before{content:"\0025a0 "}.lst-kix_uijfxu3wn1rp-7>li:before{content:"\0025cb "}.lst-kix_wpq3z3d4dhnk-3>li:before{content:"\0025cf "}.lst-kix_hewda61g3odd-2>li:before{content:"\0025a0 "}.lst-kix_86d3vit5oy4g-7>li:before{content:"\0025cb "}.lst-kix_t8wqyk5lnlrw-7>li:before{content:"\0025cb "}.lst-kix_oo6kba8i9xoe-0>li:before{content:"\0025cf "}ul.lst-kix_h6xdess9vj51-3{ list-style-type:none}ul.lst-kix_h6xdess9vj51-4{list-style-type:none}.lst-kix_ezm824mp73do-6>li:before{content:"\0025cf "}ul.lst-kix_h6xdess9vj51-5{list-style-type:none}.lst-kix_7g7ia5jnxtae-8&gt ; li:before{content:"\0025a0 "}ul.lst-kix_h6xdess9vj51-6{list-style-type:none}.lst-kix_86d3vit5oy4g-6>li:before{content:"\0025cf "}ul.lst-kix_h6xdess9vj51-7{list-style-type:none}ul.lst-kix_h6xdess9vj51-8{list-style-type:none}.lst-kix_uijfxu3wn1rp-5>li:before{content:"\0025a0 "}.lst-kix_g6xp94roh2b5-1>li:before{content:"\0025cb "}.lst-kix_e29curetjrih-6>li:before{content:"\0025cf "}ul.lst-kix_wpq3z3d4dhnk-1{list-style-type:none}ul.lst-kix_wpq3z3d4dhnk-0{list-style-type:none}ul.lst-kix_wpq3z3d4dhnk-3{list-style-type:none}ul.lst-kix_wpq3z3d4dhnk-2{list-style-type:none}ul.lst-kix_wpq3z3d4dhnk-5{list-style-type:none}ul.lst-kix_wpq3z3d4dhnk-4{list-style-type:none}ul.lst-kix_wpq3z3d4dhnk-7{list-style-type:none}ul.lst-kix_wpq3z3d4dhnk-6{list-style-type:none}.lst-kix_qsantab02fml-0&g t;li:before{content:"\0025cf "}ul.lst-kix_wpq3z3d4dhnk-8{list-style-type:none}.lst-kix_7g7ia5jnxtae-0>li:before{content:"\0025cf "}.lst-kix_orxr1da3lafr-5>li:before{content:"\0025a0 "}ul.ls t -kix_emp0j175td61-0{list-style-type:none}ul.lst-kix_emp0j175td61-1{list-style-type:none}ul.lst-kix_emp0j175td61-2{list-style-type:none}ul.lst-kix_emp0j175td61-3{list-style-type:none}ul.lst-kix_emp0j175td61-4{list-style-type:none}.lst-kix_trgpmfe35xtn-1>li:before{content:"\0025cb "}ul.lst-kix_emp0j175td61-5{list-style-type:none}.lst-kix_n4vt13zf6m0g-7>li:before{content:"\0025cb "}ul.lst-kix_emp0j175td61-6{list-style-type:none}ul.lst-kix_emp0j175td61-7{list-style-type:none}ul.lst-kix_emp0j175td61-8{list-style-type:none}.lst-kix_t7uoftwwbs90-6>li:before{content:"\0025cf "}.lst-kix_hewda61g3odd-5>li:before{content:"\0025a0 "}.lst-kix_h4lpho6kczb8-7>li:before{content:"\0025cb "}.lst-kix_bayku4my656n-0>li:before{content:"\0025cf "}.lst-kix_g6xp94roh2b5-6>li:before{cont ent:"\0025cf "}.lst-kix_e29curetjrih-2>li:before{content:"\0025a0 "}.lst-kix_bayku4my656n-3>li:before{content:"\0025cf "}.lst-kix_oo6kba8i9xoe-3>li:before{content:"\0025cf "}.lst-kix_ez m 824mp73do-3>li:before{content:"\0025cf "}.lst-kix_ezm824mp73do-8>li:before{content:"\0025a0 "}.lst-kix_e29curetjrih-3>li:before{content:"\0025cf "}.lst-kix_oo6kba8i9xoe-5>li:before{content:"\0025a0 "}.lst-kix_rbwcw0mx5bi0-1>li:before{content:"\0025cb "}.lst-kix_h4lpho6kczb8-4>li:before{content:"\0025cb "}.lst-kix_o4f6yhrsmae-6>li:before{content:"\0025cf "}.lst-kix_86d3vit5oy4g-3>li:before{content:"\0025cf "}.lst-kix_oo6kba8i9xoe-7>li:before{content:"\0025cb "}.lst-kix_bek2tlq82u7d-6>li:before{content:"\0025cf "}.lst-kix_uijfxu3wn1rp-4>li:before{content:"\0025cb "}.lst-kix_trgpmfe35xtn-3>li:before{content:"\0025cf "}.lst-kix_si85fotzw7d-2>li:before{content:"\0025cf "}.lst-kix_trgpmfe35xtn-8>li:before{content:"\0025a0 "}.lst-kix_h6xdess 9vj51-3>li:before{content:"\0025cf "}ul.lst-kix_h6xdess9vj51-2{list-style-type:none}ul.lst-kix_h6xdess9vj51-1{list-style-type:none}ul.lst-kix_h6xdess9vj51-0{list-style-type:none}.lst-kix_n4vt13z f 6m0g-4>li:before{content:"\0025cb "}ul.lst-kix_h4lpho6kczb8-8{list-style-type:none}.lst-kix_oo6kba8i9xoe-4>li:before{content:"\0025cb "}ol{margin:0;padding:0}.c38{border-bottom-width:1pt;border-top-style:solid;width:538.6pt;border-right-style:solid;padding:5pt 5pt 5pt 5pt;border-bottom-color:#000000;border-top-width:1pt;border-bottom-style:solid;vertical-align:top;border-top-color:#000000;border-left-color:#000000;border-right-color:#000000;border-left-style:solid;border-right-width:1pt;border-left-width:1pt}.c10{list-style-position:inside;line-height:1.15;padding-top:0pt;text-indent:45pt;text-align:justify;direction:ltr;margin-left:9pt;padding-bottom:0pt}.c8{padding-left:0pt;line-height:1.15;padding-top:0pt;text-align:justify;direction:ltr;margin-left:36pt;padding-bottom:0pt}.c32{ line-height:1.15;padding-top:0pt;widows:2;orphans:2;margin-left:9pt;padding-bottom:0pt}.c3{line-height:1.15;padding-top:18pt;text-align:left;direction:ltr;margin-left:9pt;padding-bottom:4pt}.c16{ver t ical-align:baseline;color:#000000;font-style:normal;text-decoration:none;font-weight:normal}.c20{line-height:1.15;padding-top:18pt;direction:ltr;margin-left:9pt;padding-bottom:4pt}.c5{padding-top:14pt;text-align:justify;direction:ltr;padding-bottom:4pt}.c2{color:#1155cc;font-size:10pt;background-color:#ffffff;text-decoration:underline}.c0{color:#444444;font-size:9pt;background-color:#ffffff;font-family:"Verdana"}.c26{vertical-align:baseline;font-style:normal;text-decoration:none}.c11{padding-left:0pt;direction:ltr;margin-left:36pt}.c6{max-width:538.6pt;background-color:#ffffff;padding:28.3pt 28.3pt 28.3pt 28.3pt}.c35{margin-right:auto;border-collapse:collapse}.c4{font-size:10pt;background-color:#ffffff;font-family:"Verdana"}.c37{padding-top:10pt;padding-bottom:0pt;page-break-after:avoid}.c 28{font-size:16pt;font-family:"Trebuchet MS"}.c36{padding-top:0pt;padding-bottom:0pt}.c33{line-height:1.15;margin-left:9pt}.c39{font-size:11pt;font-family:"Arial"}.c21{margin:0;padding:0}.c29{color: # 000099;text-decoration:underline}.c1{color:inherit;text-decoration:inherit}.c15{color:#1155cc;text-decoration:underline}.c18{font-size:9pt;font-family:"Verdana"}.c9{font-size:10pt;font-family:"Verdana"}.c13{height:11pt;direction:ltr}.c30{padding-top:11pt;padding-bottom:2pt}.c7{color:#444444;font-weight:bold}.c23{direction:ltr;padding-bottom:6pt}.c22{background-color:#ffffff}.c12{text-align:justify}.c17{font-weight:bold}.c14{color:#444444}.c19{height:0pt}.c27{color:#222222}.c25{font-size:6pt}.c31{color:#333333}.c24{direction:ltr}.c34{font-size:10pt}.title{widows:2;padding-top:0pt;line-height:1.15;orphans:2;text-align:left;color:#000000;font-size:21pt;font-family:"Trebuchet MS";padding-bottom:0pt;page-break-after:avoid}.subtitle{widows:2;padding-top:0pt;line-height:1.15;orphans:2;text-align: left;color:#666666;font-style:italic;font-size:13pt;font-family:"Trebuchet MS";padding-bottom:10pt;page-break-after:avoid}li{color:#000000;font-size:11pt;font-family:"Arial"}p{color:#000000;font-siz e :11pt;margin:0;font-family:"Arial"}h1{widows:2;padding-top:10pt;line-height:1.15;orphans:2;text-align:left;color:#000000;font-size:16pt;font-family:"Trebuchet MS";padding-bottom:0pt;page-break-after:avoid}h2{widows:2;padding-top:10pt;line-height:1.15;orphans:2;text-align:left;color:#000000;font-size:13pt;font-family:"Trebuchet MS";font-weight:bold;padding-bottom:0pt;page-break-after:avoid}h3{widows:2;padding-top:8pt;line-height:1.15;orphans:2;text-align:left;color:#666666;font-size:12pt;font-family:"Trebuchet MS";font-weight:bold;padding-bottom:0pt;page-break-after:avoid}h4{widows:2;padding-top:8pt;line-height:1.15;orphans:2;text-align:left;color:#666666;font-size:11pt;text-decoration:underline;font-family:"Trebuchet MS";padding-bottom:0pt;page-break-after:avoid}h5{widows:2;padding-top:8pt ;line-height:1.15;orphans:2;text-align:left;color:#666666;font-size:11pt;font-family:"Trebuchet MS";padding-bottom:0pt;page-break-after:avoid}h6{widows:2;padding-top:8pt;line-height:1.15;orphans:2;t e xt-align:left;color:#666666;font-style:italic;font-size:11pt;font-family:"Trebuchet MS";padding-bottom:0pt;page-break-after:avoid}

Serge Autexier | 2 Dec 19:13 2014
Picon

CICM 2015: Call for Workshops

                     Call for Workshop Proposals

     CICM 2015 - Conference on Intelligent Computer Mathematics
                           July 13-17, 2015
       The George Washington University, Washington, D.C , USA
                 http://www.cicm-conference.org/2015

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

As   computers   and   communications  technology   advance,   greater
opportunities arise  for intelligent mathematical  computation.  While
computer  algebra, automated  deduction,  mathematical publishing  and
novel user interfaces individually have long and successful histories,
we are  now seeing  increasing opportunities  for synergy  among these
areas.  The Conference  on  Intelligent  Computer Mathematics  (CICM)
offer a venue for discussing these areas and their synergy.

CICM has been held annually as  a joint meeting since 2008, colocating
related conferences and  workshops to advance work  in these subjects.
Previous meetings have been held in Birmingham (U.K. 2008), Grand Bend
(Canada  2009), Paris  (France 2010),  Bertinoro (Italy  2011), Bremen
(Germany 2012), Bath (U.K. 2013) and Coimbra (Portugal, 2014).

This is a  call for proposals for  workshops to be held  at CICM 2015,
which will be held in Washington D.C. (USA), July 13-17 next year.

The principal tracks of the 2015 meeting will be

  Calculemus (Symbolic Computation and Mechanised Reasoning)
  DML (Towards a Digital Mathematics Library)
  MKM (Mathematical Knowledge Management)
  Systems and Data

Some of the workshops that have been held at past CICM meetings are:

  Automated Reasoning: Bridging the Gap between Theory and Practice
  Compact Computer Algebra
  Empirically Successful Automated Reasoning for Mathematics
  Intelligent Proof Search
  Mathematical user Interfaces
  OpenMath
  Pen-Based Mathematical Computation
  Programming languages for Mechanized Mathematics Systems
  SCIEnce
  The Notion of Proof

Proposals for workshops  to be held at CICM  2015 are solicited.  Both
well-established workshops and newer or brand new ones are encouraged.

Please provide the following information:

 + Workshop title.
 + Names and affiliations of organizers.
 + Brief description of workshop goals and/or topics.
 + Proposed workshop duration (half a day up to two days is possible).
 + If the workshop has met previously, please include the conference 
   affiliation for the previous meeting. If the workshop is new, 
   please indicate so.

CICM  will take  care  of copying  and  distributing informal  printed
proceedings for  workshops that  would like this  service, as  well as
permanently archived open access online proceedings with CEUR-WS.org.

All proposals should be sent via email to

             cicm-organizers <at> cs.bham.ac.uk

for consideration by the CICM 2015 organizers:

 Local Organization Chairs:    Bruce Miller    (NIST)
                               Abdou Youssef   (GWU, USA)
 General Program Chair:        Manfred Kerber  (U. Birmingham, UK)
 Calculemus Track Chair:       Jacques Carette (McMaster U., Canada)
 DML Track Chair:              Volker Sorge    (U. Birmingham, UK)
 MKM Track Chair:              Cezary Kaliszyk (U. Innsbruck, Austria)
 System & Data Chair:          Florian Rabe    (JUB, Germany)
 Workshop Chair:               Serge Autexier  (DFKI, Germany)

Important dates:

 Deadline for proposal submissions:                   January 23, 2015
 Acceptance/rejection notification:                   February 4, 2015
 Workshop dates:                                      July 13-17, 2015

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

Robert Hoehndorf | 29 Nov 14:27 2014
Picon

Postdoctoral positions available in Semantic Web technologies, ontology, knowledge and data mining in biology


Openings for up to three post-doctoral researchers are available in
the group of Robert Hoehndorf at the Computational Bioscience Research
Center, King Abdullah University of Science and Technology, Thuwal,
Saudi Arabia.

Start date: Earliest possible
Location: Thuwal, Saudi Arabia
Employment: Full-time
Duration: initial contract 1 year (renewable up to 3 years)

Applications should be received by 15 Dec 2014.

Job description:

We are seeking to fill up to three positions for postdoctoral
researchers in a new research group working on application of
ontologies and Semantic Web technologies in biology and biomedicine.

The researchers will work in the research group of Robert Hoehndorf
(http://www.kaust.edu.sa/faculty/hoehndorf.html), a research group
which is internationally recognized for their work in biomedical
ontologies, and which has strong collaborations with the University of
Cambridge, Stanford, and other leading research institutes.  The
postdoctoral research will work on one of the following projects:

1. informatics of phenotypes, with applications in biomedicine and
   biodiversity: the researcher will be responsible for developing
   integrated and linked knowledgebases of traits and phenotypes, in
   the area of disease, drug effect, model organisms, or biodiversity
   (with a particular focus on marine biodiversity); extending and
   developing analytical methods that can reveal information about
   genotype-phenotype-environment relations using these integrated
   knowledgebases; and application of these methods to biomedical and
   biodiversity datasets.

2. data and text mining with structured data; the researcher will
   develop and extend data and text mining methods to incorporate
   information from graph-structured datasets, in particular
   hierarchical graphs (ontologies); apply and evaluate these methods
   on biological datasets.

3. data integration in systems and synthetic biology; the researcher
   will be responsible for developing methods for integrating
   computational models in systems and synthetic biology with related
   datasets (e.g., bioactive compounds, phenotypes, disease), develop
   and apply knowledge discovery approaches to (1) reveal physiological
   functions of bioactive compounds in large interaction networks, and
   (2) find methods to perturb these networks to induce new
   functions.

The postdoctoral researchers will be responsible for carrying out the
research, including presentation of research results at conferences
and in scientific journals.

Expertise required:
- PhD in computer science, bioinformatics or a related field (obtained
  after 2009)
- Programming skills (preferably Java or C/C++, and at least one
  scripting language (Python, Perl, Groovy, etc.))
- Experience with Semantic Web technologies, in particular ontologies
  in biology and biomedicine

Desirable:
- Background/interest in formal logics, knowledge representation and
  reasoning
- Experience with OWL, RDF, SPARQL, Linked Data
- Experience with pathogenicity analysis and analysis of phenotype
  data, or experience in biodiversity informatics (for project 1)
- Experience with natural language processing, text mining,
  information extraction, and machine learning (for project 2)
- Experience with computational modelling frameworks in systems
  biology (for project 3)

Language requirements: English

Postdoctoral researchers are entitled to a competitive salary
(commensurate with the applicant's qualifications), free,
fully-furnished housing on the KAUST campus, free medical and life
insurance, free education at KAUST schools for the postdoctoral
researchers' children, and relocation allowance.

KAUST will be responsible for the actual recruiting decision,
appointment offers and employment benefits.

How to apply:

To apply, please send your CV, a list of publications, the names and
contact details of two referees, and a letter of motivation by email
to: robert.hoehndorf <at> kaust.edu.sa

Contact: 

For any questions related to the position, please contact Robert
Hoehndorf (robert.hoehndorf <at> kaust.edu.sa).

About KAUST:

King Abdullah University of Science and Technology (KAUST) is an
international, graduate-level research university dedicated to
inspiring a new age of scientific achievement in the Kingdom of Saudi
Arabia, in the region, and around the globe. As an independent,
merit-based institution, KAUST's pioneering matrix structure of
academic divisions and interdisciplinary research centers enables top
researchers from around the globe and across all cultures to work
together to solve challenging scientific and technological issues.

The KAUST global research and education networks support diverse
talents, both on its campus and at other premier universities and
research institutions, through collaborative research agreements,
grants, and student scholarship programs. KAUST, open to both men and
women from all around the world, is governed by an independent,
self-perpetuating Board of Trustees. The core campus, located on more
than 36 million square meters on the Red Sea at Thuwal, Saudi Arabia,
was inaugurated on the 23rd of September 2009.

Serge Autexier | 11 Nov 17:10 2014
Picon

First CFP CICM 2015

                              Call for Papers              

                Conference on Intelligent Computer Mathematics
                                 CICM 2015

                              13-17 July 2015
                            Washington DC, USA

Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information. Separate communities have developed to investigate and build
computer based systems for computer algebra, automated deduction, and
mathematical publishing as well as novel user interfaces. While all of these
systems excel in their own right, their integration can lead to synergies
offering significant added value. The Conference on Intelligent Computer
Mathematics (CICM) offers a venue for discussing and developing solutions 
to the great challenges posed by the integration of these diverse areas.

CICM has been held annually as a joint meeting since 2008, co-locating
related conferences and workshops to advance work in these
subjects. Previous meetings have been held in Birmingham (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014).

This is a (short version of the) call for papers for CICM 2015, which
will be held in Washington, D.C., 13-17 July 2015.

The full version of the CFP is available from the conference web page at
http://cicm-conference.org/2015/cicm.php

**********************************************************************
The principal tracks of the conference will be:
**********************************************************************

* Calculemus (Symbolic Computation and Mechanised Reasoning)
  Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
  Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
  Chair: Cezary Kaliszyk
* Systems and Data
  Chair: Florian Rabe

Publicity chair is Serge Autexier. The local arrangements will be
coordinated by the Local Arrangements Chairs, Bruce R. Miller
(National Institute of Standards and Technology, USA) and Abdou
Youssef (The George Washington University, Washington, D.C.), and the
overall programme will be organized by the General Programme Chair,
Manfred Kerber (U. Birmingham, UK).

As in previous years, it is anticipated that there will be a number
co-located workshops, including one to mentor doctoral students giving
presentations. We also solicit for project descriptions and
work-in-progress papers.

**********************************************************************
Important Dates
**********************************************************************

Conference submissions:
Abstract submission deadline:      16 February 2015
Submission deadline:               23 February 2015
Reviews sent to authors:            6 April    2015
Rebuttals due:                      9 April    2015
Notification of acceptance:        13 April    2015
Camera ready copies due:           27 April    2015
Conference:                     13-17 July     2015

Work-in-progress and Doctoral Programme submissions:
Submission deadline:
(Doctoral: Abstract+CV)             4 May      2015
Notification of acceptance:        25 May      2015
Camera ready copies due:            1 June     2015

More detailed information, e.g. on submission via EasyChair, can be found on
http://cicm-conference.org/2015/cicm.php

--
Serge Autexier, serge.autexier <at> dfki.de, http://www.dfki.de/~serge/
DFKI Bremen, Cyber-Physical Systems
MZH, Room 3120                             Phone: +49 421 218    59834
Bibliothekstr.1, D-28359 Bremen              Fax: +49 421 218 98 59834
----------------------------------------------------------------------
Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313 
----------------------------------------------------------------------

Steffen Lohmann | 15 Sep 10:56 2014
Picon

Updated CfP: Visualizations and User Interfaces for Knowledge Engineering

CALL FOR PAPERS

Visualizations and User Interfaces for Knowledge Engineering and Linked 
Data Analytics

International Workshop at EKAW 2014, 19th International Conference on 
Knowledge Engineering and Knowledge Management
November 24 or 25, 2014, Linköping, Sweden

http://linkedscience.org/events/visual2014/

--------------------------------------------------
Submission Deadline: September 30, 2014 (extended)
--------------------------------------------------

Motivation and Objectives
==========

With data continuously generated as a result of daily activities within 
organizations and new data sources (sensor streams, linked datasets, 
etc.) introduced within knowledge management, the growth of information 
is unprecedented. Providing knowledge engineers and data analysts with 
visualizations and well-designed user interfaces can significantly 
support understanding of the concepts, data instances and relationships 
of different domains.

The development of appropriate visualizations and user interfaces is a 
challenging task, given the size and complexity of the information that 
needs to be displayed and the varied backgrounds of the users. Further 
challenges emerge from technological developments and diverse 
application contexts. There is no "one size fits all" solution but the 
various use cases demand different visualization and interaction 
techniques. Ultimately, providing better visualizations and user 
interfaces will foster user engagement and likely lead to higher-quality 
results in different areas of knowledge engineering and linked data 
analytics.

This full-day workshop will be divided into two half-day tracks, one in 
the morning and the other in the afternoon, each focusing on one of the 
two workshop themes.

Track 1: Visualizations and User Interfaces for Knowledge Engineering
==========

Visualizations and user interfaces are an integral part of knowledge 
engineering. They help to bridge the gap between domain experts and data 
management, and are essential to handle the increasing diversity of 
knowledge that is being modeled in ontologies, ensuring that it is 
easily accessible to a wide community. As knowledge-based systems and 
ontologies grow in size and complexity, the demand for comprehensive 
visualization and optimized interaction also rises.

A number of knowledge visualizations have become available in recent 
years, with some being already well-established, particularly in the 
field of ontology development. In other areas of knowledge engineering, 
such as ontology alignment and debugging, although several tools have 
recently been developed, few have a user interface, not to mention 
navigational aids or comprehensive visualization techniques. Other 
activities, such as data integration, rely on the relationships between 
the concepts of different ontologies, which not only multiplies the 
number of objects to be displayed but also compounds the problem with 
the portrayal of different kinds of relationships between concepts.

Topics of interest in this track include (but are not limited to):

- visualizations for (large and complex) ontologies
- user interfaces for ontology alignment and debugging
- visualizations and user interfaces for non-experts
- applications of novel interaction techniques (e.g. touch and gesture 
interaction)
- user interfaces for mobile knowledge engineering
- requirements analysis for visualizations in knowledge engineering
- user interfaces assisting people with disabilities
- knowledge visualizations for large displays and high resolutions
- user interfaces for collaborative knowledge engineering
- case studies of applying visualizations in knowledge engineering
- user interfaces and visualizations for linked data
- context-aware visualization and interaction techniques

Track 2: Visualizations and User Interfaces for Linked Data Analytics
==========

New and traditional knowledge practices, digitization of organizational 
processes, high performance computing and affordable datastores create 
an unprecedented amount of data as a part of daily organizational 
activities, at break-neck speed in a variety of formats. Conventional 
systems struggle to capture, store and analyze such dynamic and large 
scale data continuously generated. On its own, raw data has little 
value, but its value and significance is only unleashed when the data is 
extracted, processed and interpreted.

Visual Analytics attempts to address this challenge by harmoniously 
combining the strengths of human processing and electronic data 
processing. While semi-automated processes result in generating 
visualizations, humans can use visual processing and interactions to 
quickly identify trends, patterns and anomalies from large volumes of 
visual data. The growing challenges of analyzing big data, social media, 
linked data, and data streams have created an excellent opportunity for 
research in Visual Analytics.

Topics of interest in this track include (but are not limited to):

- interactive semantic systems
- design of interactive systems
- visual pattern discovery
- (semi-)automatic hypothesis generation
- augmented human reasoning
- novel visualizations of data and metadata
- visual approaches for semantic similarity measurement
- exploratory information visualization
- domain-specific visual analytics
- interactive systems in business intelligence
- cognition and sensemaking in visual contexts
- evaluation of interactive systems

Submission Guidelines
==========

Paper submission and reviewing for this workshop will be electronic via 
EasyChair. The papers should be written in English, following Springer 
LNCS format, and be submitted in PDF.

The following types of contributions are welcome:

- Full research papers (8-12 pages);
- Experience papers (8-12 pages);
- Position papers (6-8 pages);
- Short research papers (4-6 pages);
- System papers (4-6 pages).

Accepted papers will be published as a volume in the CEUR Workshop 
Proceedings series.

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

- Submission: September 30, 2014
- Notification: October 21, 2014
- Camera-ready: November 11, 2014
- Workshop: November 24 or 25, 2014

Organizers
==========

- Valentina Ivanova, Linköping University, Sweden
- Tomi Kauppinen, Aalto University, Finland, and University of Bremen, 
Germany
- Steffen Lohmann, University of Stuttgart, Germany
- Suvodeep Mazumdar, The University of Sheffield, UK
- Catia Pesquita, University of Lisbon, Portugal
- Toomas Timpka, Linköping University, Sweden
- Kai Xu, Middlesex University, UK

Oscar Corcho | 8 Jul 23:10 2014
Picon
Picon

OrdRing2014 deadline extension (July 14th)

[apologies for cross-posting]

3rd International Workshop on Ordering and Reasoning (OrdRing2014)
October 19th/20th, 2014 - Riva del Garda, Trentino, Italy

Co-located with the 13th International Semantic Web Conference (ISWC 2014)

http://www.streamreasoning.org/events/ordring2014

NEWS
---------------
* Deadline Extended to 14.7.2014
* The two best papers of OrdRing2014 have the opportunity to be published
on Journal on Data Semantics.

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

Abstract submission deadline: still open
Paper submission deadline: July 14, 2014
Notification of acceptance: July 30, 2014

GOALS AND TOPICS
----------------

More and more applications require real-time processing of large,
dynamically generated, ordered data, where order captures essential
information about recency, proximity or relevance. Recency is crucial for
recognizing temporal events, as in complex event processing; proximity and
relevance are essential for ranking query answers, as in top-k query
answering. In some cases, orders are a natural, even unavoidable, aspect
of the data, which may constrain the ways in which we can access it. In
other cases, orders need to be derived by additional computations, and
then be enforced on the (unordered) input. While each of these scenarios
represents some unique challenges, all of them involve streams of data and
require us to reason about sequences of events. The goal of this workshop
is to explore this joint concept of ordered data processing.

Semantic technologies can play a relevant role in this setting, as they
provide the expressive power to integrate highly dynamic sources. This is
also witnessed by a number of recent works on order-related concepts, such
as Stream Reasoning and top-k ontological query answering. Stream and
rank-aware data management techniques are progressively providing reactive
and reliable query answering over massive datasets, while ontological
process models allow us to define meaningful patterns in event streams.
Related works range from applied topics, such as query optimization, to
foundational topics, such as temporal logics.

This workshop (as its predecessors in 2011 and 2013) aims at bringing
together this growing and very active community interested in integrating
ordering with reasoning by using methods inspired by stream and rank-aware
data management. It thus aims to stimulate and guide a paradigm shift in
semantic technologies.

Topics include, but are not limited to:

- Streaming algorithms in query answering and reasoning
- Ontology-based data access over data streams
- Modelling complex events, processes, and patterns in ordered data
- Incremental maintenance of materialization of data streams
- Continuous query answering
- Ontological top-k query answering
- Continuous and top-k query answering for fuzzy and probabilistic logics
- Order in knowledge representation, such as temporal or spacial orders
- Topologies for distributed processing of data streams
- Data compression algorithms for data stream processing
- Parallelization and distribution in order-aware semantic technologies
- Approximation approaches to inference with orderings
- APIs for data stream exchange
- Proposals for and applications of benchmarks
- Applications of stream reasoning and top-k ontological query answering
- Implementation and evaluation experiences

SUBMISSION GUIDELINES AND PROCEEDINGS
-------------------------------------

We will welcome submissions describing ideas, experiments, and application
visions originating from requirements for, and efforts aimed at,
interleaving ordering and reasoning. We will encourage short position and
short demo papers not exceeding 6 pages as well as longer technical papers
not exceeding 12 pages. They should follow the LNCS proceedings style
files..

Submissions should be formatted according to the Lecture Notes in Computer
Science guidelines for proceedings available at
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Papers should
be submitted in PDF format. All submissions will be done electronically
via the OrdRing2014 web submission system
(http://www.easychair.org/conferences/?conf=ordring2014).

At least one author of each accepted paper must register for the workshop.
Information about registration will appear soon on the ISWC 2014 Web page.

The Workshop Proceedings will be published as CEUR Workshop Proceedings
(www.ceur-ws.org)

ORGANISING COMMITTEE
--------------------

 * Irene Celino (CEFRIEL)
 * Oscar Corcho (Universidad Politecnica de Madrid)
 * Emanuele Della Valle (Politecnico di Milano)
 * Daniele Dell'Aglio (Politecnico di Milano)
 * Markus Krotzsch (Technische Universitat Dresden)
 * Stefan Schlobach (Vrije Universiteit Amsterdam)

PROGRAM COMMITTEE
-----------------

Alessandro Bozzon (TU Delft)
Jean-Paul Calbimonte (École Polytechnique Fédérale de Lausanne)
Peter Haase (fluid Operations)
Alejandro Llaves (Universidad Politécnica de Madrid)
Carsten Lutz (University of Bremen)
Alessandro Margara (University of Lugano)
Tomas Masopust (TU Dresden)
Jeff Z. Pan (University of Aberdeen)
Giuseppe Pirrò (University of Koblenz-Landau)
Axel Polleres (WU Wien)
Umberto Straccia (ISTI-CNR)
Anni-Yasmin Turhan (TU Dresden)
Kewen Wang (Griffith University)
Zhe Wu (Griffith University)

Irene Celino | 18 Jun 11:12 2014
Picon

2nd CfP - 3rd International Workshop on Ordering and Reasoning - Riva del Garda, Italy, 19-20 October

[apologies for cross-posting]

3rd International Workshop on Ordering and Reasoning (OrdRing2014)
October 19th/20th, 2014 - Riva del Garda, Trentino, Italy

Co-located with the 13th International Semantic Web Conference (ISWC 2014)

http://www.streamreasoning.org/events/ordring2014

NEWS
---------------
The two best papers of OrdRing2014 have the opportunity to be published on Journal on Data Semantics.

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

Abstract submission deadline: July 4, 2014
Paper submission deadline: July 11, 2014
Notification of acceptance: July 30, 2014

GOALS AND TOPICS
----------------

More and more applications require real-time processing of large, dynamically generated, ordered data, where order captures essential information about recency, proximity or relevance. Recency is crucial for recognizing temporal events, as in complex event processing; proximity and relevance are essential for ranking query answers, as in top-k query answering. In some cases, orders are a natural, even unavoidable, aspect of the data, which may constrain the ways in which we can access it. In other cases, orders need to be derived by additional computations, and then be enforced on the (unordered) input. While each of these scenarios represents some unique challenges, all of them involve streams of data and require us to reason about sequences of events. The goal of this workshop is to explore this joint concept of ordered data processing.

Semantic technologies can play a relevant role in this setting, as they provide the expressive power to integrate highly dynamic sources. This is also witnessed by a number of recent works on order-related concepts, such as Stream Reasoning and top-k ontological query answering. Stream and rank-aware data management techniques are progressively providing reactive and reliable query answering over massive datasets, while ontological process models allow us to define meaningful patterns in event streams. Related works range from applied topics, such as query optimization, to foundational topics, such as temporal logics.

This workshop (as its predecessors in 2011 and 2013) aims at bringing together this growing and very active community interested in integrating ordering with reasoning by using methods inspired by stream and rank-aware data management. It thus aims to stimulate and guide a paradigm shift in semantic technologies.

Topics include, but are not limited to:

- Streaming algorithms in query answering and reasoning
- Ontology-based data access over data streams
- Modelling complex events, processes, and patterns in ordered data
- Incremental maintenance of materialization of data streams
- Continuous query answering
- Ontological top-k query answering
- Continuous and top-k query answering for fuzzy and probabilistic logics
- Order in knowledge representation, such as temporal or spacial orders
- Topologies for distributed processing of data streams
- Data compression algorithms for data stream processing
- Parallelization and distribution in order-aware semantic technologies
- Approximation approaches to inference with orderings
- APIs for data stream exchange
- Proposals for and applications of benchmarks
- Applications of stream reasoning and top-k ontological query answering
- Implementation and evaluation experiences

SUBMISSION GUIDELINES AND PROCEEDINGS
-------------------------------------

We will welcome submissions describing ideas, experiments, and application visions originating from requirements for, and efforts aimed at, interleaving ordering and reasoning. We will encourage short position and short demo papers not exceeding 6 pages as well as longer technical papers not exceeding 12 pages. They should follow the LNCS proceedings style files..

Submissions should be formatted according to the Lecture Notes in Computer Science guidelines for proceedings available at http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Papers should be submitted in PDF format. All submissions will be done electronically via the OrdRing2014 web submission system (http://www.easychair.org/conferences/?conf=ordring2014).

At least one author of each accepted paper must register for the workshop. Information about registration will appear soon on the ISWC 2014 Web page.

The Workshop Proceedings will be published as CEUR Workshop Proceedings (www.ceur-ws.org)

ORGANISING COMMITTEE
--------------------

 * Irene Celino (CEFRIEL)
 * Oscar Corcho (Universidad Politécnica de Madrid)
 * Emanuele Della Valle (Politecnico di Milano)
 * Daniele Dell'Aglio (Politecnico di Milano)
 * Markus Krötzsch (Technische Universität Dresden)
 * Stefan Schlobach (Vrije Universiteit Amsterdam)


PROGRAM COMMITTEE
-----------------

Alessandro Bozzon (TU Delft)
Jean-Paul Calbimonte (École Polytechnique Fédérale de Lausanne)
Peter Haase (fluid Operations)
Alejandro Llaves (Universidad Politécnica de Madrid)
Carsten Lutz (University of Bremen)
Alessandro Margara (University of Lugano)
Tomas Masopust (TU Dresden)
Jeff Z. Pan (University of Aberdeen)
Giuseppe Pirrò (University of Koblenz-Landau)
Axel Polleres (WU Wien)
Umberto Straccia (ISTI-CNR)
Anni-Yasmin Turhan (TU Dresden)
Kewen Wang (Griffith University)
Zhe Wu (Griffith University)


--

http://about.me/iricelino/

    " If you understand what you're doing,
           you're not learning anything. "
Irene Celino | 19 May 15:08 2014
Picon

CfP - 3rd International Workshop on Ordering and Reasoning - Riva del Garda, Italy, 19-20 October

[apologies for cross-posting]

3rd International Workshop on Ordering and Reasoning (OrdRing2014)
October 19th/20th, 2014 - Riva del Garda, Trentino, Italy

Co-located with the 13th International Semantic Web Conference (ISWC 2014)

http://www.streamreasoning.org/events/ordring2014

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

Abstract submission deadline: July 4, 2014
Paper submission deadline: July 11, 2014
Notification of acceptance: July 30, 2014

GOALS AND TOPICS
----------------

More and more applications require real-time processing of large, dynamically generated, ordered data, where order captures essential information about recency, proximity or relevance. Recency is crucial for recognizing temporal events, as in complex event processing; proximity and relevance are essential for ranking query answers, as in top-k query answering. In some cases, orders are a natural, even unavoidable, aspect of the data, which may constrain the ways in which we can access it. In other cases, orders need to be derived by additional computations, and then be enforced on the (unordered) input. While each of these scenarios represents some unique challenges, all of them involve streams of data and require us to reason about sequences of events. The goal of this workshop is to explore this joint concept of ordered data processing.

Semantic technologies can play a relevant role in this setting, as they provide the expressive power to integrate highly dynamic sources. This is also witnessed by a number of recent works on order-related concepts, such as Stream Reasoning and top-k ontological query answering. Stream and rank-aware data management techniques are progressively providing reactive and reliable query answering over massive datasets, while ontological process models allow us to define meaningful patterns in event streams. Related works range from applied topics, such as query optimization, to foundational topics, such as temporal logics.

This workshop (as its predecessors in 2011 and 2013) aims at bringing together this growing and very active community interested in integrating ordering with reasoning by using methods inspired by stream and rank-aware data management. It thus aims to stimulate and guide a paradigm shift in semantic technologies.

Topics include, but are not limited to:

- Streaming algorithms in query answering and reasoning
- Ontology-based data access over data streams
- Modelling complex events, processes, and patterns in ordered data
- Incremental maintenance of materialization of data streams
- Continuous query answering
- Ontological top-k query answering
- Continuous and top-k query answering for fuzzy and probabilistic logics
- Order in knowledge representation, such as temporal or spacial orders
- Topologies for distributed processing of data streams
- Data compression algorithms for data stream processing
- Parallelization and distribution in order-aware semantic technologies
- Approximation approaches to inference with orderings
- APIs for data stream exchange
- Proposals for and applications of benchmarks
- Applications of stream reasoning and top-k ontological query answering
- Implementation and evaluation experiences

SUBMISSION GUIDELINES AND PROCEEDINGS
-------------------------------------

We will welcome submissions describing ideas, experiments, and application visions originating from requirements for, and efforts aimed at, interleaving ordering and reasoning. We will encourage short position and short demo papers not exceeding 6 pages as well as longer technical papers not exceeding 12 pages. They should follow the LNCS proceedings style files..

Submissions should be formatted according to the Lecture Notes in Computer Science guidelines for proceedings available at http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0. Papers should be submitted in PDF format. All submissions will be done electronically via the OrdRing2014 web submission system (http://www.easychair.org/conferences/?conf=ordring2014).

At least one author of each accepted paper must register for the workshop. Information about registration will appear soon on the ISWC 2014 Web page.

The Workshop Proceedings will be published as CEUR Workshop Proceedings (www.ceur-ws.org)

ORGANISING COMMITTEE
--------------------

 * Irene Celino (CEFRIEL)
 * Oscar Corcho (Universidad Politécnica de Madrid)
 * Emanuele Della Valle (Politecnico di Milano)
 * Daniele Dell'Aglio (Politecnico di Milano)
 * Markus Krötzsch (Technische Universität Dresden)
 * Stefan Schlobach (Vrije Universiteit Amsterdam)


PROGRAM COMMITTEE
-----------------

Alessandro Bozzon (TU Delft)
Jean-Paul Calbimonte (École Polytechnique Fédérale de Lausanne)
Peter Haase (fluid Operations)
Alejandro Llaves (Universidad Politécnica de Madrid)
Carsten Lutz (University of Bremen)
Alessandro Margara (University of Lugano)
Tomas Masopust (TU Dresden)
Jeff Z. Pan (University of Aberdeen)
Giuseppe Pirrò (University of Koblenz-Landau)
Axel Polleres (WU Wien)
Umberto Straccia (ISTI-CNR)
Anni-Yasmin Turhan (TU Dresden)
Kewen Wang (Griffith University)
Zhe Wu (Griffith University)


--

http://about.me/iricelino/

    " If you understand what you're doing,
           you're not learning anything. "
Serge Autexier | 5 May 08:32 2014
Picon

CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014

   CICM 2014 - Conferences on Intelligent Computer Mathematics
      7-11 July 2014 at the University of Coimbra, Portugal
               http://www.cicm-conference.org/2014

         * * *  Announcement of Invited Speakers  * * * 

 * * * Call for Work-in-Progress Papers -- Deadline June 1 * * *

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

As   computers   and   communications  technology   advance,   greater
opportunities arise  for intelligent mathematical  computation.  While
computer  algebra, automated  deduction,  mathematical publishing  and
novel user interfaces individually have long and successful histories,
we are  now seeing  increasing opportunities  for synergy  among these
areas.  CICM  2014 offers  a venue  to discuss  these areas  and their
synergy.

The conference will take place at the University of Coimbra, Portugal,
and consists of four tracks:

* Calculemus, Chair: James Davenport

* Digital Mathematical Libraries (DML), Chair: Petr Sojka

* Mathematical Knowledge Management (MKM), Chair: Josef Urban

* Systems and Projects, Chair: Alan Sexton

As  in previous  years, there  will be  a Doctoral  Programme for  the
mentoring of Doctoral students and several co-located workshops.

* MathUI 2014: Mathematical User Interfaces
* OpenMath Workshop 2014
* The Notion of Proof 2014
* ThEdu 2014: TP Components for Educational Software
* Doctoral Programme

All of these are now accepting contributions.  Please see the web site
for their calls for submissions.

The  overall  programme is  organised  by  the General  Program  Chair
Stephen Watt.

----------------------------------------------------------------------
                          CICM Invited Talks
----------------------------------------------------------------------

* Yves Bertot, INRIA
  A naive view of homotopy type theory and its relation to 
  the calculus of constructions	

* Jaime Carvalho e Silva, U Coimbra
  What international studies say about the importance and limitations
  of using computers to teach mathematics in secondary schools

* Antonio Leal Duarte, U Coimbra [Joint Speaker with ADG 2014]
  Teaching Tiles

* Herbert Van de Sompel, Los Alamos Natioanl Laboratory
  Towards robust hyperlinks for web-based scholarly communication	

* Eric Weisstein, Wolfram|Alpha
  Computable data, mathematics, and digital libraries 
  in Mathematica and Wolfram|Alpha

----------------------------------------------------------------------
                 Work-in-Progress Call-for-Papers
----------------------------------------------------------------------

Work-in-progress submissions are  intended to provide a  forum for the
presentation of original work that is not (yet) in a suitable form for
submission as a  full or system description paper.  This includes work
in progress  and emerging trends.   Papers may  be on any  CICM topic,
including those from Calculemus, DML, MKM and Systems and Projects.

Accepted work-in-progress  papers will be presented  at the conference
as  short   teaser  talks   and  as  posters.    The  work-in-progress
proceedings  will   be  published  digitally  in   the  CEUR  Workshop
Proceedings series (CEUR-WS.org).

WiP  papers  should  be  prepared in  LaTeX  and  formatted  according
Springer's  LNCS   series  (the  corresponding  style   files  can  be
downloaded     from    http://www.springer.de/comp/lncs/authors.html).
Papers should be between 5 and 10 pages in length.

By submitting  a paper  the authors  agree that if  it is  accepted at
least one of the authors will attend the conference to present it.

----------------------------------------------------------------------
                Work-in-Progress Submission Particulars
----------------------------------------------------------------------

WiP paper submission deadline        :    1 June 2014
WiP paper notification of acceptance :   15 June 2014
WiP Camera ready copies due          :   20 June 2014
Conference                           : 7-11 July 2014

Electronic submission is done through Easychair at

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

Note that this is different from the main CICM submission page.

==========
Calculemus
==========

Calculemus   2014  invites   the  submission   of  original   research
contributions to be considered for publication and presentation at the
conference. Calculemus  is a  series of  conferences dedicated  to the
integration  of  computer  algebra   systems  (CAS)  and  systems  for
mechanised  reasoning  like  interactive   proof  assistants  (PA)  or
automated theorem  provers (ATP).  Currently, symbolic  computation is
divided into several (more  or less) independent branches: traditional
ones  (e.g., computer  algebra and  mechanised reasoning)  as well  as
newly emerging ones (on  user interfaces, knowledge management, theory
exploration, etc.) The main concern  of the Calculemus community is to
bring these developments  together in order to  facilitate the theory,
design,  and  implementation   of  integrated  mathematical  assistant
systems  that  will  be  used routinely  by  mathematicians,  computer
scientists and  all others who need  computer-supported mathematics in
their every day business.

All  topics  in  the  intersection of  computer  algebra  systems  and
automated  reasoning systems  are  of interest  for Calculemus.  These
include but are not limited to:

* Automated theorem proving in computer algebra systems.
* Computer algebra in theorem proving systems.
* Adding reasoning capabilities to computer algebra systems.
* Adding computational capabilities to theorem proving systems.
* Theory, design and implementation of interdisciplinary systems for
  computer mathematics.
* Case studies and applications that involve a mix of computation and
  reasoning.
* Case studies in formalization of mathematical theories.
* Representation of mathematics in computer algebra systems.
* Theory exploration techniques.
* Combining methods of symbolic computation and formal deduction.
* Input languages, programming languages, types and constraint languages,
  and modeling languages for mathematical assistant systems.
* Homotopy type theory.
* Infrastructure for mathematical services.

===
DML
===

Mathematicians dream of a digital archive containing all peer-reviewed
mathematical literature ever published, properly linked, validated and
verified.   It is  estimated that  the entire  corpus of  mathematical
knowledge  published over  the centuries  does not  exceed 100,000,000
pages,   an   amount   easily  manageable   by   current   information
technologies.

Track objective  is to provide  a forum for development  of math-aware
technologies, standards, algorithms and formats towards fulfillment of
the  dream  of global  digital  mathematical  library (DML).  Computer
scientists  (D)  and librarians  of  digital  age (L)  are  especially
welcome to  join mathematicians  (M) and discuss  many aspects  of DML
preparation.

Track topics are  all topics of mathematical  knowledge management and
digital  libraries  applicable  in  the context  of  DML  building  --
processing of math knowledge expressed in scientific papers in natural
languages, namely:

* Math-aware text mining (math mining) and MSC classification
* Math-aware representations of mathematical knowledge
* Math-aware computational linguistics and corpora
* Math-aware tools for [meta]data and fulltext processing
* Math-aware OCR and document analysis
* Math-aware information retrieval
* Math-aware indexing and search
* Authoring languages and tools
* MathML, OpenMath, TeX and other mathematical content standards
* Web interfaces for DML content
* Mathematics on the web, math crawling and indexing
* Math-aware document processing workflows 
* Archives of written mathematics
* DML management, business models
* DML rights handling, funding, sustainability 
* DML content acquisition, validation and curation 

===
MKM
===

Mathematical  Knowledge Management  is an  interdisciplinary field  of
research in the intersection of mathematics, computer science, library
science, and scientific publishing. The objective of MKM is to develop
new and better ways  of managing sophisticated mathematical knowledge,
based on innovative technology of  computer science, the Internet, and
intelligent   knowledge  processing.   MKM   is   expected  to   serve
mathematicians,  scientists,   and  engineers  who  produce   and  use
mathematical  knowledge; educators  and students  who teach  and learn
mathematics;   publishers  who   offer   mathematical  textbooks   and
disseminate   new    mathematical   results;   and    librarians   and
mathematicians who catalog and organize mathematical knowledge.

The conference is concerned with all aspects of mathematical knowledge
management. A non-exclusive list of important topics includes:

* Representations of mathematical knowledge
* Authoring languages and tools
* Repositories of formalized mathematics
* Deduction systems
* Mathematical digital libraries
* Diagrammatic representations
* Mathematical OCR
* Mathematical search and retrieval
* Math assistants, tutoring and assessment systems
* MathML, OpenMath, and other mathematical content standards
* Web presentation of mathematics
* Data mining, discovery, theory exploration
* Computer algebra systems
* Collaboration tools for mathematics
* Challenges and solutions for mathematical workflows

====================
Systems and Projects
====================

The  Systems and  Projects  track of  the  Conferences on  Intelligent
Computer Mathematics is  a forum for presenting  available systems and
new and ongoing  projects in all areas and topics  related to the CICM
conferences:

* Deduction and Computer Algebra (Calculemus)
* Digital Mathematical Libraries (DML)
* Mathematical Knowledge Management (MKM)

The track aims  to provide an overview of the  latest developments and
trends within the CICM community as  well as to exchange ideas between
developers and introduce systems to an audience of potential users.

Serge Autexier | 22 Apr 09:26 2014
Picon

CfP: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems, extended deadline *May 5th, 2014*

[Apologies for cross posting, Deadline extended to *May 5th, 2014*]

                            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:    May 5th, 2014 (extended)
   Paper Submission Deadline:       May 5th, 2014 (extended)
   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 Haehnle (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 Munich)
 Lawrence Paulson (University of Cambridge)
 Johann Schumann (SGT, Inc/NASA Ames)
 Kurt Stenzel (University of Augsburg)


Gmane