June 2019 - Haskell - Haskell.org

Call for Conference Grant Applications (Inclusiveness Target Countries)
by Ambrus Kaposi 05 Nov '19

05 Nov '19

Call for Conference Grant Applications The European research network on types for programming and verification (EUTypes COST Action, https://eutypes.cs.ru.nl) supports attendance of young researchers presenting work on type theory at international conferences via travel grants. The rules are described here: https://eutypes.cs.ru.nl/ConfGrants The main points are: * Only researchers from ITCs participating in the action are eligible. As of September 2017, the ITCs involved in EUTypes are: Bosnia and Herzegovina, Czechia, Estonia, Hungary, Lithuania, Macedonia, Poland, Portugal, Romania, Serbia, Slovenia. * Only PhD students and Early Career Investigators (researchers whose PhD degree is at most 8 years old) are eligible. * The grantee must give a talk or present a poster on the topic of type theory. Applications have to be submitted through the e-COST system: https://e-services.cost.eu/conferencegrant Please inform researchers in your country who might be interested. Many thanks, Ambrus Kaposi EUTypes conference grant coordinator

1 6

Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
by Achim D. Brucker 29 Jun '19

29 Jun '19

CALL FOR PAPERS 19th International Workshop on OCL and Textual Modeling Co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System, September 15-20, 2019, Munich, Germany http://oclworkshop.github.io The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Mathematical models and/or formal semantics for textual modeling languages - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Model-driven security using textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks We particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Submissions Four types of submissions will be considered: * Presentation only submission (not included in the workshop proceedings), e.g., for already published work. Authors should submit a short (1 page) abstract of their presentation. * Short papers (between 5 and 7 pages) describing new ideas or position papers. * Tool papers (between 5 and 7 pages) describing tools supporting textual modeling tools * Full papers (between 10 and 14 pages). All submissions should follow the LNCS format guidelines and should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2019). Accepted papers will be published online in [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: 14 Jul 2019 - Notification: 25 Aug 2019 - Pre-Workshop CRC: 9 Sep 2019 - Post-Workshop CRC: 5 Oct 2019 -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Cfp: Special Section: Advances in Intelligent Transportation Systems in Smart Cities
by Rodolfo I. Meneguette 28 Jun '19

28 Jun '19

Special Section: Advances in Intelligent Transportation Systems in Smart Cities International Journal of Distributed Sensor Network 2017 Impact Factor : 1.787 Deadline for manuscript submissions: June 30, 2019 Intelligent Transport Systems (ITS) comprise the union of several technologies with the aim of providing comprehensive optimization of the urban mobility of a city and bringing greater safety to drivers, as well as comfort and entertainment for passengers. As a result, ITS employ data, communication, and computing to provide services and applications for tackling and possibly solving a wide range of transportation problems in modern large cities. These applications rely on the collaboration between elements that integrate urban and transportation systems, such as sensors, mobile devices, and vehicles, for introducing real-time awareness of the environment. The appropriate junction of all these factors considerably contributes to the sensing and gathering of data for evaluation and later implementation of due responses by a control system. Due to the dynamic nature of entities in ITS, it offers a diverse set of challenges including, but not limited to, interoperability, high mobility, decentralization, anonymity, security, privacy, trust management, uncertainty, and pervasiveness. Besides these challenges, several issues like scalability, reliability, adaptability, and validity of available solutions are still unexplored. This Special Collection is expected to provide a platform for academics and industrial researchers to identify and debate technical problems and recent accomplishments associated with ITS. Specific topics include, but are not limited to: * Architecture, resource management and applications * Leveraging Fog Computing (Edge Computing) * Design challenges for protocol development in ITS * ITS security and privacy * Smart-cities-based Machine Learning; * Intelligent data mining and forecasting; * Multi-agent systems applications; * Inteligent structural engineering; * Computer graphics and performability; * Blockchain and remote sensing; * Ubiquitous computing; * Fuzzy logic and emerging applications in smart IoT/Cloud paradigms; * Designing energy efficient Road Side Units (RSUs) * Quality of Service (QoS) in ITS * Smart and connected vehicles: V2V; V2I V2X * Cloud based VANETs * Vehicular Cloud * Demand responsive smart vehicles * Detection, recognition, and classification of traffic * Vehicle location and event prediction * Autonomous vehicle technologies * Context-aware computing and Internet of Things Services in ITS * Artificial intelligent in ITS * Protocols and infrastructure and standards for ITS Guest Editors: Rodolfo Ipolito Meneguette, Federal Institute of São Paulo, Brazi, Luis Hideo Vasconcelos Nakamura, Federal Institute of São Paulo, Brazil Thiago Augusto Lopes Genez, University of Bern, Switzerland Stephan Reiff-Marganiec, University of Leicester, UK Manuscript Preparation and Submission Follow the guidelines in the International Journal of Distributed Sensor Networks https://us.sagepub.com/en-us/sam/international-journal-of-distributed-senso… . Please submit your manuscript in electronic form through Manuscript Central web site: http://mc.manuscriptcentral.com/ijdsn . Submissions to this Special Section must represent original material that has been neither submitted to, nor published in, any other journal. Open access article processing charge (APC) information The APC for this journal is currently 2000 USD. The article processing charge (APC) is payable only if your article is accepted after peer review, before it is published. The APC is subject to taxes where applicable. Tax-exempt status can be indicated by providing appropriate registration numbers when payment is requested.

1 0

Call for Participation: ICFP 2019
by Sam Tobin-Hochstadt 24 Jun '19

24 Jun '19

===================================================================== Call for Participation ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 18 - August 23, 2019 Berlin, Germany http://icfp19.sigplan.org/ Early Registration until July 18! ===================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. This year, ICFP is co-located with BOBKonf! * Overview and affiliated events: http://icfp19.sigplan.org/home * Program: http://icfp19.sigplan.org/program/program-icfp-2019 * Accepted papers: http://icfp19.sigplan.org/track/icfp-2019-papers * Registration is available via: https://regmaster4.com/2019conf/ICFP19/register.php Early registration ends 18 July, 2019. * Programming contest: https://icfpcontest2019.github.io/ * Student Research Competition: https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference In addition to BOBKonf (8/21), there are several events co-located with ICFP: * Erlang Workshop (8/18) * Functional Art, Music, Modeling and Design (8/23) * Functional High-Performance and Numerical Computing (8/18) * Haskell Implementors' Workshop (8/23) * Haskell Symposium (8/22-8/23) * miniKanren Workshop (8/22) * ML Family Workshop (8/22) * OCaml Workshop (8/23) * Programming Languages Mentoring Workshop (8/18) * Scheme Workshop (8/18) * Type-Driven Development (8/18) ### ICFP Organizers General Chair: Derek Dreyer (MPI-SWS, Germany) Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada) Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium) Jennifer Hackett (University of Nottingham, UK) Conference Manager: Annabel Satin (P.C.K.) ### PACMPL Volume 3, Issue ICFP 2019 Principal Editor: François Pottier (Inria, France) Review Committee: Lennart Beringer (Princeton University, United States) Joachim Breitner (DFINITY Foundation, Germany) Laura M. Castro (University of A Coruña, Spain) Ezgi Çiçek (Facebook London, United Kingdom) Pierre-Evariste Dagand (LIP6/CNRS, France) Christos Dimoulas (Northwestern University, United States) Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France) Andrew Kennedy (Facebook London, United Kingdom) Daan Leijen (Microsoft Research, United States) Kazutaka Matsuda (Tohoku University, Japan) Bruno C. d. S. Oliveira (University of Hong Kong, China) Klaus Ostermann (University of Tübingen, Germany) Jennifer Paykin (Galois, United States) Frank Pfenning (Carnegie Mellon University, USA) Mike Rainey (Indiana University, USA) Chung-chieh Shan (Indiana University, USA) Sam Staton (University of Oxford, UK) Pierre-Yves Strub (Ecole Polytechnique, France) German Vidal (Universitat Politecnica de Valencia, Spain) External Review Committee: Michael D. Adams (University of Utah, USA) Robert Atkey (University of Strathclyde, IK) Sheng Chen (University of Louisiana at Lafayette, USA) James Cheney (University of Edinburgh, UK) Adam Chlipala (Massachusetts Institute of Technology, USA) Evelyne Contejean (LRI, Université Paris-Sud, France) Germán Andrés Delbianco (IRIF, Université Paris Diderot, France) Dominique Devriese (Vrije Universiteit Brussel, Belgium) Richard A. Eisenberg (Bryn Mawr College, USA) Conal Elliott (Target, USA) Sebastian Erdweg (Delft University of Technology, Netherlands) Michael Greenberg (Pomona College, USA) Adrien Guatto (IRIF, Université Paris Diderot, France) Jennifer Hackett (University of Nottingham, UK) Troels Henriksen (University of Copenhagen, Denmark) Chung-Kil Hur (Seoul National University, Republic of Korea) Roberto Ierusalimschy (PUC-Rio, Brazil) Ranjit Jhala (University of California, San Diego, USA) Ralf Jung (MPI-SWS, Germany) Ohad Kammar (University of Oxford, UK) Oleg Kiselyov (Tohoku University, Japan) Hsiang-Shang ‘Josh’ Ko (National Institute of Informatics, Japan) Ondřej Lhoták (University of Waterloo, Canada) Dan Licata (Wesleyan University, USA) Geoffrey Mainland (Drexel University, USA) Simon Marlow (Facebook, UK) Akimasa Morihata (University of Tokyo, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Guillaume Munch-Maccagnoni (Inria, France) Kim Nguyễn (University of Paris-Sud, France) Ulf Norell (Gothenburg University, Sweden) Atsushi Ohori (Tohoku University, Japan) Rex Page (University of Oklahoma, USA) Zoe Paraskevopoulou (Princeton University, USA) Nadia Polikarpova (University of California, San Diego, USA) Jonathan Protzenko (Microsoft Research, USA) Tiark Rompf (Purdue University, USA) Andreas Rossberg (Dfinity, Germany) KC Sivaramakrishnan (University of Cambridge, UI) Nicholas Smallbone (Chalmers University of Technology, Sweden) Matthieu Sozeau (Inria, France) Sandro Stucki (Chalmers | University of Gothenburg, Sweden) Don Syme (Microsoft, UK) Zachary Tatlock (University of Washington, USA) Sam Tobin-Hochstadt (Indiana University, USA) Takeshi Tsukada (University of Tokyo, Japan) Tarmo Uustalu (Reykjavik University, Iceland) Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France) Daniel Winograd-Cort (University of Pennsylvania, USA) Nicolas Wu (University of Bristol, UK)

1 0

Fwd: EUSPN 2019: Deadline Extended
by Muhammad ADNAN 24 Jun '19

24 Jun '19

************************************************************ ********************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2019) Date: November 4-7, 2019 Location: Coimbra, Portugal Website: http://cs-conferences.acadiau.ca/euspn-19/ ********************************************************************************** The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 30, 2019 - Paper Submission Due: July 1, 2019 - Author Notification: August 6, 2019 - Final Manuscript Due: September 6, 2019 Publication ------------- All EUSPN 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) EUSPN 2019 will be held in conjunction with the 9th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-19/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-19/call-for-papers.html EUSPN 2019 will be held in the city of Coimbra. Coimbra is a historical city and a municipality in Portugal. Among the many archaeological structures dating back to the Roman era, when Coimbra was the settlement of Aeminium, are its well-preserved aqueduct and cryptoporticus. Similarly, buildings from the period when Coimbra was the capital of Portugal (from 1131 to 1255) still remain. During the late Middle Ages, with its decline as the political centre of the Kingdom of Portugal, Coimbra began to evolve into a major cultural centre. This was in large part helped by the establishment of the University of Coimbra in 1290, the oldest academic institution in the Portuguese-speaking world. Apart from attracting many European and international students, the university is visited by many tourists for its monuments and history. Its historical buildings were classified as a World Heritage site by UNESCO in 2013: "Coimbra offers an outstanding example of an integrated university city with a specific urban typology as well as its own ceremonial and cultural traditions that have been kept alive through the ages." Its atmospheric, beautiful historic core cascades down a hillside in a lovely setting on the east bank of the Rio Mondego: it's a multicoloured collage of buildings spanning nearly a millennium. The conference take place in the environment of technology startups and laboratories within the installations of Instituto Pedro Nunes (IPN). IPN is created in 1991 through a University of Coimbra initiative, Instituto Pedro Nunes (IPN)2 is a private non-profit organization which promotes innovation and the transfer of technology, establishing the connection between the scientific and technological environment and the production sector. IPN mission is to leverage a strong university - enterprise relationship for the promotion of innovation, rigor, quality and entrepreneurship in private and public sector organizations by acting in three complementary areas: Research and technological development, consultancy and specialized services; Incubation and acceleration of businesses and ideas; Highly specialized training and promotion of science and technology. In the year of 2010, the Instituto Pedro Nunes incubator3 has been awarded as the Best Science-based Incubator in the world. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Cluster, Grid and Social Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Stephane Galland, UniversitÃ© de Technologie de Belfort-MontbÃ©liard, France Elhadi Shakshuki, Acadia University, Canada Local Arrangements Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Nuno Varandas, F6S (Where Founders Grow Together), Portugal Workshops Chairs Muhammad Adnan, Hasselt University, Belgium Haroon Malik, Marshall University, USA Publicity Chair Natalia Kryvinska, University of Vienna, Austria Program Vice Chairs Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, United Kingdom Kechar Bouabdellah, University Of Oran 1 Ahmed Benbella, Algeria Samia Bouzefrane, CEDRIC Lab Conservatoire National des Arts et MÃ©tiers, France Alfredo Cuzzocrea, University of Trieste, Italy Stephane Galland, UniversitÃ© de Technologie de Belfort-MontbÃ©liard, France Flavio Lombardi, Universita Roma Tre, Italy Faouzi Kammoun, Ecole SupÃ©rieure PrivÃ©e d'IngÃ©nierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Fernando Moreira, Universidade Portucalense, Porto, Portugal Euripides Petrakis, Technical University of Crete, Greece Evangelos Pournaras, ETH, Switzerland Tarek Sheltami, KFUPM, Saudi Arabia Michael Sheng, Macquarie University, Australia Wei Zhang, Macquarie University, Australia Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-19/organizing-commitee.html -- Dr. Muhammad Adnan Senior Navorser - Senior Researcher Instituut voor Mobiliteit (IMOB) - Transportation Research Institute T +32(0)11 26 91 47 - F +32(0)11 26 91 99 www.uhasselt.be\imob Universiteit Hasselt - Campus Diepenbeek Wetenschapspark 5 bus 6 - B-3590 Diepenbeek Kantoor WETP5-0.10

