[Haskell] Open Position: Lecturer in Cybersecurity - University of Exeter

[Achim D. Brucker]

Dear all,

As part of the expansion of the Department of Computer Science [1] at
the University of Exeter, 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].  This is a *unique*
opportunity to join a new group and to influence its future research
and teaching.

We are  looking for a candidate with an outstanding research record 
in any area of cybersecurity such as (but not limited to): 
language-based security, access control, usable security, software security, 
formal methods for security, security analytics, security protocols, 
human aspects of security, security economics, security by design, 
applied cryptography, security testing.

We are particularly keen on research areas that either extend the current 
strength in software security and formal methods in security or that 
complement these existing focus area.

Please apply by 12th of December 2019! See the full announcement and 
application details at

https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=566815Qrwu&WVID=3817591jNg

Feel free to contact me for informal inquires 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 | Chair in Cybersecurity & Head of Group | University of 
Exeter
   https://www.brucker.ch | https://logicalhacking.com/blog
 @adbrucker | @logicalhacking
___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [EDI40-2020] FINAL extension (Dec-18): Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)

[Wim Ectors]

***

The 3rd International Conference on Emerging Data and Industry 4.0 (EDI40)

Warsaw, Poland

April 6-9, 2020

***


Conference Website:  http://cs-conferences.acadiau.ca/EDI40-20/

Workshops: http://cs-conferences.acadiau.ca/EDI40-20/#workshop


Important Dates

  - Paper Submission Due: December 18, 2019 (FINAL)

  - Acceptance Notification: January 13, 2020

  - Camera-Ready Submission: February 10, 2020


EDI40 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 special issues of:


   - International Journal of Ambient Intelligence and Humanized Computing
(IF: 1.910), by Springer (http://www.springer.com/engineering/journal/12652)

   - International Journal of Computing and Informatics (IF: 0.524), by
Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index)

  -  International Journal on Transportation Research Part A: Policy and
Practice (IF: 4.371), by Elsevier (
https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/)


EDI40 2020 will be held in Warsaw, Poland. Warsaw is the capital and
largest city of Poland. The metropolis stands on the Vistula River in
east-central Poland and its population is officially estimated at 1.770
million residents within a greater metropolitan area of 3.1 million
residents, which makes Warsaw the 8th most-populous capital city in the
European Union. The city limits cover 516.9 square kilometres (199.6 sq
mi), while the metropolitan area covers 6,100.43 square kilometres
(2,355.39 sq mi). Warsaw is an alpha global city, a major international
tourist destination, and a significant cultural, political and economic
hub. Its historical Old Town was designated a UNESCO World Heritage Site.


EDI40 2020 will be held in conjunction with the 11th International
Conference on Ambient Systems, Networks and Technologies (ANT,
http://cs-conferences.acadiau.ca/ant-20/).


Conference Tracks

 - Benefits of Industry 4.0

 - Big Data and Analytics

 - Cloud Computing

 - Cognitive Computing

 - Computational Intelligence

 - Cyber-Physical Systems (CPS)

 - Fog Computing and Edge Computing

 - Internet of Everything (IoE)

 - Standards for IoT Application Integration

 - The New Business Models in Industry 4.0

 - General Track: Digitalization Startegies


Committees

General Chair

 Danny Hughes, CTO VeraSense NV, Belgium


Program Chairs

 Jamal Bentahar, Concordia University, Canada

 Haroon Malik, Marshall University, USA


Local Chair

 Nuno Varandas, F6S (Where Founders Grow Together), Portugal


Workshops Chair

 Stephane Galland, UTBM, France Program


Advisory Committee

 Reda Alhajj, University of Calgary, Canada

 Ladislav Hluchy, Institute of Informatics, Slovak Academy of Sciences,
Slovakia

 Vincenzo Loia, University of Salerno, Italy

 Peter Sloot, Universiteit van Amsterdam, Netherlands

 Peter Thomas, Manifesto Research, Australia

 Mohamed Younis, University of Maryland Baltimore County, USA


International Journals Chair

 Michael Sheng, Macquarie University, Australia


Publicity Chairs

 Wim Ectors, Hasselt University, Belgium

 Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de
Technologies, Tunis

 Aneta Poniszewska-Marańda, Lodz University of Technology, Poland


Technical Program Committee

  http://cs-conferences.acadiau.ca/EDI40-20/#programCommittees


International Liaison Chairs

 Soumaya Cherkaoui, Sherbrooke University, Canada

 Nik Bessis, Edge Hill University, UK

 David Taniar, Monash University, Australia


Steering Committee Chair and Founder

 Elhadi Shakshuki, Acadia University, Canada



Sent via Mail Merge

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

[Haskell] [ANT-2020] FINAL extension (Dec-18): Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020)

[Wim Ectors]

The 11th International Conference on Ambient Systems, Networks and
Technologies (ANT)

Warsaw, Poland

April 6-9, 2020


Conference Website:  http://cs-conferences.acadiau.ca/ant-20/

Workshops: http://cs-conferences.acadiau.ca/ant-20/#workshop

Tutorials: http://cs-conferences.acadiau.ca/ant-20/#tutorial


Important Dates

- Paper Submission Due: December 18, 2019 (FINAL)

- Acceptance Notification: January 13, 2020

- Camera-Ready Submission: February 10, 2020


ANT 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 special issues of:


  - International Journal of Ambient Intelligence and Humanized Computing
(IF: 1.910), by Springer (http://www.springer.com/engineering/journal/12652)

  - International Journal of Computing and Informatics (IF: 0.524), by
Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index)

  - International Journal on Transportation Research Part A: Policy and
Practice (IF: 4.371), by Elsevier (
https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/)



ANT 2020 will be held in Warsaw, Poland. Warsaw is the capital and largest
city of Poland. The metropolis stands on the Vistula River in east-central
Poland and its population is officially estimated at 1.770 million
residents within a greater metropolitan area of 3.1 million residents,
which makes Warsaw the 8th most-populous capital city in the European
Union. The city limits cover 516.9 square kilometres (199.6 sq mi), while
the metropolitan area covers 6,100.43 square kilometres (2,355.39 sq mi).
Warsaw is an alpha global city, a major international tourist destination,
and a significant cultural, political and economic hub. Its historical Old
Town was designated a UNESCO World Heritage Site.


ANT 2020 will be held in conjunction with the 3rd International Conference
on Emerging Data and Industry 4.0 (EDI40,
http://cs-conferences.acadiau.ca/edi40-20/).


Conference Tracks

- Agent Systems, Intelligent Computing and Applications

- Big Data and Analytics

- Cloud Computing

- Context-awareness and Multimodal Interfaces

- Emerging Networking, Tracking and Sensing Technologies

- Human Computer Interaction

- Internet of Things

- Mobile Networks, Protocols and Applications

- Modelling and Simulation in Transportation Sciences

- Multimedia and Social Computing

- Service Oriented Computing for Systems & Applications

- Smart, Sustainable Cities and Climate Change Management

- Smart Environments and Applications

- Systems Security and Privacy

- Systems Software Engineering

- Vehicular Networks and Applications

- General Track


Committees

General Chairs

 Atta Badii, University of Reading, UK

 Albert Zomaya, The University of Sydney, Australia


Program Chairs

 Hossam Hassanein, Queen's University, Canada

 Ansar-Ul-Haque Yasar, IMOB – Hasselt University, Belgium


Local Chair

 Nuno Varandas, F6S (Where Founders Grow Together), Portugal


Workshops Chair

 Stephane Galland, UTBM, France Program


Vice Chairs

 Boulmakoul Azedine, Hassan II University, Morocco

 Nik Bessis, Edge Hill University, UK

 Kechar Bouabdellah, Oran 1 Ahmed BenBella University, Algeria

 Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et Métiers,
France

 Robertas Damasevicius, Kaunas University of Technology, Lithuania

 Roberto Di Pietro, Hamad Bin Khalifa University, Qatar

 Jason Jaskolka, Carleton University, Canada

 Faouzi Kammoun, Ecole Supérieure Privée d'Ingénierie et de
Technologies, Tunis

 Natalia Kryvinska, University of Vienna, Austria

 Flavio Lombardi, Roma Tre University of Rome, Italy

 Vuk Marojevic, Mississippi State University, USA

 Haroon Malik, Marshall University, USA

 Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France

 Aneta Poniszewska-Marańda, Lodz University of Technology, Poland

 Angelo Riccio, Parthenope University of Naples, Italy

 Stefan Schulte, TU Wien, Austria

 Miguel Sepulcre, Miguel Hernandez University of Elche, Spain

 Khaled Shaaban, Qatar University, Qatar

 Yves Vanrompay, 

[Haskell] NL-FP Day 2020: 28th Netherlands Functional Programming Day, Amsterdam, January 10, 2020

[Clemens Grelck]

===
   NL-FP Day 2020

  28th Netherlands Functional Programming Day

 Friday, January 10, 2020
  University of Amsterdam
Amsterdam, The Netherlands

  CALL FOR TALK PROPOSALS
  CALL FOR PARTICIPATION

https://sites.google.com/view/nl-fp-day-2020/home

   sponsored by
  University of Amsterdam
   Informatics Institute
===


The Netherlands Functional Programming Day is an annual gathering of
researchers, students, and practitioners sharing a common interest in
functional programming. The day features talks that cover the latest
advances in research, teaching and applications in the area of
functional programming and (implementation of) functional languages.

Coffee and lunch breaks provide ample opportunity for networking with
your colleagues and meeting new people. Experts and newcomers to the
field are equally welcome.

Colleagues from neighboring countries are more than welcome to attend;
the language of the FP Day is English.


Talk proposals:
---
The FP Day consists of a number of contributed talks. Work in progress
talks are just as welcome as talks about mature work recently presented
at international conferences.

Please, upload your talk proposals via EasyChair:
 https://easychair.org/my/conference?conf=nlfp2020
including a short abstract for the FP Day programme.

Deadline: December 13, 2019.


Registration:
-
Participation is free of charge, but registration is required:
 https://forms.gle/rA7XaqH7nCVUouk18

Deadline: December 20, 2019


Dinner:
---
As usual, the NL-FP Day ends with a dinner in a near-by restaurant.
The dinner is optional and at your own cost.


Location:
-
We meet in the historic Doelenzaal of the Amsterdam University Library
(Universiteitsbibliotheek Amsterdam) right in the heart of Amsterdam.

The street address is Singel 425. This is a 20-minute walk from Amsterdam
Centraal. Alternatively, you can take tram lines #2 to Nieuw Sloten, #11 to
Surinameplein or #12 to Amstelstation and alight at tram stop Koningsplein.
Look back from where the tram came and you see the Amsterdam University
Library right in front of you.


Organiser:
--
Clemens Grelck, University of Amsterdam, c.gre...@uva.nl


--
--
Dr Clemens Grelck Science Park 904
Associate Professor   1098XH Amsterdam
Programme Director Software EngineeringNetherlands

University of Amsterdam
Institute for InformaticsT +31 (0) 20 525 8683
System and Network Engineering Lab   F +31 (0) 20 525 7490

Office C3.109 staff.fnwi.uva.nl/c.u.grelck
--

___
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell