[Om-announce] Call for Workshop Paper: ARES 2018

[res.mb.conference]

  ARES 2018 - CALL FOR WORKSHOP PAPER

**
The 13th International Conference on Availability, Reliability and Security 
(ARES 2018)
August 27 - August 30, 2018, Hamburg, Germany
http://www.ares-conference.eu
**

***
Workshops @ ARES CONFERENCE

The 13th International Conference on Availability, Reliability and Security 
("ARES") will bring together researchers and practitioners in the area of 
dependability. ARES will highlight the various aspects of security - with 
special focus on the crucial linkage between availability, reliability and 
security. ARES aims at a full and detailed discussion of the research issues of 
security as an integrative concept that covers amongst others availability, 
safety, confidentiality, integrity, maintainability and security in the 
different fields of applications.

The workshops are central events for ARES as they provide an essential platform 
for researchers of various domains to present and discuss their current work 
and discuss work in progress.
This year we can offer the conference attendees 12 workshops which range from 
"start-ups" to well-established ones.

Workshops @ ARES 2018 and their submission deadlines:

*7th International Workshop on Cyber Crimes (IWCC)
*13th International Workshop on Frontiers in Availability, Reliability and 
Security (FARES 2013) / 29.04.2018
*2ne International Workshop on Security and Forensics of IoT (IoT-SECFOR) 
30.04.2018
*International Workshop on Cyber Threat Intelligence (WCTI) 30.04.2018
*11th International Workshop on Digital Forensics (WSDF) 30.04.2018
*1st Interdisciplinary Workshop on Privacy and Trust (iPAT) 04.05.2018
*4th International Workshop on Secure Software Engineering (SSE) 06.05.2018
*International Workshop on Security Engineering for Cloud Computing (IWSECC) 
13.05.2018
*5th International Workshop on Software Assurance (SAW) 13.05.2018
*7th International Workshop on Security of Mobile Applications (IWSMA) 
14.05.2018
*Workshop on Security and Privacy-Enhanced Big Data (SPEBD) 15.05.2018
*2nd International Workshop on Criminal Usw of Information Hiding (CUING) 
27.05.2018

These workshops are organized each on specific topics and thus offer 
researchers the opportunity to learn from a rich multi-disciplinary experience.

***
EU Projects Symposium @ ARES CONFERENCE


Based on the success of the workshops in conjunction with ARES 2016, in 
Salzburg, the ARES EU Projects Symposium will be held for the fourth time in 
conjunction with ARES 2018.
The goal is to disseminate the results of EU research projects, meet potential 
project partners and exchange ideas within the scientific community.

This year, 6 workshops will be held within the ARES EU Project Symposium (/ 
submission deadline):

*European projects Clustering workshop on Cybersecurity and Privacy (EcoSP) 
25.04.2018
*3rd Workshop on Security, Privacy and Identity Management in the Cloud 
(SECPID) 02.05.2018
*1st International Workshop on Cyber Threat Intelligence Management (CyberTIM) 
04.05.2018
*International Workshop on Organized Cybercrime, Cybersecurity and Terrorist 
Networks (IWOCCTN) 13.05.2018
*Workshop on 5G Network Security (5G-NS) 15.05.2018

*International Workshop on Physical and Cyber Security in Port Infrastructures 
(PCSCP) / no paper submissions


CONFERENCE OFFICERS

General Chair
Mathias Fischer, Universität Hamburg
Dominik Herrmann, Universität Hamburg

Program Committee Chairs
Christian Doerr, TU Delft, Netherlands
Sebastian Schrittwieser, FH St. Pölten, Austria


KEYNOTE SPEAKERS

Joan Daemen, Radboud University, Security Architect at ST Microelectronics
Klaus-Robert Müller, Machine Learning Group TU Berlin, MPI for Informatics, 
Saarbrücken and Korea University, Seoul


IMPORTANT DATES

Submission Deadline: see each workshop
Proceedings Version: June 29, 2018
Conference: August 27 - August 30, 2018


SUBMISSION

ARES 2018 proceedings (including workshops) will be published by the 
International Conference Proceedings Series published by ACM (ACM ICPS). 
Authors of selected papers that are accepted by and presented at the ARES 
Conference (including workshops) will be invited to submit an extended version 
to special issues of international journals.

Authors are invited to submit research and application papers according the 
following guidelines: two columns, single-spaced, including figures and 
references, using 10 pt fonts and number each page.

For the workshops submission papers are have to be representing original, 
previously unpublished work: 8 pages, a maximum of 10 pages is tolerated

Submitted papers will be carefully evaluated based on originality, 
significance, technical 

[Om-announce] Stefano Bonzio, winner of the 2018 SILFS Italian Logic Prize

[jean-yves beziau]