1 0

Postdoctoral position on database programming languages at Edinburgh LFCS
by James Cheney 19 Jun '19

19 Jun '19

Hi, We are now accepting applications for a postdoctoral position in database programming languages. The position is for 24 months, starting on September 2, 2019 at the earliest. Funding is provided by a five-year, €1.99M Consolidator Grant from the European Research Council on the project: "Skye: A programming language bridging theory and practice for scientific data curation". Funding from this ERC grant, and certain national funding schemes, is also available to help support travel/accommodation costs for visits from students, researchers or faculty at other institutions whose research aligns with the project. Please get in touch if interested. == Research associate (£33,199 - £39,609) == This postdoctoral research position is on database programming and data curation techniques in the Skye project. This project builds on the Links web programming language to add built-in support for scientific data management needs, particularly data archiving, transformation and provenance. Currently Links supports sophisticated database access via language-integrated query, but only for relational databases; other data models and query languages are not supported, and Links's capabilities for rewriting or transforming queries or updates is limited. The overall research goal of the Skye project is to identify, develop, and implement extensibility or metaprogramming capabilities to make advanced database programming easy. The successful candidate will focus on developing language-integrated query support for new data models/query languages, such as graph or RDF databases, and will work with other Skye project members to incorporate these techniques into Links. Links also has other advanced capabilities such as distributed programming with session types, and algebraic effects and handlers, and interactions between these features and database programming or new applications to database programming are in scope. The ideal candidate will have a strong background in database research, including familiarity with different query languages and models. Familiarity with programming language foundations is also desirable, as is experience with functional programming (e.g. Scala, OCaml, Haskell). Candidates with a strong background in either database or programming language research will be considered as long as there is clear evidence of ability to learn the complementary background. == To apply == For more information about the project, and about other related activities in my group, LFCS, and Edinburgh, please write to me or consult the following page: http://homepages.inf.ed.ac.uk/jcheney/group/skye.html Applications must be received by 5pm GMT, July 18, 2019. To apply, visit the University job posting for this position: Research Associate https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… then click "apply" and follow the instructions. Please note that applicants must use the University's application system above, which involves some account registration and form-filling, and it is recommended that applicants complete this process well before the deadline, since the system automatically stops accepting applications after the deadline. == Environment == The University of Edinburgh School of Informatics brings together world-class research groups in theoretical computer science, artificial intelligence and cognitive science. The School led the UK 2014 REF rankings in volume of internationally recognized or internationally excellent research. In 2013, the School of Informatics received an Athena Swan Silver Award, in recognition of its commitment to advancing the careers of women in science, technology, engineering, mathematics and medicine (STEMM) employment in higher education and research. Overall the University of Edinburgh has achieved a Silver Award.

