Xin Wang | 22 Jun 13:04 2016
Picon

[CfP] Call for Workshop Proposals: The 6th Joint International Semantic Technology Conference (JIST 2016)

The 6th Joint International Semantic Technology Conference (JIST 2016)
2 - 4 Nov, 2016, Singapore

Call for Workshop Proposals

The JIST2016 organizing committee invites proposals for workshops to be held in conjunction with the conference. The purpose of a workshop is to provide participants with the opportunity to present and discuss novel research ideas on active and emerging topics of semantic technologies. Ideally a workshop should foster interactions between different communities within the scope of JIST (e.g., computer scientists, data scientists, and so on) from academia and industry. A workshop should not be a mini-conference, but rather it should encourage the presentation of novel ideas, even if they are in an early stage of development, contact between different points of view, and active exchanges between participants. 

The responsibilities of the workshop organizers include

- preparing the call for papers and publicizing it, 
- preparing workshop website, 
- deciding the workshop program content; this may optionally include inviting speakers, inviting reviewers, selecting the papers through a peer review process delivering the notes to the press in time, 
- delivering the final workshop program to the workshop chair in time, and 
- proceeding publication of the workshop. 

A workshop proposal should include the following information:

- Workshop title 
- Full contact information of the organizers 
- Description of the workshop including objectives 
- Content, topics of interest. 
- Please indicate your preference regarding the length of the workshop: Half-day or full-day. 
- A short description of the target audience. 
- A summary of previous editions of the workshop (if it was run before), with an emphasis on number of attendees and paper submissions. 
- A short biography of each organizer. 

Proposals will be judged based on the above information. Particular preference will be given to proposals that demonstrate the ability to foster interactions among multiple communities, as noted above. We prefer workshops in which there is participation of diverse people who may not have worked with one another in the past, or which bridge between various topics on semantic technology communities. External sources of funding or sponsorship for special events held along with the workshop (e.g. invited talks, poster session) can be optionally included in the proposal submission.

Proposal Submission

Workshop proposals should be prepared as a Web site and its homepage URL sent via e-mail to the JIST2016 Workshop co-chairs:
Xin Wang <wangx <at> tju.edu.cn> and Hanmin Jung <jhm <at> postech.ac.kr> by July 6, 2016.

Important Dates

- Workshop Proposal Submission Deadline: July 6, 2016 
- Workshop Proposal Acceptance Notification: July 11, 2016 
- Workshop Paper Submission Deadline: TBA 
- Workshop Paper Acceptance Notification: September 23, 2016 
- Workshop Paper Camera-ready Deadline: September 30, 2016 
- Conference dates: November 2-4, 2016

Please see the website for more details:






Serge Autexier | 4 May 17:42 2016
Picon

Last Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 <at> IJCAR), Coimbra, Portugal, Deadline May 17th *NEW* (was May 9th, 2016)

                         Last Call for Papers

                              UITP 2016
  12th International Workshop on User Interfaces for Theorem Provers
                    in connection with IJCAR 2016
                  July 2nd, 2016, Coimbra, Portugal
          http://www.informatik.uni-bremen.de/uitp/current/

              * NEW Submission deadline: May 17th, 2016 *

----------------------------------------------------------------------
NEWS:
- Invited Speaker: Sylvain Conchon (LRI, France) giving a talk about
  "AltGr-Ergo, a graphical user interface for the SMT solver Alt-Ergo"
- Submission deadline postponed by one week to May, 17th, 2016
----------------------------------------------------------------------

The  User  Interfaces  for  Theorem  Provers  workshop  series  brings
together   researchers  interested   in   designing,  developing   and
evaluating interfaces  for interactive proof systems,  such as theorem
provers,  formal  method  tools,  and  other  tools  manipulating  and
presenting mathematical formulas.

While  the reasoning  capabilities of  interactive proof  systems have
increased dramatically over the last years, the system interfaces have
often  not   enjoyed  the   same  attention   as  the   proof  engines
themselves.  In many  cases,  interfaces remain  relatively basic  and
under-designed.

The User  Interfaces for  Theorem Provers  workshop series  provides a
forum for  researchers interested in improving  human interaction with
proof  systems. We  welcome participation  and contributions  from the
theorem proving, formal  methods and tools, and  HCI communities, both
to  report on  experience with  existing systems,  and to  discuss new
directions. Topics covered include, but are not limited to:

- Application-specific  interaction mechanisms  or designs  for prover
  interfaces Experiments and evaluation of prover interfaces
- Languages and tools for authoring, exchanging and presenting proof
- Implementation  techniques (e.g.  web  services, custom  middleware,
  DSLs)
- Integration of interfaces and tools to explore and construct proof
- Representation and manipulation of mathematical knowledge or objects
- Visualisation of mathematical objects and proof
- System descriptions

UITP 2016 is a one-day workshop to be held on Saturday, July 2nd, 2016
in Coimbra, Portugal, as a IJCAR 2016 workshop.

** Submissions **

