- Haskell - Haskell.org

Call for participation: Utrecht AFP Summer School
by Wouter Swierstra 06 Apr '20

06 Apr '20

SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 06-10 July 2020 http://www.afp.school # Call for Participation ## About The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. We have decided to advertise the Summer School and accept new registrations for the moment, but we are monitoring the situation with COVID-19 carefully. All the Utrecht Summer Schools offer participants a full refund of their registration fee if they decide to cancel their registration. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * monads and monad transformers; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## Lecturers Utrecht staff: * Gabriele Keller * Trevor McDonell * Wouter Swierstra ## Prerequisites We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. Soft registration deadline: 1 July, 2020 School: 06-10 July, 2020 ## Costs 1700 euro - Housing and registration 1500 euro - Registration only We offer a 1000 discount for students and staff members affiliated with a university or other non-profit organization. ## Scholarships If you're struggling to finance your trip to Utrecht, please let us know. We have a very limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## Further information Further information, including instructions on how to register, is available on our website: http://www.afp.school

1 0

TERMGRAPH 2020: 2nd Call for papers
by Patrick Bahr 03 Apr '20

03 Apr '20

======================================================================= Second Call for Papers TERMGRAPH 2020 Eleventh International Workshop on Computing with Terms and Graphs 5 July, 2020 termgraph.org.uk/2020 An FSCD 2020 Workshop ======================================================================= Graphs and graph transformation systems are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modelling tool to study complex systems, etc. Topics of interest for TERMGRAPH encompass all aspects of term and graph rewriting, and applications of graph transformations in programming, automated reasoning and symbolic computation, including: * Theory of first-order and higher-order term and graph rewriting * Graph grammars * Graph-based models of computation * Graph-based programming languages and modelling frameworks * Applications in functional and logic programming * Applications in automated reasoning and symbolic computation * Term/graph rewriting tools: case studies and system descriptions * Implementation issues The aim of this workshop is to bring together researchers working in these different domains and to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Important Dates: Submission deadline: 15 April 2020 Notification: 15 May 2020 PreProceedings version: 24 May 2020 Online Workshop: 5 July 2020 (Due to the Covid-19 pandemic, the workshop will be held online.) Submissions and Publication: Authors are invited to submit an extended abstract in PDF format of max. 8 pages in EPTCS style (http://style.eptcs.org/) This may include both original work and tutorials on any of the abovementioned topics; work in progress is also welcome. Submission is through Easychair: https://easychair.org/conferences/?conf=termgraph2020 Preliminary proceedings will be available at the workshop. After the workshop, authors will be invited to submit a longer version of their work (typically a 15-pages paper) for publication in EPTCS. These submissions will undergo a second round of refereeing. Programme Committee: Beniamino Accattoli Zena Ariola Patrick Bahr (chair) Clemens Grabmayer Makoto Hamana Wolfram Kahl Frédéric Prost Femke van Raamsdonk David Sabel Contact: Patrick Bahr <paba(a)itu.dk>

1 0

LOPSTR 2020 - First CFP
by Michael Hanus 31 Mar '20

31 Mar '20

====================================================================== LOPSTR 2020: Fist Call for Papers ====================================================================== 30th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2020 https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020/ Bologna, 7-9 September 2020 Abstract Deadline: 5 June 2020 Paper Deadline: 12 June 2020 SCOPE The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development in any language paradigm. LOPSTR 2020 will be co-located with PPDP, WFLP and Microservices. TOPICS Topics of interest cover all aspects of logic-based program development (including in domain-specific languages), all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including: * synthesis; transformation; specialisation; composition; optimisation * specification; analysis and verification; testing and certification * program and model manipulation; inversion * machine learning for program development * transformational techniques in SE; applications and tools Both full papers and extended abstracts describing applications in all these areas are especially welcome. Survey papers and papers that describe experience with industrial applications are also welcome. Important Dates --------------- Abstract submission: 5 June 2020 (AoE) Paper/Extended abstract submission: 12 June 2020 (AoE) Notification: 12 July 2020 Camera-ready (for electronic pre-proceedings): 12 August 2020 Symposium: 7-9 September 2020 Submission Guidelines --------------------- Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages excluding references. Additional pages may be used for appendices (not intended for publication). Reviewers are not required to read appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2020. PROCEEDINGS Post-conference proceedings will be published by Springer in the LNCS series, as in previous editions. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, available also in Overleaf, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. BEST PAPER AWARDS Thanks to Springer's sponsorship, two awards (including a 500EUR prize each) will be given at LOPSTR 2020, based on relevance, originality and technical quality of papers. The PC may split the awards among several papers. PROGRAMME COMMITTEE Elvira Albert, Complutense University of Madrid, Spain María Alpuente, Universitat Politècnica de València, Spain Mauricio Ayala-Rincón, University of Brasilia, Brazil Clara Bertolissi, University Aix-Marseilles, France Emanuele De Angelis, CNR Inst. for Systems Analysis and Computer Science, Italy Maribel Fernández, King's College London, UK (chair) Mario Florido, University of Porto, Portugal Maurizio Gabbrielli, University of Bologna, Italy Robert Glück, University of Copenhagen, Denmark Gopal Gupta, University of Texas at Dallas, US Michael Hanus, Kiel University, Germany Delia Kesner, Université de Paris, France Andy King, University of Kent, UK Temur Kutsia, RISC J. Kepler University of Linz, Austria Giselle Reis, Carnegie Mellon University, Qatar Masahito Sakai, Nagoya University, Japan René Thiemann, University of Innsbruck, Austria Alwen Tiu, The Australian National University, Australia Germán Vidal, Universitat Politècnica de València, Spain LOCAL ORGANISATION Maurizio Gabbrielli, University of Bologna CONTACT For more information please contact the PC Chair: Maribel.Fernandez(a)kcl.ac.uk

1 0

[ANNOUNCE] Glasgow Haskell Compiler 8.10.1 released
by Ben Gamari 24 Mar '20

24 Mar '20

Hello all, The GHC team is happy to announce the availability of GHC 8.10.1. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.1/ GHC 8.10.1 brings a number of new features including: * The new UnliftedNewtypes extension allowing newtypes around unlifted types. * The new StandaloneKindSignatures extension allows users to give top-level kind signatures to type, type family, and class declarations. * A new warning, -Wderiving-defaults, to draw attention to ambiguous deriving clauses * A number of improvements in code generation, including changes * A new GHCi command, :instances, for listing the class instances available for a type. * An upgraded Windows toolchain lifting the MAX_PATH limitation * A new, low-latency garbage collector. * Improved support profiling, including support for sending profiler samples to the eventlog, allowing correlation between the profile and other program events Note that at the moment we still require that macOS Catalina users exempt the binary distribution from the notarization requirement by running `xattr -cr .` on the unpacked tree before running `make install`. This situation will hopefully be improved for GHC 8.10.2 with the resolution of #17418 [1]. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17418

1 1

Multiple Research Positions (3 Doctoral, 5 Post-doctoral) on AI Verification
by Robert Atkey 24 Mar '20

24 Mar '20

AI Secure and Explainable by Construction: Multiple Research Positions (3 Doctoral, 5 Post-doctoral) available at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK. Start date: 1 September 2020; End date: 30 August 2023 Postdoctoral Salary Scale: £31,866 to £40,322 per annum PhD funding: covering PhD fees and stipend for 3.5 years Closing date for Postdoctoral applications: 1 June 2020 We encourage interested applicants to contact us informally ASAP. The project has sufficient flexibility to mitigate the effect of COVID-19, i.e. by accommodating later start date and remote working. The project spans several subjects: type theory, automated and interactive theorem proving, security, AI and machine learning, autonomous systems, natural language processing and generation, legal aspects of AI. It will cover two main application areas: autonomous cars and chatbots, drawing from expertise and infrastructure provided by industrial partners working in these two areas. The project has a significant international span, with 12 partners from Academia and Industry in Europe (France, Germany, Israel, the Netherlands, Norway) and the US. Researchers joining this project will have excellent opportunities to travel to international conferences, organise scientific events, spend time with industrial partners, collaborate with academic leaders in the field, develop their own research profiles as well as gain experience in other AI and CS disciplines. For further information, and instructions how to apply, please visit: http://laiv.uk/index.php/vacancies/ Ekaterina Komendantskaya: http://www.macs.hw.ac.uk/~ek19/ Robert Atkey: https://bentnib.org/ David Aspinall: https://homepages.inf.ed.ac.uk/da/ Burkard Schafer: https://www.law.ed.ac.uk/people/professor-burkhard-schafer Verena Rieser: https://sites.google.com/site/verenateresarieser/

1 0

Wetice 2020 CFP- Second round
by Khouloud Boukadi 24 Mar '20

24 Mar '20

====================================================== *WETICE 2020* The 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 9-11 June 2021, Basque Coast - Bayonne, France Website: http://wetice2020.org ================================================================== The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE (http://wetice2020.org) is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. Due the COVID-19 pandemic, the 29th WETICE edition will be co-located with the 30th edition held on June 9-11, 2021 in Bayonne (French Basque country), France. *First-round process* · Submission deadline: March 22, 2020 (Closed) · Notification to authors: April 25, 2020 · Camera-ready deadline: May 5, 2020 · Authors registration deadline: September 10, 202 *Second-round process* · Submission deadline: July 15, 2020 · Notification to authors: August 15, 2020 · Camera-ready deadline: September 10, 2020 · Authors registration deadline: September 10, 2020 *Context and Scope* The International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises WETICE is an international conference on the state-of-the-art research in enabling technologies for collaboration, consisting of several conference tracks. The 29th WETICE edition will be held on June 2021 in Bayonne (French Basque country), France. With the presence of internationally distinguished keynote speakers: · Barbara Pernici, Politecnico di Milano, Italy · Sabri Skhiri, Eura Nova, Belgium · Luigi Atzori, University of Cagliari, Italy WETICE topics of interest include but are not limited to: * Cloud-Based Collaborative Technologies in IoT * Adaptive and Reconfigurable Systems and Architectures * Complex Networks Monitoring, Security and Fraud Detection for Enterprises * Convergence of Distributed Clouds, Grids and their Management * Data Exploration in the Web 3.0 Age * Collaborative Software Processes * Formal Verification of Service Based Systems * Future Internet Services and Applications * Semantic Technologies in Smart Information Sharing and Web Collaboration * Security, Safety and Trust Management *List of Tracks* · Adaptive Computing (and Agents) for Enhanced Collaboration <http://didattica.agentgroup.unimore.it/ACEC2020> · Adaptive and Reconfigurable Systems and Architectures <http://www.redcad.org/events/arosa2020/> · Convergence of Distributed Clouds, Grids and their Management <http://cdcgm.dmi.unict.it/> · Collaborative Modeling & Simulation · Complex Networks Monitoring and Security and Fraud Detection for Enterprises <http://kinf.pwr.edu.pl/conesec2020/> · Future Internet Services and Applications <http://www-public.imtbs-tsp.eu/~sellam_m/FISA19/> · Security, Safety and Trust Management <http://conferences.mcs.nust.edu.pk/sstm2019/> · Validating Software for Critical Systems <http://www.cs.unict.it/~fornaia/vsc/2019/> · Semantic Technologies for Smart Information Sharing and Web Collaboration <http://web2touch2019.gear.host/index.html> · Smart Living Space <https://gerontechlab.faculty.wvu.edu/conferences/wetice-sls-track> *Manuscript Guidelines and Submission* Papers up to six (6) pages (including figures, tables and references) should contain original contributions not published or submitted elsewhere and are to be formatted according to the IEEE template. Accepted papers will be included in the proceedings published by the IEEE Computer Society Press and will be archived in the IEEE digital library. The page limit for Full papers is 6 pages. No extra pages are allowed. The page limit for Short papers is 4 pages. No extra pages are allowed. At least one author for each accepted paper should register and attend WETICE 2020 to have the paper published in the proceedings. Papers should be submitted through the EasyChair platform using the following link: https://easychair.org/conferences/?conf=wetice2020 ================================================================== *General Chairs* Ernesto Exposito, Université de Pau et des Pays de l’Adour, France Khalil Drira, LAAS-CNRS, France *Program Chairs* Stefania Monica, Università degli Studi di Parma, Italy Sami Yangui, LAAS-CNRS, France ================================================================== -- ********************************************************************************************************* *Khouloud Boukadi. Ph.D* *Associate Professor of Computer Science* Researcher in Multimedia, InfoRmation systems & Advanced Computing Laboratory-Miracl (http:// www.miracl.rnu.tn) Coordinator of Master of Science in IT Auditing and Cyber-Security Faculty of Economics and Management of Sfax (FSEGS <http://www.fsegs.rnu.tn/>) University of Sfax, Tunisia Office: +216 74 279 710 Fax: +216 74 279 139 *********************************************************************************************************

1 0

2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)
by Achim D. Brucker 20 Mar '20