1 0

CFP - CRISiS 2019 - Deadline extension and Special issue
by SAOUSSEN CHEIKHROUHOU 19 Jun '19

19 Jun '19

Call for papers The 14th International Conference on Risks and Security of Internet and Systems (CRiSIS) 29-31 October 2019, Hammamet, Tunisia http://crisis2019.redcad.org The International Conference on Risks and Security of Internet and Systems 2019 will be the 14th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defence, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. === IMPORTANT DATES === - Submission deadline: June 21, 2019 (Extended) - Notification to authors: July 20, 2019 - Camera-ready versions: September 22, 2019 - Conference dates: October 29-31, 2019 === SPECIAL ISSUE === Selected papers relevant to business, human and organisational aspects of cybersecurity will be invited to submit extended versions for publication in Information and Computer Security Journal http://emeraldgrouppublishing.com/products/journals/journals.htm?id=ics === TOPICS === The topics addressed by CRiSIS range from the analysis of risks, attacks to networks and system survivability, to security models, security mechanisms and privacy enhancing technologies. The authors are invited to submit research results as well as practical experiment or deployment reports. Industrial papers about applications or case studies are also welcomed in different domains (e.g., telemedicine, banking, e-government, e-learning, e-commerce, critical infrastructures, mobile networks, embedded applications, etc.). The list of topics includes but is not limited to: - Analysis and management of risk - Attacks and defenses - Attack data acquisition and network monitoring - Cryptography, biometrics, watermarking - Dependability and fault tolerance of Internet applications - Distributed systems security and safety - Embedded system security and safety - Empirical methods for security and risk evaluation - Hardware-based security and physical security - Intrusion detection and prevention systems - Organizational, ethical and legal issues - Privacy protection and anonymization - Risk-aware access and usage control - Security and risk assessment - Security and risks metrics - Security and dependability of operating systems - Security and safety of critical infrastructures - Security and privacy of peer-to-peer system - Security and privacy of wireless networks - Security models and security policies - Security of new generation networks, security of VoIP and multimedia - Security of e-commerce, electronic voting and database systems - Security of social networks - Security of industrial control systems - Smartphone security and privacy - Traceability, metrology and forensics - Trust management - Use of smart cards and personal devices for Internet applications - Web and cloud security === PAPER SUBMISSION === Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style ( http://www.springer.de/comp/lncs/authors.html) Authors of accepted papers must guarantee that their papers will be presented at the conference. All paper submissions will be handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=crisis2019 === Proceedings === The proceedings will be published as a volume of Springer's LNCS series. === GENERAL CHAIRS === Nora Cuppens, IMT Atlantique, France Ahmed Hadj Kacem, University of Sfax, Tunisia === PC CHAIRS === Frédéric Cuppens, IMT Atlantique, France Slim Kallel, University of Sfax, Tunisia === PUBLICATION CHAIRS === Nora Cuppens, IMT Atlantique, France Mohamed Mosbah, Bordeaux INP, France === PUBLICITY CHAIRS === Saoussen Cheikhrouhou, University of Sfax, Tunisia Reda Yaich, IRT SystemX, France === LOCAL ORGANISATION COMMITTEE=== Nesrine Khabou, University of Sfax, Tunisia Fairouz Fakhfekh, University of Sfax, Tunisia Riadh Ben Halima, University of Sfax, Tunisia Ismail Bouassida, University of Sfax, Tunisia Hatem Hadj Kacem, University of Sfax, Tunisia === PROGRAM COMMITTEE === Takoua Abdellatif, University of Carthage, Tunisia Esma Aimeur, University of Montreal, Canada Abderrahim Ait Wakrime, IRT Railenium, France Jocelyn Aubert, University of Luxembourg, Luxembourg Anis Bkakria, University of Bretagne Loire, France Nora Cuppens-Boulahia, University of Bretagne Loire, France Frédéric Cuppens, University of Bretagne Loire, France Bogdan Groza, Politehnica University of Timisoara, Romania Wided Guedria, Luxembourg Institute of Science and Technology, Luxembourg Brahim Hamid, University of Toulouse, France Christos Kalloniatis, University of the Aegean, Greece Sokratis Katsikas, Norwegian University of Science and Technology, Norway Kais Klai, University of Paris 13, France Igor Kotenko, St. Petersburg Institute for Informatics and Automation, Russia Marc Lacoste, Orange labs, France Jean-Louis Lanet, LHS Rennes, France Mohamed Mosbah, University of Bordeaux, France Raja Natarajan, Tata Institute of Fundamental Research, India Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Kai Rannenberg, Goethe University Frankfurt, Germany Michael Rusinowitch, Lorraine University, France Ketil Stoelen, University of Oslo, Norway Akka Zemmari, Université of Bordeaux, France Lingyu Wang, Concordia University, Canada

1 0

Postdoc position on quantified effects at Reykjavik University
by Tarmo Uustalu 18 Jun '19

18 Jun '19

Quantified computational effects and interaction Department of Computer Science, Reykjavik University One postdoc position Applications are invited for one postdoctoral position at the Department of Computer Science, Reykjavik University. The position is part of a three-year research project funded by the Icelandic Research Fund under the direction of Tarmo Uustalu. The overarching goal of to advance the theory and practice of disciplined effectful programming, based on graded monads, monad-like structures and interaction laws. Interested applicants should contact the PI (email tarmo(a)ru.is) for closer details on the research proposal. The successful candidate will benefit from, and contribute to, the research environment at the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), with research groups on concurrency, logic and semantics, algorithms, combinatorics. For information about ICE-TCS and its activities, see http://icetcs.ru.is/. Moreover, she/he will cooperate with Shin-ya Katsumata and Maciej Piróg during the project work and will benefit from the interaction with their research groups at the National Institute of Informatics in Tokyo and the University of Wroclaw. *Qualification requirements* Applicants for the postdoctoral position should have, or be about to defend, a PhD degree in computer science or a closely related field. Previous knowledge of at least one of lambda calculus and functional programming, proof theory/type theory, programming language semantics, category theory in computer science, proof assistants is a prerequisite. *Remuneration* The wage will be approx 500 kISK per month before income tax, but depend on the qualifications and experience of the postdoc. Check http://payroll.is/en/ for what this means in terms of take-home pay. A tax relief for foreign experts may apply. The position is for two years, to start in autumn 2019 (the start date is negotiable), and is renewable for another year, based on good performance and mutual satisfaction. *Application details* Interested applicants should send their CV, including a list of publications, to the PI (email tarmo(a)ru.is) together with a statement outlining their suitability for the project and the names of at least two references. Informal inquiries about the project and the conditions of work are very welcome. We will review applications as they arrive. Please apply before 5 July 2019.

1 0

GPCE 2019: Final Call for Papers - Athens, Greece; October 21-22 — Deadline Extension
by Rodin Aarssen 17 Jun '19

17 Jun '19

CALL FOR PAPERS — Deadline Extension 18th International Conference on Generative Programming: Concepts & Experiences (GPCE 2019) October 21-22, 2019 Athens, Greece (co-located with SPLASH 2019) https://conf.researchr.org/home/gpce-2019 http://twitter.com/GPCECONF http://www.facebook.com/GPCEConference IMPORTANT DATES Deadlines have been extended by one week from the earlier announcements: * Submission of abstracts: June 21, 2019 * Submission of papers: June 28, 2019 * Paper notification: August 9, 2019 Submission site: https://gpce19.hotcrp.com/ -------------------------------------------------------------------------- SCOPE GPCE is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, * domain-specific languages, language embedding, language design, and language workbenches, * feature-oriented programming, domain engineering, and feature interactions, * applications and properties of code generation, language implementation, and product-line development. Authors are welcome to check with the program co-chairs whether their planned papers are in scope. PAPER SELECTION The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. PAPER CATEGORIES GPCE solicits three kinds of submissions. * Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography. * Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. * Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords "Tool Demo" or "Tool Demonstration" in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission. PAPER SUBMISSION All submissions must use the ACM SIGPLAN Conference Format "acmart", using the "sigplan" sub-format, and 10 point font. Additional details and links to templates and the LaTeX class file can be found on the conference web site: https://conf.researchr.org/home/gpce-2019. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. GPCE will follow a very lightweight model, where author identities are revealed to reviewers after submitting their initial reviews. Hence, the purpose is not to conceal author identities at all cost, but merely to provide reviewers with an unbiased first look at a submission. Author names and institutions should be omitted from submitted papers, and references to the authors' own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. Papers must be submitted using HotCRP: https://gpce19.hotcrp.com/ For additional information, clarification, or answers to questions please contact the program co-chairs. ORGANIZATION Chairs * General chair: Ina Schaefer (TU Braunschweig) * Program co-chair: Christoph Reichenbach (Lund University) * Program co-chair: Tijs van der Storm (CWI / University of Groningen) Program Committee * Jonathan Aldrich (CMU) * Juliana Alves Pereira (University of Rennes, INRIA) * Marsha Chechik (University of Toronto) * Shigeru Chiba (University of Tokyo) * Thomas Degueule (CWI) * Sebastian Erdweg (TU Delft) * Matthew Flatt (University of Utah) * Robert Glück (University of Copenhagen) * Elisa Gonzalez Boix (VUB) * Geoffrey Mainland (Drexel University) * Chris Martens (NCSU) * Maryam Mehri Dehnavi (University of Toronto) * Peter Mosses (Swansea University / TU Delft) * David Pearce (Victoria University of Wellington) * Alex Potanin (Victoria University of Wellington) * Larissa Rocha Soares (Federal University of Bahia) * Ulrik Schultz (University of Southern Denmark) * Sandro Schulze (University of Magdeburg) * Christoph Seidl (TU Braunschweig) * Michel Steuwer (University of Glasgow) * Sam Tobin Hochstadt (Indiana University) * Kanae Tsushima (National Institute of Informatics) * Philip Wadler (University of Edinburgh) * Eric Walkingshaw (Oregon State University) * Adam Welc (Uber) * Peng Wu (Huawei)