We are glad to announce the winner of the 2018 SILFS Italian Logic Prize:
Stefano Bonzio
http://www.uni-log.org/logic-prize-italy

This prize is part of a series of logic prizes promoting logic in the world:
A PRIZE OF LOGIC IN EVERY COUNTRY !
http://www.uni-log.org/logic-prize-world

The winners of these prizes will present their works at the
6th World Congress and School on Universal Logic - UNILOG'2018, in Vichy
next June
http://www.uni-log.org/vichy2018
and their papers will be published in a special issue of Logica Universalis.

Jean-Yves Beziau
Editor-in-Chief
Logica Universalis
https://link.springer.com/journal/volumesAndIssues/11787
___
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce

[Om-announce] [CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018

[Cristina Alcaraz]

--
*** Apologies for multiple copies ***

C a l l F o r P a p e r s

13th International Conference on Critical Information Infrastructures 
Security CRITIS 2018

Kaunas, Lithuania, September 24-26, 2018

Full-text paper submission due: April 30, 2018

CONFERENCE OUTLINE:

CRITIS 2018 continues the tradition of presenting innovative research 
and exploring new challenges in the field of critical (information) 
infrastructures protection (C(I)IP), resilience and fostering the 
dialogue with stakeholders.


CRITIS 2018 aims at bringing together researchers, professionals from 
academia, critical (information) infrastructure operators, industry, 
defence sector and governmental organisations working in the field of 
the security of critical (information) infrastructure systems.


Moreover, CRITIS aims to encourage and inspire early stage and 
open-minded researchers in this demanding multi-disciplinary field of 
research. Outstanding research performance demonstrated by young 
researchers may compete for the Young CRITIS Award (YCA).


The Projects' Dissemination Session will be an opportunity of 
dissemination for ongoing European, multinational, and national 
projects, to share the experiences among scientist and experts working 
on different projects in the C(I)IP domain.


CRITIS 2018 conference has a special focus on current and future energy 
infrastructures within a special session Energy infrastructure operators 
and stakeholders: key challenges and solution directions, chaired by 
Marcelo Masera (EC Joint Research Centre in Petten, The Netherlands). 
Invited speakers will be mainly from European electricity and/or gas 
Transmission System Operators (TSO), some representatives from European 
electricity and gas Distributed System Operators (DSO), NATO and 
European policy-makers.


CRITIS 2018 topics (but not limited to): 
http://www.lei.lt/critis2018/call-for-papers.html


Special sessions will be organized by CRITIS 2018 Supporting Chairs:
- “Energy CIP”: Marcelo Masera, European Commission, Joint Research 
Centre, the Netherlands
- “CI Resilience”: Marianthi Theocharidou, European Commission, 
Joint Research Centre, Italy

- “Human Factor and CIP”: Grigore Havarneanu, UIC, France
- “SCADA Security”: Simin Nadjm-Tehrani, Linköping University, 
Sweden
- “Modelling and Simulation in CIP”: Erich Rome (President 2E!SAC), 
Fraunhofer IAIS, Germany
- “Interconnected Infrastructures and Systems of Systems”: Enrico 
Zio, Politecnico di Milano, Italy and Ecole Centrale Paris, France
- “IoT Security”: Sokratis K. Katsikas, NTNU, Norway and University 
of Piraeus, Greece


Call for Papers (PDF to download): 
http://www.lei.lt/critis2018/assets/critis_2018_call_for_papers.pdf


Accepted papers are to be included to post-proceedings, published by 
Springer-Verlag in their Lecture Notes in Computer Science (LNCS) 
series.


IMPORTANT DATES:


30 April 2018 -- Full-text submission
18 June 2018 -- Notification of acceptance
9 September 2018 -- Camera-ready papers

Programme Chair

- Eric Luiijf, TNO (retired) and Luiijf Consultancy, the Netherlands

Steering Committee Chairs
- Bernhard M. Hämmerli, Technical University Lucerne and ACRIS GmbH, 
Switzerland

- Javier Lopez, University of Malaga, Spain
- Stephen D. Wolthusen, Royal Holloway, University of London, UK and 
NTNU, Norway


Local Co-Chairs
- Inga Žutautaitė, Lithuanian Energy Institute, Lithuania
- Ričardas Krikštolaitis, Vytautas Magnus University, Lithuania

Publicity Chairs
- Cristina Alcaraz, University of Malaga, Spain
- Rolandas Urbonas, Lithuanian Energy Institute, Lithuania

CRITIS 2018 Secretary Office

Lithuanian Energy Institute
Breslaujos g. 3, Kaunas, Lithuania
Tel. +370 37 401948
 +370 37 401938
E-mail: critis2...@lei.lt

Conference website: www.lei.lt/critis2018
___
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce

[Om-announce] CASC-J9 - the ATP System Competition - Call for Systems

[geoff]

---

 CASC-J9 - The CADE ATP System Competition

   to be held at

  The 9th International Joint Conference on Automated Reasoning
  Oxford, United Kingdom, 14th-17th July 2018

The CADE and IJCAR conferences  are the major forums  for the  presentation of
new research in all aspects of automated deduction.  In order to stimulate ATP
research and system development,  and to expose ATP systems  within and beyond
the ATP community, the CADE ATP System Competition (CASC) is held at each CADE
and IJCAR conference.  CASC-J9 will be held on the 14th July 2018,  during the
9th International Joint Conference on Automated Reasoning.

CASC evaluates  the performance  of sound,  fully automatic,  ATP systems. The
evaluation is in terms of:
  + the number of problems solved, and
  + the number of problems solved with a solution output, and
  + the average runtime for problems solved;
in the context of:
  + a bounded number of eligible problems, chosen from the TPTP library, and
  + specified time limits for solution attempts.

The competition organizer is Geoff Sutcliffe. The competition is overseen by a
panel of  knowledgeable researchers  who are not participating  in the  event.
Further details and registration information are available at:
http://www.tptp.org/CASC/J9/

Registration of systems for CASC-J9 is now invited. System registration closes
on 11th June. Please register early so that adequate resources can be allocated.

 DO IT NOW!  DO IT NOW! DO IT NOW!  DO IT NOW! DO IT NOW! DO IT NOW!

---
___
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce

[Om-announce] 6th School on Universal Logic - Vichy 16-20, 2018

[UNILOG2018]

In exactly two months will start in Vichy France the

6th School on Universal Logic
http://www.uni-log.org/ULS6

This is a 5-day school with 30 tutorials on all aspects of logic
(historical, philosophical, mathematical, computational)
given by scholars from all over the world.
The school will start by a round table "why study logic?" and will end with a 
round table "how to publish?"
There also will be a poster session and the school will be followed by a 6-day 
congress.

---
U N I L O G -  World Congress and School on Universal Logic - U N I LO G
Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018
-


___
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce

[Om-announce] CICM 2018, Extended submission deadline April 22, 2018 (abstracts), April 29, 2018 (full papers)

[Serge Autexier]

Call for Papers
 formal papers - informal papers - doctoral programme

 
 11th Conference on Intelligent Computer Mathematics
- CICM 2018 - 
   August 13-17, 2018
  RISC, Hagenberg, Austria
http://www.cicm-conference.org/2018



Digital and computational solutions are becoming the prevalent means
for the generation, communication, processing, storage and curation of
mathematical information.

CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such as
computation, deduction, knowledge management, and user interfaces.
It offers a venue for discussing problems and solutions in each of these
areas and their integration.

CICM 2018 will feature 3 invited speakers

* Akiko Aizawa, National Institute of Informatics, University of Tokyo
* Bruno Buchberger, Research Institute for Symbolic Computation, Johannes 
Kepler University
* Adri Olde Daalhuis, University of Edinburgh

and 5 affiliated workshops

* Computer Algebra in the age of Types
* Computer Mathematics in Education - Enlightenment or Incantation
* Formal Mathematics for Mathematicians
* Formal Verification of Physical Systems
* Mathematical Models and Mathematical Software as Research Data

We invite submissions in all topics relating to intelligent computer
mathematics, in particular but not limited to

* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries

CICM appreciates the varying nature of the relevant research in this area and
invites submissions of very different forms:

1) Formal submissions will be reviewed rigorously and accepted papers will be
   published in a volume of Springer LNAI:

   * regular papers (up to 15 pages) present novel research results
   
   * project and survey papers (up to 15 pages + bibliography) summarize
 existing results
  
   * system and dataset descriptions (up to 5 pages) present digital artifacts

2) Informal submissions will be reviewed with a positive bias and selected for
   presentation based on their relevance for the community.
   
   * informal papers may present work-in-progress, project announcements, 
 position statements, etc.

   * posters, mini-tutorials, and system demos will be presented in special 
sessions

3) The doctoral programme provides PhD students a forum to present early results
   receive constructive feedback and mentoring.

* Important Dates *

 Formal submissions
 
  - Abstract deadline:April 22 (Extended)
  - Full paper deadline:  April 29 (Extended)
  - Reviews sent to authors:  May 23
  - Rebuttals due:May 28
  - Notification of acceptance:   June 4
  - Camera-ready copies due:  June 8
  - Conference:   August 13-17

Informal submissions and doctoral programme

  Two separate submission rounds are offered so that some authors can make early
  travel plans while others submit spontaneously.
  
  - First round submission deadline:  April 29
  - Second round submission deadline: July  15 
  
All submissions should be made via easychair at 
https://easychair.org/conferences/?conf=cicm2018

___
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce