[Om-announce] Deadline approaching - 17th International Conference on Cryptology and Network Security (CANS 2018)

2018-05-14 Thread Giovanni Livraga
CALL FOR PAPERS


*** Extended submission deadline approaching! (May 17, 2018 - 23:59 UTC) ***


**
17th International Conference on Cryptology and Network Security (CANS 2018)
Naples, Italy -- September 30 - October 03, 2018
http://cans2018.na.icar.cnr.it
https://www.facebook.com/CANS.conference/
**

The International Conference on Cryptology And Network Security (CANS) is a 
recognized annual conference, focusing on all aspects of cryptology, and of 
data, network, and computer security, attracting cutting-edge results from 
world-renowned scientists in the area. CANS 2018 will be held in  Naples 
(Italy) 
in collaboration with Consiglio Nazionale delle Ricerche (CNR) and Parthenope 
University of Naples. Earlier editions were held in Taipei ('01), San Francisco 
('02), 
Miami ('03), Xiamen ('05), Suzhou ('06), Singapore ('07), Hong Kong ('08), 
Kanazawa ('09), Kuala Lumpur ('10), Sanya ('11), Darmstadt ('12), Parary ('13), 
Crete ('14), Marrakesh ('15), Milan ('16) and Hong Kong ('17). All accepted 
papers 
will be presented at the conference and will appear in the conference 
proceedings, 
which will be published by Springer in the LNCS series.


TOPICS OF INTEREST
- Access Control
- Anonymity & Pseudonymity
- Applied Cryptography
- Attacks & Malicious Code
- Authentication, Identification
- Biometrics
- Block & Stream Ciphers
- Blockchain Security and Privacy
- Cryptographic Algorithms and Primitives
- Cryptographic Protocols
- Cyber-physical Security
- Data and Application Security
- Data and Computation Integrity
- Data Protection
- Denial of Service Protection
- Distributed Systems Security
- Embedded System Security
- Formal Methods for Security
- Hash Functions
- Identity Management
- Key Management
- Language-Based Security
- Malware Analysis and Detection
- Network Security
- Peer-to-Peer Security & Privacy
- Privacy-Enhancing Technologies
- Public Key Cryptography
- Secure Distributed Computing
- Security Architectures
- Security Metrics
- Security Models
- Security Policies
- Security and Privacy for Big Data
- Security and Privacy in the Cloud
- Security in Content Delivery
- Security in Crowdsourcing
- Security in Grid Computing
- Security in the Internet of Things
- Security in Location Services
- Security in Pervasive Systems
- Security in Social Networks
- Sensor Network Security
- Trust Management
- Usable Security
- Virtual Private Networks
- Wireless and Mobile Security



SUBMISSION GUIDELINES
High quality papers on unpublished research and implementation experiences are 
solicited for submission. All papers must be original and not substantially 
duplicate work that has been published at or is simultaneously submitted to a 
journal or another conference/workshop with proceedings.

All submissions must be written in English, at most 20 pages in Springer's 
Lecture 
Notes in Computer Science (LNCS) format, including title,  abstract, and 
bibliography. 
The introduction should summarise the contributions of the paper at the level 
understandable for a non-expert reader. The introduction should also explain 
the 
relation to related work. At most 4 pages of supplemental material may be 
provided 
as well-marked appendices, however, the paper should be intelligible without 
this 
material. Submissions must be anonymous (no author names, affiliations, 
acknowledgments, 
or obvious references).

The conference will also consider short papers, that is, submissions of up to 8 
pages 
(in the LNCS format), for results that are not yet fully fleshed out or that 
simply 
require few pages to describe but still make a significant contribution.
All submissions must be processed with  LaTeX2e according to the instructions 
given by 
Springer. Submitted manuscripts must be typeset in plain Springer LNCS format, 
in 
particular without changing the font size, margins or line spacing. Submissions 
not 
meeting these guidelines may be rejected without consideration of their merits.

Papers must be submitted electronically in PDF format via easychair 
https://easychair.org/conferences/?conf=cans2018

At least one author of every accepted paper must register to the conference by 
the early 
registration deadline indicated by the organizers. Papers without a registered 
author will 
be removed from the proceedings. Authors have to present their own paper(s). 
Proceedings 
including all accepted papers will be published in LNCS and will be available 
at the conference.



IMPORTANT DATES 
- Submission deadline: May 17, 2018 (23:59 UTC) [extended]
- Notification to authors: July 1, 2018
- Camera-Ready: July 23, 2018, (23:59 UTC)
- Conference: Sept. 30 – Oct. 3, 2018


GENERAL CHAIR
- Vincenzo Iovino, University of Luxembourg, Luxembourg


LOCAL AND ORGANISING COMMITTEE
- Elena Pagnin, Chalmers University, Sweden
- Giuseppe Persiano, University of Salerno, 

[Om-announce] AlCoB 2018: call for posters

2018-05-14 Thread IRDTA

AlCoB 2018: call for posters*To be removed from our mailing list, please 
respond to this message with UNSUBSCRIBE in the subject line*


--


The 5th International Conference on Algorithms for Computational Biology (AlCoB 
2018) invites researchers to submit poster presentations. AlCoB 2018 will be 
held in Hong Kong on June 25-26, 2018. See 


http://grammars.grlmc.com/AlCoB2018/


Poster presentations are intended to enhance informal interactions with 
conference participants, at the same time allowing for in-depth discussion.


TOPICS


Presentations displaying novel work in progress on algorithms in computational 
biology are encouraged on the following topics:


- assembling sequence reads into a complete genome,

- identifying gene structures in the genome,

- recognizing regulatory motifs,

- aligning nucleotides and comparing genomes,

- reconstructing regulatory networks of genes, and

- inferring the evolutionary phylogeny of species.


Posters do not need to show final research results. Work that might lead to new 
interesting developments is welcome.


KEY DATES


Poster submission deadline: May 18, 2018

Notification of poster acceptance or rejection: May 25, 2018


SUBMISSION


Please submit a .pdf abstract through:


https://easychair.org/conferences/?conf=alcob2018


It should contain the title, author(s) and affiliation, and should not exceed 
500 words.


PRESENTATION


Posters will be allocated 10 minutes each in the programme for oral 
presentation. Moreover, they will remain hanging out during the whole 
conference for discussion.


PUBLICATION


Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2018. 
However, they will be eligible for submission to the post-conference journal 
special issue in IEEE/ACM Transactions on Computational Biology and 
Bioinformatics (2016 JCR impact factor: 1.955).


REGISTRATION


At least one author of each accepted poster must register to the conference by 
June 11, 2018. The registration fare is reduced: 285 Euros. It gives the same 
rights all other conference participants have (attendance, copy of the 
proceedings volume, lunches, coffee breaks). Contributors of regular papers who 
in addition get a poster accepted must register for the latter independently.
___
Om-announce mailing list
Om-announce@openmath.org
http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce


[Om-announce] CFP: IEEE ITNAC 2018, Sydney, Australia, November.

2018-05-14 Thread Shui Yu
CALL FOR PAPERS: ITNAC 2018
Technically co-sponsored by IEEE. Papers published on IEEE Xplore. Indexed
by Ei COMPENDEX

==

The 28th International Telecommunication Networks and Application
Conference (ITNAC 2018)
November 21-23, 2018 in Sydney, Australia
http://www.itnac.org.au
==

Paper Submission opens in January 2018
Full paper submission deadline: July 31,  2018

*SCOPE*

With the increasing number of emerging robust networks, the challenges to
design new networking protocols, techniques, and applications are never
ending. With the imminent deployment of 4G and 5G on the horizon, the
demand for better service and quality has never been greater. ITNAC is a
leading forum for researchers and engineers to present and discuss topics
related to advanced telecommunication network technologies, services and
applications.

ITNAC 2018 seeks to address and capture highly innovative and
state-of-the-art research from academia, communications industry and
standardisation bodies that covers applications for and analysis of
distributed, mobile, cognitive and cloud computing, computer and data
communications, local and metropolitan networks, optical, wired and
wireless telecommunication networks and applications.
Contributions are welcome on all advanced research and particularly (but
not limited to) the following topics:
Mobile & Wireless Networks
- Modelling and Simulation
- Wireless access and routing protocols
- Cross-layer design optimisation
- Green, low power, energy efficient and sustainable networking
- Nature and bio-inspired approaches to networking
- Network-based mobile positioning and tracking systems
- Cognitive and cooperative principles for networking
- Mobile social and ambient networks
- Delay tolerant networks
- Mobile and fixed wireless broadband access networks
- 4G/5G networks
- Wireless sensor networks
- Vehicular Ad-hoc networks
- Cognitive networks
- Wireless mesh networks

Internet Technologies and Applications
- Network Modelling and Simulation
- Software defined networking
- Smart Cities and Smart Grids
- Content-centric networks
- Traffic engineering, congestion and admission control
- Datacenter networks and Cloud Computing
- Peer-to-peer networks and overlays
- Novel network-enabled applications and services
- Future Internet routing schemes or transport concepts
- IPv6 and its derivatives
- High performance network virtualisation
- Networking standards and regulations
- QoS/QoE provisioning and resource management
- Novel network-enabled applications and services

Network Management, Privacy and Security
- Next generation network regulation
- Broadband network management
- Intrusion detection and prevention
- Key distribution and management
- Large-scale attacks and defense
- Security and privacy in wireless networks
- Network security policy, theory and tools
- Secure Mobile Agents and Mobile Code
- Trusted computing and management
- World Wide Web security
- Network resiliency and network security
- Cyber security

Optical Networking and Applications
- Modelling and Simulation
- Optical switching and routing
- Optical Network on Chips
- Visible light communication
- Optical Ethernet, EPON/GPON, 100Gb/s Ethernet
- WDM Access Networks, WDM-PON
- Wired/wireless convergence, Telecom/broadcast convergence, IPTV
- Hybrid optical-wireless access networks, Radio-over-fiber
- Large capacity optical transmission, WDM, OTDM
- OFDM and advanced modulation formats in photonics
- Energy efficient optical networks

*SUBMISSION INSTRUCTIONS*

Submitted manuscripts should be written in English conforming to IEEE
conference proceedings format (template available at
http://www.ieee.org/conferences_events/conferences/publishing/templates.html
).
We invite the following two types of submissions:
- Full Papers (6 pages complementary, and up to 8 pages with over length
charge)
- Short Papers (3 pages complementary and up to 4 pages with over length
charge).

All paper submissions must represent original and unpublished work. Papers
must be submitted electronically in PDF format through EDAS

*PUBLICATIONS*

Accepted papers from this conference will be published in the proceedings
(indexed by EI Compendex). Distinguished papers, after further revisions,
will be considered for possible publication in SCI & EI indexed special
issues of prestigious international journals. By submitting a paper to the
conference, authors assure that if the paper is accepted, at least one
author will attend the conference and present the paper.

*IMPORTANT DATES*
Paper submission: 31 July,  2018
Acceptance Notification: 30 August, 2018
Camera-ready due: 20 September, 2018
Registration due:   1 November, 2018
Conference: 21-23 November, 2018

*CONFERENCE COMMITTEES*

General Co-Chairs
   Mark Gregory, RMIT University, AU
   Vijay Sivaraman - UNSW, AU

Program Chairs
   Khandakar Ahmed, Victoria University, AU
 

[Om-announce] Logic in Question 8, Ecole Normale Supérieure, Paris 14 and 15 may 2018

2018-05-14 Thread jean-yves beziau
Logic in Question 8, Ecole Normale Supérieure, Paris 14 and 15 may 2018
"Every Spring People Meet in Paris to Discuss about Logic"
http://www.logic-in-question.org

This month in Paris there is the commemoration of May 1968,
I decided therefore to present at LIQ-8 the talk
"Identité et égalité en logique, mathématique et politique"
where I examine the relation between Equality in Math and Logic and
Equality in Politics,
in particular how the  notion of equality stands in:
1776 - United States Declaration of Independence
1789 - Declaration of the Rights of the Man and of the Citizen, France
1948 - Universal Declaration of Human Rights
and how it makes sense or not from a logico-mathematical point of view.

We will also have at LIQ-8, a talk by  Anne-Françoise Schmid on Louis
Couturat
She is the editor of the two-volume correspondance between Couturat and
Russell:
Correspondance sur la philosophie, la logique et la politique : Bertrand
Russell et Louis Couturat, 1897-1913
https://www.amazon.fr/Correspondance-sur-philosophie-logique
-politique/dp/284174258X

In this correspondance Couturat and Russell talked about lots of diffrent
topics, in particular politics - both were pacifist.
Unfortunately Couturat died August 4, 1914 when his
car was accidentally hit by a military car  announcing mobilization of the
1st World War
He was born January 17, 1868, and to commemorate the 150th anniversary
of his birth we created this year Louis Couturat Logic Prize
http://www.uni-log.org/louis-couturat-logic-prize.html
part of a series of logic prizes, being developed following the motto
A prize of logic in every country!
http://www.uni-log.org/logic-prize-world

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