Submitted   papers  should   describe   previously  unpublished   work
(completed or  in progress), and  be at least 4  pages and at  most 12
pages. We encourage concise and relevant papers. Submissions should be
in PDF format, and typeset with  the EPTCS LaTeX document class (which
can be downloaded from  http://style.eptcs.org/). Submission should be
done via EasyChair at 

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

All papers will be peer reviewed by members of the programme committee
and selected by the organizers in accordance with the referee
reports.

At  least one  author/presenter  of accepted  papers  must attend  the
workshop and present their work.

** Proceedings **

Authors will have the opportunity to incorporate feedback and insights
gathered during the  workshop to improve their  accepted papers before
publication  in the  Electronic  Proceedings  in Theoretical  Computer
Science (EPTCS - http://www.eptcs.org/).

** Important dates **

 Submission deadline: May 17th, 2016
 Acceptance notification: June 6th, 2016
 Camera-ready copy: June 20th, 2016
 Workshop: July 2nd, 2016

** Programme Committee **

 Serge Autexier, DFKI Bremen, Germany (Co-Chair)
 Pedro Quaresma, U Coimbra, Portugal (Co-Chair)
 David Aspinall, University of Edinburgh, Scotland
 Chris Benzmüller, FU Berlin, Germany & Stanford, USA
 Yves Bertot, INRIA Sophia-Antipolis, France
 Gudmund Grov, Heriott-Watt University, Scotland
 Zoltán Kovács, RISC, Austria
 Christoph Lüth, University of Bremen and DFKI Bremen, Germany
 Alexander Lyaletski, Kiev National Taras Shevchenko Univ., Ukraine
 Michael Norrish, NICTA, Australia
 Andrei Paskevich, LRI, France
 Christian Sternagel, University Innsbruck, Austria
 Enrico Tassi, INRIA Sophia-Antipolis, France
 Laurent Théry, INRIA Sophia-Antipolis, France
 Makarius Wenzel, Sketis, Germany
 Wolfgang Windsteiger, RISC Linz, Austria
 Bruno Woltzenlogel Paleo, TU Vienna, Austria

Steffen Lohmann | 3 May 09:30 2016
Picon

CFP: Visualization and Interaction for Ontologies and Linked Data (VOILA) at ISWC 2016

CALL FOR PAPERS

VOILA 2016 - Visualization and Interaction for Ontologies and Linked Data

2nd International Workshop at ISWC 2016, 15th International Semantic Web Conference
October 17 or 18, 2016, Kobe, Japan

http://voila2016.visualdataweb.org

--------------------------------------------------
Abstracts Deadline: June 27, 2016
Submission Deadline: July 1, 2016
--------------------------------------------------

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

'A picture is worth a thousand words', we often say, yet many areas are in demand of sophisticated
visualization techniques, and the Semantic Web is not an exception. The size and complexity of
ontologies and Linked Data in the Semantic Web constantly grows and the diverse backgrounds of the users
and application areas multiply at the same time. Providing users with visual representations and
intuitive interaction techniques can significantly aid the exploration and understanding of the
domains and knowledge represented by ontologies and Linked Data.

Ontology visualization is not a new topic and a number of approaches have become available in recent years,
with some being already well-established, particularly in the field of ontology modeling. In other
areas of ontology engineering, such as ontology alignment and debugging, although several tools have
recently been developed, few provide a graphical user interface, not to mention navigational aids or
comprehensive visualization and interaction techniques.

In the presence of a huge network of interconnected resources, one of the challenges faced by the Linked
Data community is the visualization of multidimensional datasets to provide for efficient overview,
exploration and querying tasks, to mention just a few. With the focus shifting from a Web of Documents to a
Web of Data, changes in the interaction paradigms are in demand as well. Novel approaches also need to take
into consideration the technological challenges and opportunities given by new interaction contexts,
ranging from mobile, touch, and gesture interaction to visualizations on large displays, and
encompassing highly responsive web applications.

There is no one-size-fits-all solution but different use cases demand different visualization and
interaction techniques. Ultimately, providing better user interfaces, visual representations and
interaction techniques will foster user engagement and likely lead to higher quality results in
different applications employing ontologies and proliferate the consumption of Linked Data.

Topics of Interest
==========

Topics, subjects, and contexts of interest include (but are not limited to):

* Topics:
	- visualizations
	- user interfaces
	- visual analytics
	- requirements analysis
	- case studies
	- user evaluations
	- cognitive aspects
	
* Subjects:
	- ontologies
	- linked data
	- ontology engineering (development, collaboration, ontology design patterns, alignment,
debugging, evolution, provenance, etc.)
	
* Contexts:
	- classical interaction contexts (desktop, keyboard, mouse, etc.)
	- novel interaction contexts (mobile, touch, gesture, etc.)
	- special settings (large, high-resolution, and multiple displays, etc.)
	- specific user groups and needs (people with disabilities, domain experts, etc.)

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

Paper submission and reviewing for this workshop will be electronic via EasyChair. The papers should be
written in English, following the Springer LNCS format, and be submitted in PDF on or before July 1, 2016.
Paper abstracts are due by June 27, 2016.

The following types of contributions are welcome. The recommended page length is given in brackets. There
is no strict page limit but the length of a paper should be commensurate with its contribution.

     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 again be published as a volume in the CEUR Workshop Proceedings series.

Special Issue in JWS
==========

We are preparing a special issue on the workshop topic for the Journal of Web Semantics. More information
about it will be announced soon.

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

Abstracts: June 27, 2016
Submission: July 1, 2016
Notification: July 29, 2016
Camera-ready: August 12, 2015

Organizers
==========

Valentina Ivanova, Linköping University, Sweden
Patrick Lambrix, Linköping University, Sweden
Steffen Lohmann, Fraunhofer IAIS, Germany
Catia Pesquita, University of Lisbon, Portugal

Serge Autexier | 21 Mar 13:28 2016
Picon

Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 <at> IJCAR), Coimbra, Portugal, Deadline May 9th

			First Call for Papers

			      UITP 2016
  12th International Workshop on User Interfaces for Theorem Provers
		    in connection with IJCAR 2016
		  July 2nd, 2016, Coimbra, Portugal
	  http://www.informatik.uni-bremen.de/uitp/current/
	  
		* Submission deadline: May 9th, 2016 *

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

The  User  Interfaces  for  Theorem  Provers  workshop  series  brings
together   researchers  interested   in   designing,  developing   and
evaluating interfaces  for interactive proof systems,  such as theorem
provers,  formal  method  tools,  and  other  tools  manipulating  and
presenting mathematical formulas.

While  the reasoning  capabilities of  interactive proof  systems have
increased dramatically over the last years, the system interfaces have
often  not   enjoyed  the   same  attention   as  the   proof  engines
themselves.  In many  cases,  interfaces remain  relatively basic  and
under-designed.

The User  Interfaces for  Theorem Provers  workshop series  provides a
forum for  researchers interested in improving  human interaction with
proof  systems. We  welcome participation  and contributions  from the
theorem proving, formal  methods and tools, and  HCI communities, both
to  report on  experience with  existing systems,  and to  discuss new
directions. Topics covered include, but are not limited to:

- Application-specific  interaction mechanisms  or designs  for prover
  interfaces Experiments and evaluation of prover interfaces
- Languages and tools for authoring, exchanging and presenting proof
- Implementation  techniques (e.g.  web  services, custom  middleware,
  DSLs)
- Integration of interfaces and tools to explore and construct proof
- Representation and manipulation of mathematical knowledge or objects
- Visualisation of mathematical objects and proof
- System descriptions

UITP 2016 is a one-day workshop to be held on Saturday, July 2nd, 2016
in Coimbra, Portugal, as a IJCAR 2016 workshop.

** Submissions **

Submitted   papers  should   describe   previously  unpublished   work
(completed or  in progress), and  be at least 4  pages and at  most 12
pages. We encourage concise and relevant papers. Submissions should be
in PDF format, and typeset with  the EPTCS LaTeX document class (which
can be downloaded from  http://style.eptcs.org/). Submission should be
done via EasyChair at 

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

All papers will be peer reviewed by members of the programme committee
and selected by the organizers in accordance with the referee
reports.

At  least one  author/presenter  of accepted  papers  must attend  the
workshop and present their work.

** Proceedings **

Authors will have the opportunity to incorporate feedback and insights
gathered during the  workshop to improve their  accepted papers before
publication  in the  Electronic  Proceedings  in Theoretical  Computer
Science (EPTCS - http://www.eptcs.org/).

** Important dates **

 Submission deadline: May 9th, 2016
 Acceptance notification: June 6th, 2016
 Camera-ready copy: June 20th, 2016
 Workshop: July 2nd, 2016

** Programme Committee **

 Serge Autexier, DFKI Bremen, Germany (Co-Chair)
 Pedro Quaresma, U Coimbra, Portugal (Co-Chair)
 David Aspinall, University of Edinburgh, Scotland
 Chris Benzmüller, FU Berlin, Germany & Stanford, USA
 Yves Bertot, INRIA Sophia-Antipolis, France
 Gudmund Grov, Heriott-Watt University, Scotland
 Zoltán Kovács, RISC, Austria
 Christoph Lüth, University of Bremen and DFKI Bremen, Germany
 Alexander Lyaletski, Kiev National Taras Shevchenko Univ., Ukraine
 Michael Norrish, NICTA, Australia
 Andrei Paskevich, LRI, France
 Christian Sternagel, University Innsbruck, Austria
 Enrico Tassi, INRIA Sophia-Antipolis, France
 Laurent Théry, INRIA Sophia-Antipolis, France
 Makarius Wenzel, Sketis, Germany
 Wolfgang Windsteiger, RISC Linz, Austria
 Bruno Woltzenlogel Paleo, TU Vienna, Austria

Serge Autexier | 7 Mar 17:55 2016
Picon

Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016

                   Second Call for Papers & Updates
        9th Conference on Intelligent Computer Mathematics
      	                    - CICM 2016 - 
                           July 25-29, 2016
                   University of Bialystok, Poland
                 http://www.cicm-conference.org/2016

+----------------------------- NEWS ---------------------------------+
| Abstract Deadline: March 9th, 2016                                 |
| CICM will host *5* workshops (Formal Mathematics for               |
| Mathematicians, Mathematical User Interfaces, Openmath, Proof      |
| Engineering (Constructing, Maintaining and Understanding Large     |
| Proofs) and Theorem Provers Components for Educational Software)   |
| as well as 2 tutorials                                             |
+--------------------------------------------------------------------+

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), Coimbra (Portugal  2014), and
Washington DC (USA 2015).

This  is a  call for  papers  for CICM  2016,  which will  be held  in
Bialystok, Poland, July 25-29, 2016.

The principal tracks of the conference will be:

* Track: Calculemus (chair: Leonardo de Moura)
* Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa)
* Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller)
* Track: Systems & Data (chair: Moa Johansson)
* Track: Doctoral Programme (chair: Martin Suda)