20 Mar '20

Two fully funded PhD scholarships for EU/UK applicants are available in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in some of the following topics: - safety or security of (software) systems, - formal modelling or formal reasoning/verification, - program analysis or program verification, - language-based security - semantics of programming languages, - theorem proving, model checking, - cryptographic protocols, - distributed systems (e.g., blockchain), - specification-based testing, and - design and implementation of security architectures. This award provides annual funding to cover UK/EU tuition fees and a tax-free stipend. For students who pay UK/EU tuition fees the award will cover the tuition fees in full, plus at least £15,009 per year tax-free stipend. The studentship will be awarded on the basis of merit for 3.5 years of full-time study. For more details, please consult the official advertisement: http://www.exeter.ac.uk/studying/funding/award/?id=3887 The closing date for applications is midnight on 1 May 2020. Project-specific queries should be directed to the supervisors, Prof Achim Brucker (A.Brucker(a)exeter.ac.uk) or Dr Diego Marmsoler (D.Marmsoler(a)exeter.ac.uk) Best, Achim and Diego [1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/ [2] https://www.brucker.uk/ [3] https://marmsoler.com/ [4] http://emps.exeter.ac.uk/computer-science/ -- Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog *We are hiring:* * Lecturer (Assistant Professor) - Deadline 2020-04-08: https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-an… * Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01: http://www.exeter.ac.uk/studying/funding/award/?id=3887

1 0

Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
by Achim D. Brucker 20 Mar '20

20 Mar '20

Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08) As part of the expansion of the Department of Computer Science at the University of Exeter [1], we are recruiting for a Lecturer in Cybersecurity. The lecturer will be part of the newly formed Security and Trust of Advanced Systems Group [2]. We are looking for a candidate with an outstanding research record in any area related to cyber security (information security) such as (but not limited to): - access control - usable security - software/application security - formal methods for security - language-based security/privacy - secure programming - information flow - security protocols - network security - security of distributes systems - human aspects of security - hardware security - security economics - security-by-design - applied cryptography - privacy-enhancing technologies - threat hunting, security analytics - threat modelling - forensics, reverse engineering - trustworthy AI/ML - security/penetration testing You will have a PhD or equivalent in Cybersecurity, Computer Science, Mathematics, Engineering or a related area. Please refer to the job description for full details. We understand **security and safety entangled concepts**: in most modern systems one cannot be achieved without the other. Hence, we encourage also candidates working in related domains such as **safety, dependability, resilience, or reliability** to apply. Please apply by 8th of April 2020! See the full announcement and application details at https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACAN… We are happy to do online/remote interviews. Feel free to contact me for informal inquiries about the post. Best, Achim [1] https://www.exeter.ac.uk/computer-science/ [2] https://emps.exeter.ac.uk/computer-science/research/cyber-security/ -- Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog *We are hiring:* * Lecturer (Assistant Professor) - Deadline 2020-04-08: https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-an… * Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01: http://www.exeter.ac.uk/studying/funding/award/?id=3887

1 0

CFP: ACM Scala Symposium 2020
by David Richter 18 Mar '20

18 Mar '20

Eleventh ACM SIGPLAN Scala Symposium https://2020.ecoop.org/home/scala-2020 Berlin, Germany July, 2020 Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The ACM SIGPLAN Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ECOOP 2020 in Berlin, Germany. # Topics of Interest We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Do not hesitate to contact the Program Chair (namin(a)seas.harvard.edu) if you are unsure whether a particular topic falls within the scope of Scala 2020. # Important dates Paper submission: April 7, 2020 Paper notification: May 22, 2020 Student talk submission: May 29, 2020 Student talk notification: June 12, 2020 Camera ready: June 5, 2020 Scala Symposium: co-located with ECOOP in July 2020, TBA # Submission Format To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) * Open-source talks (short abstract only, in plain text) The Scala Symposium uses a lightweight double-blind reviewing process, so we ask that research papers, both full and short, be anonymized. Tools papers and talks proposals need not be anonymized. Authors should omit their names from their submissions, and should avoid revealing their identity through citation. Accepted papers (either full papers, short ones or tool papers, but not talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page. Scala 2019 submissions must conform to the ACM Policy on Prior Publication and Simultaneous Submissions and to the SIGPLAN Republication Policy. Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. # Full and Short Papers Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). # Tool Papers Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chair. # Student Talks In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks are about 15 minutes long, presenting ongoing or completed research related to Scala. In previous years, each student with an accepted student talk received a grant (donated by our sponsors) covering registration and/or travel costs. # Open-Source Talks We will also accept a limited number of short talks about open-source projects using Scala presented by contributors. An open-source talk is not accompanied by a paper (it is sufficient to submit a short abstract of the talk in plain text). Open-source talks are about 15 minutes long and should be about topics relevant to the symposium. They may, for instance, present or announce an open-source project that would be of interest to the Scala community. # Organizing Committee * (General Chair) Guido Salvaneschi - TU Darmstadt, Germany * (PC Chair) Nada Amin - Harvard University, United States * (Publicity Chair) David Richter - TU Darmstadt, Germany # Program Committee * Oliver Bracevac - TU Darmstadt, Germany * Youyou Cong - Tokyo Institute of Technology, Japan * Oleg Kiselyov - Tohoku University, Japan * Victor Kuncak - EPFL, Switzerland * Fengyun Liu - EPFL Switzerland * Mikael Mayer - EPFL, Switzerland * Ragnar Mogk - TU Darmstadt, Germany * Adriaan Moors - Lightbend * Jon Pretty - Propensive Ltd * Julien Richard-Foy - Scala Center * Georg Stefan Schmid - EPFL, Switzerland * Ruby Tahboub - Purdue University, United States * Philip Wadler - University of Edinburgh, United Kingdom # Submission Website The submission will be managed through HotCRP: https://scala20.hotcrp.com/ For questions and additional clarifications, please contact the conference organizers.

