[Om-announce] Deadline approaching - 17th International Conference on Cryptology and Network Security (CANS 2018)
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
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.
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
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