Like in previous years, project descriptions are welcomed as well.

The  overall  programme is  organized  by  the General  Program  Chair
Michael Kohlhase.  The workshop and publicity chair is Serge Autexier.
The local arrangements will be coordinated by Adam Naumowicz.

We plan  to have proceedings  of the  conference as in  previous years
with  Springer Verlag  as  a  volume in  Lecture  Notes in  Artificial
Intelligence (LNAI).

*New Important Dates* 

 Conference submissions
  - Abstract submission deadline:  *9. March 2016*
  - Submission deadline:	   16. March 2016
  - Reviews sent to authors:	   20. April 2016
  - Rebuttals due:  		   23. April 2016
  - Notification of acceptance:	   5. May 2016
  - Camera ready copies due:	   20. May 2016
  - Conference:  	      	   25.-29. July 2016

 Work-in-progress and Doctoral Programme
  - Submission deadline (Doctoral: Abstract+CV): 10. May 2016
  - Notification of acceptance:    		 29. May 2016
  - Camera ready copies due:      		 29. June 2016

More details on the conference are available from

   http://www.cicm-conference.org/2016/cicm.php?menu=cfp

Sebastian Hellmann | 24 Feb 14:23 2016
Picon

SEMANTiCS 2016, Leipzig, Sep 12-15, Call for Industry & Transfer Tutorials and Workshops

Call for Industry & Transfer Tutorials and Workshops
SEMANTiCS 2016 - The Linked Data Conference
Transfer // Engineering // Community

12th International Conference on Semantic Systems
Leipzig, Germany
September 12 - 15, 2016
http://www.semantics.cc

