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
(Continue reading)

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.

(Continue reading)

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:
(Continue reading)

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),
(Continue reading)

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. 
(Continue reading)

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 
(Continue reading)

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),
(Continue reading)

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

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

Christoph LANGE | 26 Oct 21:42 2015
Picon

Research Associate/PhD Student on Open Access Publishing in Social Science

The University of Bonn, Germany, is searching for a

Research Associate (Wissenschaftliche(r) Mitarbeiter(in))

(initially 50% full-time equivalent TV-L 13, up to 75% possible)

to work in the OSCOSS (Opening Scholarly Communication in Social
Sciences) project at the Institute of Computer Science III.  Initial
appointment will be for 2 years, starting as soon as possible.

You will design a software architecture for collaboratively authoring,
reviewing and reading social science papers connected to research
datasets, source code repositories and publication databases.  You will
implement this architecture based on existing software systems and
support our application partner GESIS (Leibniz Institute for the Social
Sciences) in evaluating this implementation in the real-world scenario
of publication workflows for their journals.

You will be able to use the results you achieve in the project for
working towards a doctoral dissertation.

We offer:

● Close supervision by the senior members of the OSCOSS research team at
the University of Bonn and GESIS
● Financial support to attend relevant conferences
● Close interaction with colleagues working on related projects in the
fields of scientific information systems and open educational resources
(OpenAIRE2020, SlideWiki)
● The possibility to teach and supervise students on topics related to
the project
● The possibility to obtain a discounted public transport ticket

Requirements:

● A Master degree in a relevant field (Computer Science, Information
Sciences or equivalent)
● Proficiency in spoken and written English.  Proficiency in German is a
plus.
● Proficiency in modern programming languages and modern software
engineering methodologies.  In particular, proficiency in JavaScript,
PHP, Python, XML technologies and web services is required for OSCOSS.
● Familiarity with Digital Libraries, Semantic Web, Text Mining, Data
Analytics, and Social Science is an asset.

To apply, please send to Dr. Christoph Lange <langec <at> cs.uni-bonn.de> a
CV, a master certificate or university transcripts, a motivation letter
including a short research plan focused on OSCOSS, two letters of
recommendation, and an English writing sample (e.g. prior publication or
master thesis excerpt).  Please include "OSCOSS" in your email subject
and indicate whether you would like to do a PhD with us.  Applications
arriving before 13 November 2015 will be given full consideration.

Please direct informal enquiries to the same email address or phone +49
2241 14-2428; see http://eis.iai.uni-bonn.de/Projects/OSCOSS for further
information about the project.

The University of Bonn is an equal opportunities employer.

--

-- 
Dr. Christoph Lange, Enterprise Information Systems Department
Applied Computer Science  <at>  University of Bonn; Fraunhofer IAIS
http://langec.wordpress.com/about, Skype duke4701

→ Job offer: Research associate (with PhD option) on Transforming a Social
  Science Journal's Authoring/Reviewing/Publishing Workflow to Web
  Technology. Apply by 13 Nov. http://eis.iai.uni-bonn.de/Jobs.html#oscoss


Gmane