1 0

[FNC-2020] CFP (extended): Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020)
by Wim Ectors 16 Mar '20

16 Mar '20

------------------------------------------------------------------------ The 15th International Conference on Future Networks and Communications Leuven, Belgium August 9-12, 2020 http://cs-conferences.acadiau.ca/fnc-20/ ------------------------------------------------------------------------ Future Networks and Communications (FNC) research effort will help to achieve a major promise of emerging technologies such as ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education. The scope of FNC is the development of energy-efficient future network infrastructures that support the convergence and interoperability of heterogeneous mobile, wired and wireless broadband network technologies as enablers of the future Internet. This includes but not limited to ubiquitous fast broadband access and ultra-high speed end-to-end optical connectivity, supporting open services and innovative ambient applications. The scope also embraces novel and evolutionary approaches to tackle network architectures, taking due consideration of users and societal needs for success. Important Dates ---------------- - Paper Submission Due: April 9, 2020 (EXTENDED) - Acceptance Notification: May 17, 2020 - Final Manuscript Due: June 15, 2020 Publication ------------ All FNC 2020 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. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.901), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) FNC 2020 will be held in conjunction with the 17th International Conference on Mobile Systems and Pervasive Computing (MobiSPC http://cs-conferences.acadiau.ca/mobispc-20/) FNC 2020 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometers (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals in Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. Leuven's Town Hall is one of the best-known Gothic town halls worldwide and Leuven's pride and joy. It took three architects and thirty years to build it. Leuven's 'Hall of Fame' features 236 statues, which were only added to the faÃ§ade after 1850. There are 220 men and 16 women in total. On the bottom floor are famous Leuven scientists, artists and historical figures, dressed in Burgundian garb. The first floor is reserved for the patron saints of the various parishes of Leuven. The facade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. COMMITTEES: ----------- General Chair Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences, Slovakia Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Workshops Chair Muhammad Adnan, Hasselt University, Belgium International Journals Chair Atta Badii, Reading University, UK Publicity Chairs Wim Ectors, Hasselt University, Belgium Mohammed Erritali, University Sultane Moulay Slimane, Morocco Advisory Committee Soumaya Cherkaoui, Sherbrooke University, Canada Erol Gelenbe, Imperial College, UK Roch Glitho, Concordia University, Canada Zygmunt J. Haas, Cornell University, USA Philippe Martins, Telecom Paris Tech, France Peter Sloot, Universiteit van Amsterdam, Netherlands David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/fnc-20/#programCommittees Sent via Mail Merge for Gmail <https://gsuite.google.com/marketplace/app/mail_merge_with_attachments/22340…>

1 0