1 0

CFP - CRISiS 2019 - Deadline extension and Special issue
by SAOUSSEN CHEIKHROUHOU 16 Jun '19

16 Jun '19

Call for papers The 14th International Conference on Risks and Security of Internet and Systems (CRiSIS) 29-31 October 2019, Hammamet, Tunisia http://crisis2019.redcad.org The International Conference on Risks and Security of Internet and Systems 2019 will be the 14th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defence, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. === IMPORTANT DATES === - Submission deadline: June 21, 2019 (Extended) - Notification to authors: July 20, 2019 - Camera-ready versions: September 22, 2019 - Conference dates: October 29-31, 2019 === SPECIAL ISSUE === Selected papers relevant to business, human and organisational aspects of cybersecurity will be invited to submit extended versions for publication in Information and Computer Security Journal http://emeraldgrouppublishing.com/products/journals/journals.htm?id=ics === TOPICS === The topics addressed by CRiSIS range from the analysis of risks, attacks to networks and system survivability, to security models, security mechanisms and privacy enhancing technologies. The authors are invited to submit research results as well as practical experiment or deployment reports. Industrial papers about applications or case studies are also welcomed in different domains (e.g., telemedicine, banking, e-government, e-learning, e-commerce, critical infrastructures, mobile networks, embedded applications, etc.). The list of topics includes but is not limited to: - Analysis and management of risk - Attacks and defenses - Attack data acquisition and network monitoring - Cryptography, biometrics, watermarking - Dependability and fault tolerance of Internet applications - Distributed systems security and safety - Embedded system security and safety - Empirical methods for security and risk evaluation - Hardware-based security and physical security - Intrusion detection and prevention systems - Organizational, ethical and legal issues - Privacy protection and anonymization - Risk-aware access and usage control - Security and risk assessment - Security and risks metrics - Security and dependability of operating systems - Security and safety of critical infrastructures - Security and privacy of peer-to-peer system - Security and privacy of wireless networks - Security models and security policies - Security of new generation networks, security of VoIP and multimedia - Security of e-commerce, electronic voting and database systems - Security of social networks - Security of industrial control systems - Smartphone security and privacy - Traceability, metrology and forensics - Trust management - Use of smart cards and personal devices for Internet applications - Web and cloud security === PAPER SUBMISSION === Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style ( http://www.springer.de/comp/lncs/authors.html) Authors of accepted papers must guarantee that their papers will be presented at the conference. All paper submissions will be handled through the EasyChair conference management system: https://easychair.org/conferences/?conf=crisis2019 === Proceedings === The proceedings will be published as a volume of Springer's LNCS series. === GENERAL CHAIRS === Nora Cuppens, IMT Atlantique, France Ahmed Hadj Kacem, University of Sfax, Tunisia === PC CHAIRS === Frédéric Cuppens, IMT Atlantique, France Slim Kallel, University of Sfax, Tunisia === PUBLICATION CHAIRS === Nora Cuppens, IMT Atlantique, France Mohamed Mosbah, Bordeaux INP, France === PUBLICITY CHAIRS === Saoussen Cheikhrouhou, University of Sfax, Tunisia Reda Yaich, IRT SystemX, France === LOCAL ORGANISATION COMMITTEE=== Nesrine Khabou, University of Sfax, Tunisia Fairouz Fakhfekh, University of Sfax, Tunisia Riadh Ben Halima, University of Sfax, Tunisia Ismail Bouassida, University of Sfax, Tunisia Hatem Hadj Kacem, University of Sfax, Tunisia === PROGRAM COMMITTEE === Takoua Abdellatif, University of Carthage, Tunisia Esma Aimeur, University of Montreal, Canada Abderrahim Ait Wakrime, IRT Railenium, France Jocelyn Aubert, University of Luxembourg, Luxembourg Anis Bkakria, University of Bretagne Loire, France Nora Cuppens-Boulahia, University of Bretagne Loire, France Frédéric Cuppens, University of Bretagne Loire, France Bogdan Groza, Politehnica University of Timisoara, Romania Wided Guedria, Luxembourg Institute of Science and Technology, Luxembourg Brahim Hamid, University of Toulouse, France Christos Kalloniatis, University of the Aegean, Greece Sokratis Katsikas, Norwegian University of Science and Technology, Norway Kais Klai, University of Paris 13, France Igor Kotenko, St. Petersburg Institute for Informatics and Automation, Russia Marc Lacoste, Orange labs, France Jean-Louis Lanet, LHS Rennes, France Mohamed Mosbah, University of Bordeaux, France Raja Natarajan, Tata Institute of Fundamental Research, India Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Kai Rannenberg, Goethe University Frankfurt, Germany Michael Rusinowitch, Lorraine University, France Ketil Stoelen, University of Oslo, Norway Akka Zemmari, Université of Bordeaux, France Lingyu Wang, Concordia University, Canada

1 0