Important Dates
* Submission open on first-come, first-served basis until all slots are 
filled
* SEMANTiCS 2016 Workshop Day: September 12, 2016
* SEMANTiCS 2016 Tutorial Day: September 15, 2016

Submissions via email: semantics2016workshopchairs <at> gmail.com
See also the Call for Scientific Workshops: http://semantics.cc/open-calls

#SEMANTiCS Industry & Transfer Tutorials and Workshops
SEMANTiCS 2016 is a major venue for industrial innovation and features 
an industry & transfer tutorial and workshop program addressing the 
diverse practical interests of its audience. This program is intended to 
offer a rich diversity of high quality information valuable to 
conference attendees and local participants seeking to pick up new 
skills and stay up-to-date regarding the latest developments in the 
community. We encourage submissions of proposals on all topics in the 
general areas of SEMANTiCS 2016 and proposals bridging or introducing 
new perspectives in these areas. Tutorials and workshops may incorporate 
panel discussions, lightning talks, meetings, networking or hands-on 
sessions, hackathons, and other practical formats where applicable. 
Rooms for business or project meetings are available upon request as well.

#SEMANTiCS 2016 Tutorials and Workshop Scope & Goals
Satellite events at SEMANTiCS 2016 allow your organisation or project to 
push your topics and gain increased visibility.  The workshop and 
tutorials will be announced on the SEMANTiCS and DBpedia website 
(tutorials only) and will be seen by all participants. SEMANTiCS 2016  
industry & transfer tutorials and workshops are incubators for 
industrial and scientific communities that form and share a particular 
research and development agenda. They provide a forum for presenting 
widely recognized contributions and findings to a diverse and 
knowledgeable community. Furthermore, the event can be used as a 
dissemination activity in the scope of large research projects or as a 
closed format for research/commercial project consortia meetings.

#Setup and requirements of SEMANTiCS Workshops and Tutorials
SEMANTiCS 2016 workshops and tutorials may be either half or full day 
long. Workshops will be held on the day before the main SEMANTiCS 2016 
conference (September 12, 2016), Tutorials will be held after the 
conference (September 15, 2016) in parallel to the DBpedia Day.
Participation in SEMANTiCS 2016 workshops and tutorials is typically 
free. Full service will be provided (Coffee, Lunch, Room, etc.). In 
order to cover cost, organiser can choose to pay a cover charge per 
participant or buy one of the sponsorship packages that include a 
workshop slot (http://semantics.cc/sponsorship-packages). In exceptional 
cases, we can also levy a ticket fee from participants.

#Tutorial and Workshop Proposal Submissions
Tutorials and workshop proposals must include the following information:
* full contact information of all organizers of the event and main 
contact person
* proposed duration of the event (i.e., half or full day), different 
sessions if applicable, together with justification that a high-quality 
presentation will be achieved within the chosen time period
* outline of the themes and goals of the event, including a brief 
abstract (less than 200 words) intended for the SEMANTiCS 2016 website
* a statement addressing why the event is important, why the event is 
timely, how it is relevant to SEMANTiCS 2016, and why the presenters are 
qualified for a high-quality introduction of the topic
* a description of the intended audience and the expected learning outcomes
* desired prerequisite knowledge of the audience
* desired minimum and maximum number of event participants, expected 
number of participants, and (in case of previously held tutoreventials) 
number of registered attendees and web site for previous editions of the 
event
* any equipment, room capacity, or other logistic constraints
* a brief description of each organizer's background, including relevant 
past experience in organizing events

Tutorial and workshop proposals must be submitted electronically via 
semantics2016workshopchairs <at> gmail.com
Submission open on first-come, first-served basis until all slots are 
filled

#Review and Evaluation Criteria
Tutorial and workshop proposals will be reviewed by the SEMANTiCS 2016 
Workshop Chairs, as well as by the SEMANTiCS 2016 organizing committee, 
according to the following criteria:
* The potential to advance the state of semantic web research and practice
* The organizers' commitment to stimulate discussion at the event
* The organizers' experience and ability to lead a successful event
* Timeliness and expected interest in the event topics
* The balance and synergy between all SEMANTiCS 2016 events

The following ‘horizontals’ (topics) and ‘verticals’ (industries) are of 
interest:
Horizontals
* Enterprise Linked Data & Data Integration
* Corporate Knowledge Graphs
* Semantics on the Web & schema.org
* Business Models, Governance & Data Strategies
* Knowledge Discovery & Intelligent Search
* Smart Connectivity & Interlinking
* Data Quality Management
* Big Data & Text Analytics
* Data Portals & Knowledge Visualization
* Semantic Information Management
* Document Management & Content Management
* Terminology, Thesaurus & Ontology Management
* Language Technologies
* Data Science (Data Mining, Machine Learning, Network Analytics)
* Economics of data, data services and data ecosystems
* Community, Social & Societal Aspects

Verticals
* Industry & Engineering
* Life Sciences & Health Care
* Public Administration
* Galleries, Libraries, Archives & Museums (GLAM)
* Education & eLearning
* Media & Data Journalism
* Publishing, Marketing & Advertising
* Tourism & Recreation
* Financial & Insurance Industry
* Telecommunication & Mobile Services
* Energy, Smart Homes & Smart Grids
* Transport, Environment & Geospatial
* Agriculture & Farming

In case you have additional questions concerning the submission process, 
please do not hesitate to contact us at 
semantics2016workshopchairs <at> gmail.com

We are looking forward to your contribution!
Workshop & Tutorial Chair: Thomas Moser (St. Pölten University of 
Applied Sciences)
Deputy Workshop & Tutorial Chair: Kay Müller (AKSW/KILT, Leipzig University)

#About SEMANTiCS
The annual SEMANTiCS conference is the meeting place for researchers and 
professionals who push the boundaries of semantic computing and who 
understand its benefits and encounter its limitations. Every year, 
SEMANTiCS attracts professionals and researchers alike ranging from 
NPOs, through public administrations to the largest companies in the world.
The success of last year’s conference in Vienna with more than 280 
attendees from 22 countries proves that SEMANTiCS 2016 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 the major industry related event across Europe for our community.

Sebastian Hellmann | 24 Feb 14:02 2016
Picon

SEMANTiCS 2016, Leipzig, Sep 12-15, Call for Scientific Workshops

Call for Scientific Workshops
SEMANTiCS 2016 - The Linked Data Conference
Transfer // Engineering // Community

12th International Conference on Semantic Systems
Leipzig, Germany
September 12 - 15, 2016
http://www.semantics.cc

Important Dates (11:59 pm, Hawaii time)
* Workshop Proposal Submission Deadline: April 3, 2016
* Workshop Proposal Notification of Acceptance: April 10, 2016
* Workshop Website/Call for Papers Online: April 15, 2016
* Workshop Paper Submission Deadline: June 9, 2016
* Workshop Paper Camera-Ready Deadline: July 26, 2016
* SEMANTiCS 2016 Workshop Day: September 12, 2016

Submissions via Easychair: 
https://easychair.org/conferences/?conf=semantics2016research
See also the Call for Industry & Transfer Tutorials and Workshops: 
http://semantics.cc/open-calls

#SEMANTiCS 2016 Scientific Workshops Scope & Goals
SEMANTiCS 2016 scientific workshops provide a forum for groups of 
researchers and practitioners to discuss topics in semantic web research 
and industrial applications. They provide opportunities for researchers 
and practitioners to exchange and discuss scientific and engineering 
ideas before these ideas have matured to warrant conference or journal 
publication. SEMANTiCS 2016 scientific workshops also serve as 
incubators for scientific communities that form and share a particular 
research agenda.
The workshops may be either half or full day long and will be held on 
the day before the main SEMANTiCS 2016 conference (September 12th, 
2016). Participation in SEMANTiCS 2016 scientific workshops is typically 
free. The workshops can produce workshop proceedings to be published in 
CEUR Workshop Proceedings (http://ceur-ws.org/). The best accepted 
workshop papers will be considered for publication in the SEMANTiCS 2016 
conference proceedings, furthermore, a selection of workshop papers will 
be invited to present a poster at the SEMANTiCS 2016 conference.

#Scientific Workshop Proposal Submissions
Submissions via Easychair: 
https://easychair.org/conferences/?conf=semantics2016research

Workshop proposals must include the following information (please be 
brief and concise, max. 5 pages):
* full contact information of all organizers of the workshop and main 
contact person
* desired length of the workshop (i.e., half or full day)
* outline of the themes and goals of the workshop, including a brief 
abstract (less than 200 words) intended for the SEMANTiCS 2016 website
* concise motivation of the workshop's relevance to the field of 
semantic web
* participant solicitation and selection process
* desired minimum and maximum number of workshop participants, expected 
number of participants, and (in case of previously held workshops) 
number of registered attendees and web site for previous editions of the 
workshop
* structure of the workshop and plans for generating and stimulating 
discussion
* any equipment, room capacity, or other logistic constraints
* a brief description of each organizer's background, including relevant 
past experience in organizing conferences and workshops
* if applicable, a draft version of the call for papers

#Review and Evaluation Criteria
Scientific workshop proposals will be reviewed by the SEMANTiCS 2016 
Workshop Chairs, as well as by the SEMANTiCS 2016 organizing committee, 
according to the following criteria:
* The potential to advance the state of semantic web research and practice
* The organizers' commitment to stimulate discussion at the workshop
* The organizers' experience and ability to lead a successful workshop 
timeliness and expected interest in the workshop topics
* The balance and synergy between all SEMANTiCS 2016 events

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

Horizontals
* Enterprise Linked Data & Data Integration
* Corporate Knowledge Graphs
* Semantics on the Web & schema.org
* Business Models, Governance & Data Strategies
* Knowledge Discovery & Intelligent Search
* Smart Connectivity & Interlinking
* Data Quality Management
* Big Data & Text Analytics
* Data Portals & Knowledge Visualization
* Semantic Information Management
* Document Management & Content Management
* Terminology, Thesaurus & Ontology Management
* Language Technologies
* Data Science (Data Mining, Machine Learning, Network Analytics)
* Economics of data, data services and data ecosystems
* Community, Social & Societal Aspects

Verticals
* Industry & Engineering
* Life Sciences & Health Care
* Public Administration
* Galleries, Libraries, Archives & Museums (GLAM)
* Education & eLearning
* Media & Data Journalism
* Publishing, Marketing & Advertising
* Tourism & Recreation
* Financial & Insurance Industry
* Telecommunication & Mobile Services
* Energy, Smart Homes & Smart Grids
* Transport, Environment & Geospatial
* Agriculture & Farming

In case you have additional questions concerning the submission process, 
please do not hesitate to contact us at 
semantics2016workshopchairs <at> gmail.com

We are looking forward to your contribution!
Workshop & Tutorial Chair: Thomas Moser (St. Pölten University of 
Applied Sciences)
Deputy Workshop & Tutorial Chair: Kay Müller (AKSW/KILT, Leipzig University)

#About SEMANTiCS
The annual SEMANTiCS conference is the meeting place for researchers and 
professionals who push the boundaries of semantic computing and who 
understand its benefits and encounter its limitations. Every year, 
SEMANTiCS attracts professionals and researchers alike ranging from 
NPOs, through public administrations to the largest companies in the 
world. SEMANTiCS workshop attendees learn from industry experts and top 
researchers about emerging trends and hot topics in the fields of 
semantic software, enterprise data, linked data & open data strategies, 
methodologies in knowledge modelling and text & data analytics. Since 
the SEMANTiCS community is highly diverse, both workshops participants 
and organisers will benefit from the experience.

The success of last year’s conference in Vienna with more than 280 
attendees from 22 countries proves that SEMANTiCS 2016 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 the major industry related event across Europe for our community.

Serge Autexier | 17 Feb 09:11 2016
Picon

2nd Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - *NEW* Deadline 9. March 2016

                   Second Call for Papers & Updates
        9th Conference on Intelligent Computer Mathematics
      	                    - CICM 2016 - 
                           July 25-29, 2016
                   University of Bialystok, Poland
                 http://www.cicm-conference.org/2016

+----------------------------- NEWS ---------------------------------+
| The new abstract submission deadline 9. March 2016 and all other   |
| deadlines adjusted accordingly                                     |
| CICM will host 4 workshops (Formal Mathematics for Mathematicians, |
| Mathematical User Interfaces, Openmath, and Theorem Provers        |
| Components for Educational Software) and 2 tutorials               |
+--------------------------------------------------------------------+

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), Coimbra (Portugal  2014), and
Washington DC (USA 2015).

This  is a  call for  papers  for CICM  2016,  which will  be held  in
Bialystok, Poland, July 25-29, 2016.

The principal tracks of the conference will be:

* Track: Calculemus (chair: Leonardo de Moura)
* Track: Digital Mathematical Libraries (DML) (chair: Frank Tompa)
* Track: Mathematical Knowledge Management (MKM) (chair: Bruce Miller)
* Track: Systems & Data (chair: Moa Johansson)
* Track: Doctoral Programme (chair: TBD)

Like in previous years, project descriptions are welcomed as well.

The  overall  programme is  organized  by  the General  Program  Chair
Michael Kohlhase.  The workshop and publicity chair is Serge Autexier.
The local arrangements will be coordinated by Adam Naumowicz.

We plan  to have proceedings  of the  conference as in  previous years
with  Springer Verlag  as  a  volume in  Lecture  Notes in  Artificial
Intelligence (LNAI).

*New Important Dates* 

 Conference submissions
  - Abstract submission deadline:  9. March 2016
  - Submission deadline:	   16. March 2016
  - Reviews sent to authors:	   20. April 2016
  - Rebuttals due:  		   23. April 2016
  - Notification of acceptance:	   5. May 2016
  - Camera ready copies due:	   20. May 2016
  - Conference:  	      	   25.-29. July 2016

 Work-in-progress and Doctoral Programme
  - Submission deadline (Doctoral: Abstract+CV): 10. May 2016
  - Notification of acceptance:    		 29. May 2016
  - Camera ready copies due:      		 29. June 2016

More details on the conference are available from

   http://www.cicm-conference.org/2016/cicm.php?menu=cfp

Anna Lisa Gentile | 18 Jan 11:35 2016
Picon

Conference Live app Challenge <at> ESWC2016

ESWC-16 Conference Live app Challenge
################################################
ESWC2016 http://2016.eswc-conferences.org/
May 29th, 2016 - June 2nd​, 2016
Anissaras, Crete, Greece
FULL DETAILS of the CHALLENGE at https://github.com/AnLiGentile/ESWC-16-ConferenceLive-challenge
################################################

In the past two years the Extended Semantic Web Conference (ESWC) has provided a semantic Web application to browse conference data.
The application, called Conference Live, is a Web and mobile application based on conference data from the Semantic Web Dog Food server, which provides facilities to browse papers and authors at a specific conference. The data-backend is provided by the metadata chairs, while the front-end application has been developed by different teams for ESWC2014(http://oak.dcs.shef.ac.uk/eswc2014) and ESWC2015 (http://oak.dcs.shef.ac.uk/eswc2015). In this challenge we call for a front-end application for ESWC2016. The task consist in implementing a system that allows the navigation of ESWC-16 semantic metadata. The system should satisfy specific requirements indicated in the call. The metadata chairs provide:

- data which is enriched with social features (e.g. integrated Twitter accounts of paper authors), scheduling features (calendar information are attached for paper presentations and social events)
- a backend service to vote for publications, if the conference includes sessions where participants can vote, as it is popular e.g. for poster and demo sessions.


Submissions will consist of:

1. A summary description (abstract) of up to 200 words;
2. A paper presenting the details of the implemented method, which discusses its novelty (if applicable), and highlights its strengths and weaknesses;
3. Web Access: the Web application must be fully implemented and the code must be accessible either via the Web (e.g github) or downloadable. In particular, the application should be:
  - Open Source
  - compatible with Cordova framework (https://cordova.apache.org/)

Full details of the challenge, related data and material can be found at
************************************************
https://github.com/AnLiGentile/ESWC-16-ConferenceLive-challenge
************************************************
################################################
Important Dates

- Challenge papers and systems submission deadline: Friday March 11th, 2016
- Challenge paper reviews due: Tuesday April 5th, 2016
- Notifications sent to participants: Friday April 8th, 2016
- Final ESWC 2016 data published (for final test of the winning system): Friday April 8th, 2016
- Camera ready papers due: Sunday April 24th, 2016​

The notification will already declare the winning system, which will be distributed by Conference Live (https://play.google.com/store/apps/developer?id=Conference+Live) as the official ESWC-16 App.
If a winning system cannot be proclaimed (e.g. all submissions fail to meet the minimum requisites) the metadata chair will provide a Conference Live baseline system.

################################################
Organising Committee

- Anna Lisa Gentile, University of Mannheim, Germany
- Andrea Giovanni Nuzzolese, STLab-CNR, Italy
- Valentina Presutti, STLab-CNR, Italy
-- Anna Lisa Gentile Postdoctoral Researcher Data and Web Science Group University of Mannheim http://dws.informatik.uni-mannheim.de/en/people/researchers/annalisa/ email: annalisa <at> informatik.uni-mannheim.de office: +49 621 181 2646 skype: anlige
Sebastian Hellmann | 18 Jan 10:56 2016
Picon

SEMANTiCS 2016, Leipzig, Sep 12-15, Call for Research & Innovation Papers

Apologies for cross-posting

Call for Research & Innovation Papers
SEMANTiCS 2016 - The Linked Data Conference

Transfer // Engineering // Community

12th International Conference on Semantic Systems

Leipzig, Germany

September 12 -15, 2016

http://2016.semantics.cc

Important Dates (Research & Innovation)

  • Abstract Submission Deadline:            April 14, 2016 (11:59 pm, Hawaii time)
  • Paper Submission Deadline:                April 21, 2016 (11:59 pm, Hawaii time)
  • Notification of Acceptance:                 May 26, 2016 (11:59 pm, Hawaii time)
  • Camera-Ready Paper:                         June 16, 2016 (11:59 pm, Hawaii time)

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

As in the previous years, SEMANTiCS’16 proceedings are expected to be published by ACM ICP.

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 Vienna with more than 280 attendees from 22 countries proves that SEMANTiCS 2016 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.

SEMANTiCS 2016 will especially welcome submissions for the following hot topics:

  • Data Quality Management
  • Data Science (Data Mining, Machine Learning, Network Analytics)
  • Semantics on the Web, Linked (Open) Data & schema.org
  • Corporate Knowledge Graphs
  • Knowledge Integration and Language Technologies
  • Economics of Data, Data Services and Data Ecosystems

Following the success of previous years, the ‘horizontals’ (research) and ‘verticals’ (industries) below are of interest for the conference:

Horizontals

  • Enterprise Linked Data & Data Integration
  • Knowledge Discovery & Intelligent Search
  • Business Models, Governance & Data Strategies
  • Big Data & Text Analytics
  • Data Portals & Knowledge Visualization
  • Semantic Information Management
  • Document Management & Content Management
  • Terminology, Thesaurus & Ontology Management
  • Smart Connectivity, Networking & Interlinking
  • Smart Data & Semantics in IoT
  • Semantics for IT Safety & Security
  • Semantic Rules, Policies & Licensing
  • Community, Social & Societal Aspects

Verticals

  • Industry & Engineering
  • Life Sciences & Health Care
  • Public Administration
  • Galleries, Libraries, Archives & Museums (GLAM)
  • Education & eLearning
  • Media & Data Journalism
  • Publishing, Marketing & Advertising
  • Tourism & Recreation
  • Financial & Insurance Industry
  • Telecommunication & Mobile Services
  • Sustainable Development: Climate, Water, Air, Ecology
  • Energy, Smart Homes & Smart Grids
  • Food, Agriculture & Farming
  • Safety & Security
  • Transport, Environment & Geospatial

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. The Research & Innovation track at SEMANTiCS is a single-blind review process (author names are visible to reviewers, reviewers stay anonymous). The submitted abstract and the topics are leveraged to find adequate reviewers for submitted papers. Please write an email to semantics2016researchtrack <at> easychair.org,  if you have any questions.

Papers should follow the ACM ICPS guidelines for formatting and must not exceed 8 pages in length for full papers and 4 pages for short papers, including references and optional appendices. The layout templates can be found here: http://www.acm.org/sigs/publications/proceedings-templates All accepted full papers and short papers will be published in the digital library of the ACM ICP Series. Research & Innovation papers should be submitted through EasyChair at:

https://easychair.org/conferences/?conf=semantics2016research. 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, WordPerfect, Word) will also be needed.

Important Dates (Research & Innovation)

  • Abstract Submission Deadline:                April 14, 2016 (11:59 pm, Hawaii time)
  • Paper Submission Deadline:                April 21, 2016 (11:59 pm, Hawaii time)
  • Notification of Acceptance:                 May 26, 2016 (11:59 pm, Hawaii time)
  • Camera-Ready Paper:                         June 16, 2016 (11:59 pm, Hawaii time)

Research and Innovation Chairs:

Contact email address: semantics2016researchtrack <at> easychair.org 

Research and Innovation Deputy Chairs:

Conference Chairs: 

Senior Program Committee:

  • Paul Buitelaar, Insight - National University of Ireland, Galway
  • Oscar Corcho, Universidad Politécnica de Madrid
  • Claudia D'Amato, University of Bari
  • Brian Davis, DERI NUIG
  • Victor de Boer, VU Amsterdam
  • Christian Dirschl, Wolters Kluwer Germany
  • Michel Dumontier, Stanford University
  • Agata Filipowska, Department of Information Systems, Poznan University of Economics
  • Bernhard Haslhofer, AIT-Austrian Institute of Technology
  • Sebastian Hellmann, AKSW/KILT, InfAI, Leipzig University
  • Andreas Hotho, University of Wuerzburg
  • Jose Emilio Labra Gayo, Universidad de Oviedo
  • Peter Mika, Yahoo! Research
  • Axel-Cyrille Ngonga Ngomo, University of Leipzig
  • Josiane Xavier Parreira, Siemens AG Österreich
  • Heiko Paulheim, University of Mannheim
  • Tassilo Pellegrini, University of Applied Sciences St. Pölten
  • Marta Sabou, Vienna University of Technology
  • Harald Sack, Hasso-Plattner-Institute for IT Systems Engineering, University of Potsdam
  • Ruben Verborgh, Ghent University - iMinds
  • Maria Esther Vidal, Universidad Simon Bolivar, Dept. Computer Science

Program Committee:

  • Alessandro Adamou, Knowledge Media Institute, The Open University
  • Rajendra Akerkar, Western Norway Research Institute
  • Vladimir Alexiev, Ontotext Corp
  • Jose María Alvarez Rodríguez, Carlos III University of Madrid
  • Stefan Bischof, Siemens AG Österreich
  • Volha Bryl, Springer Nature
  • Irene Celino, CEFRIEL
  • Pierre-Antoine, Champin LIRIS
  • Roland Cornelissen, Metamatter
  • Gianluca Correndo, University of Southampton
  • Roberta Cuel, University of Trento
  • Aba-Sah Dadzie, Knowledge Media Institute, The Open University
  • Elena Demidova, L3S Research Center
  • Tommaso Di Noia, Politecnico di Bari
  • Marin Dimitrov, Ontotext
  • Mauro Dragoni, Fondazione Bruno Kessler - FBK-IRST
  • Samhaa El-Beltagy, Cairo University
  • Ingo Feinerer, University of Applied Sciences Wiener Neustadt
  • Javier D. Fernández, Computer Science Department. University of Valladolid
  • Fabien Gandon, Inria
  • Jorge Garcia, Ontology Engineering Group, Universidad Politécnica de Madrid
  • Roberto Garcia, Universitat de Lleida
  • José María García, University of Seville
  • Alain Giboin, INRIA Sophia Antipolis - Méditerranée
  • Juan Miguel Gómez-Berbís, Universidad Carlos III de Madrid
  • Jose Manuel Gomez-Perez, Expert System
  • Michael Granitzer, University of Passau
  • Benjamin Heitmann, Insight Centre for Data Analytics, National University of Ireland, Galway
  • Eelco Herder, L3S Research Center
  • Laura Hollink, CWI
  • Katja Hose, Aalborg University
  • Valentina Janev, Mihailo Pupin Institute, University of Belgrade
  • Anja Jentzsch, Hasso Plattner Institut
  • Ali Khalili, VU University Amsterdam
  • Sabrina Kirrane, Vienna University of Economics and Business - WU Wien
  • Dimitris Kontokostas, University of Leipzig
  • Christoph Lange, University of Bonn
  • Nelia Lasierra Beamonte, UMIT – University for Health Sciences, Medical Informatics and Technology
  • Isaac Lera, University of the Balearic Islands
  • Steffen Lohmann, Fraunhofer IAIS
  • Vanessa Lopez, IBM Research
  • Sandra Lovrenčić, University of Zagreb, Faculty of organization and informatics Varazdin
  • Markus Luczak-Roesch, University of Southampton
  • Elisa Marengo, Faculty of Computer Science, Free University of Bozen-Bolzano
  • John P. Mccrae, National University of Ireland, Galway
  • Andras Micsik, SZTAKI
  • Andrea Moro Sapienza, Università di Roma
  • Dmitry Mouromtsev, NRU ITMO, Russia
  • Claudia Müller-Birn, Freie Universität Berlin
  • Lyndon Nixon, MODUL University
  • Inna Novalija, Jozef Stefan Institute
  • Andrea Giovanni Nuzzolese, STLab, ISTC-CNR
  • Leo Obrst, MITRE
  • Maryam Panahiazar, Stanford University
  • Alexander Panchenko, Université catholique de Louvain
  • Viviana Patti, University of Turin
  • Silvio Peroni, University of Bologna
  • Xiuquan Qiao, Beijing University of Posts and Telecommunications
  • Achim Rettinger, Karlsruhe Institute of Technology
  • Mariano Rico, Universidad Politécnica de Madrid
  • Giuseppe Rizzo, ISMB
  • Marco Rospocher, Fondazione Bruno Kessler
  • Matthew Rowe, Lancaster University
  • Anisa Rula, University of Milano-Bicocca
  • Felix Sasaki, W3C
  • Vadim Savenkov, Vienna University of Economics and Business (WU)
  • Francois Scharffe, 3Top
  • Luciano Serafini, Fondazione Bruno Kessler
  • Pavel Shvaiko, Informatica Trentina
  • Nadine Steinmetz, TU Ilmenau
  • Holger Stenzhorn, Saarland University Hospital
  • Simon Steyskal, Siemens AG Austria
  • Vojtěch Svátek, University of Economics, Prague
  • Konstantin Todorov, LIRMM
  • Ioan Toma, STI Innsbruck
  • Jürgen Umbrich, Vienna University of Economy and Business (WU)
  • Joerg Waitelonis, Hasso-Plattner-Institute Potsdam
  • Krzysztof Wecel, Poznan University of Economics
  • Eva Zangerle, Databases and Information Systems, Department of Computer Science, University of Innsbruck




Serge Autexier | 14 Dec 15:12 2015
Picon

Call for Workshops - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Proposals Deadline 22. January 2016

                     Call for Workshop Proposals

         9th Conference on Intelligent Computer Mathematics
      	                    - CICM 2016 - 
                           July 25-29, 2016
                   University of Bialystok, Poland
                 http://www.cicm-conference.org/2016

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

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, 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),    Coimbra (Portugal, 2014)  and
Washington D.C. (USA, 2015). 

This is the call for proposals for  workshops to be held  at CICM 2016,
which will be held at the University of Bialystok (Poland), July 25-29
next year.

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
  Formal Mathematics for Mathematicians 
  Intelligent Proof Search
  Mathematical user Interfaces
  Mathematics Information Retrieval
  OpenMath
  Pen-Based Mathematical Computation
  Programming languages for Mechanized Mathematics Systems
  SCIEnce
  The Notion of Proof
  User Interfaces for Theorem Provers

Proposals for workshops  to be held at CICM  2016 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> jacobs-university.de

for consideration by the CICM 2016 organizers:

 Conference Chair:       Adam Naumowicz    (U Bialystok, Poland)
 General Program Chair:  Michael Kohlhase  (Jacobs University
                                                      Bremen, Germany)
 Calculemus Track Chair: Leonardo de Moura (Microsoft Research, USA)
 DML Track Chair:        Frank Tompa       (U Waterloo, Canada)
 MKM Track Chair:        Bruce Miller      (NIST, USA)
 System & Data Chair:    Moa Johansson     (Chalmers U, Sweden)
 Workshop Chair:         Serge Autexier    (DFKI, Germany)

Important dates:

 Deadline for proposal submissions:                 January 22nd, 2016
 Acceptance/rejection notification:                   February 1, 2016
 Workshop dates:                                      July 25-29, 2016

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


Gmane