December 2019 - Haskell

ZuriHac 2020 (12-14 June) registration is now open
by Jasper Van der Jeugt 06 Dec '19

06 Dec '19

Hi Haskell friends! We are happy to announce that ZuriHac 2020 will take place from Friday the 12th to Sunday the 14th of June, hosted again at the HSR (https://www.hsr.ch/) on the shores of beautiful Lake Zurich. You can find all the information on: https://zurihac.com The Zurich Haskell Hackathon is a free, international, grassroots, and collaborative coding festival. Our goal is to nourish the Haskell community, learn exciting new things, and to have fun working on projects together. This year, we are already excited to announce talks by: - Alexis King - Rob Rix More speakers will be announced later. In addition to talks, we will offer beginner, intermediate, and advanced tracks, similar to last year. The details of this will also be communicated in the coming months. The event is open to any experience level, from beginners to gurus. If you are completely new to Haskell, rest assured that there will be tutorials for you to take, and a bunch of friendly advanced Haskellers to answer your questions and help you along. We will have space for 500 attendees, making this the largest Haskell gathering that we know of! Registration is free and open as of right now: https://zurihac.com/#registration We would also like to thank the Hochschule für Technik Rapperswil for their amazing support and for hosting us again this year. Without them, an event of this scale and quality would be extremely difficult to pull off. We can't wait to see you in June, The Zurich Friends of Haskell (https://zfoh.ch/)

1 0

Internships at Nomadic labs
by Julien Tesson 05 Dec '19

05 Dec '19

Dear all, Nomadic Labs is currently looking for students with an interest in functional programming for internships that would take place in our offices in Paris or Grenoble. We have a catalog of internships topics available at [1] The internships topics are mainly addressed to master student but other well motivated application will be considered. A first selection phase on received résumé will occur on December 15th. Please contact us at contact(a)nomadic-labs.com by specifying which topics in the catalog you're interested in. [1]: https://nomadic-labs.com/download/internship_catalog.pdf

1 0

Open Position: Lecturer in Cybersecurity - University of Exeter
by Achim D. Brucker 03 Dec '19

03 Dec '19

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?VACAN… 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

1 0

[EDI40-2020] FINAL extension (Dec-18): Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020)
by Wim Ectors 03 Dec '19

03 Dec '19

*************************************************************************** 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…) 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 <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

[ANT-2020] FINAL extension (Dec-18): Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020)
by Wim Ectors 03 Dec '19

03 Dec '19

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…) 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, Hasselt University, Belgium Publicity Chairs Wim Ectors, Hasselt University, Belgium Joanna Ochelska-Mierzejewska, Lodz University of Technology, Poland Josep-Maria Salanova, CERTH, Greece International Journals Chair Michael Sheng, Macquarie University, Australia Advisory Committee Reda Alhajj, University of Calgary, Canada Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK Ibad Kureshi, Inlecomm Systems, Belgium Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Katia Sycara, Carnegie Mellon University, USA Peter Thomas, Manifesto Research, Australia International Liaison Chairs Soumaya Cherkaoui, Sherbrooke University, Canada Paul Davidsson, Malmo University, Sweden David Taniar, Monash University, Australia Technical Program Committee http://cs-conferences.acadiau.ca/ant-20/#programCommittees Steering Committee Chair and Founder of ANT Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

NL-FP Day 2020: 28th Netherlands Functional Programming Day, Amsterdam, January 10, 2020
by Clemens Grelck 03 Dec '19

03 Dec '19

=================================================================== 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.grelck(a)uva.nl -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 Associate Professor 1098XH Amsterdam Programme Director Software Engineering Netherlands University of Amsterdam Institute for Informatics T +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 ----------------------------------------------------------------------

1 0

CFP - The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20)
by Yazan Mualla 01 Dec '19

01 Dec '19

CALL FOR PAPERS The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20) ------------------------------------------------------------------------------------------- In conjunction with the 11th International Conference on Ambient Systems, Networks, and Technologies ANT 2020 and the European SarlCon 2020 April 6 - 9, 2020, Warsaw, Poland. http://www.multiagent.fr/Conferences:SARL20 ------------------------------------------------------------------------------------------- Description =========== Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. SARL-20 provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the impact of the approach, and to facilitate technology transfer. SARL workshop was born with the SARL agent programming language, but the scientific results presented in SARL-20 are not restricted to SARL; other languages and agent platforms may be presented. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration. These high-level features are now considered as the major requirements for an easy and practical implementation of modern complex software applications. We are convinced that the agent-oriented paradigm holds the keys to effectively meet these features. Considering the variety of existing approaches and meta-models in the field of agent-oriented engineering and more generally multi-agent systems, our approach remains as generic as possible and highly extensible to easily integrate new concepts and features. The goal of SARL-20 is to provide a place where the different points of view on the modeling and the simulation with agent platforms and agent programming languages may be discussed. SARL-20 will be held in Warsaw, Poland (April 6 - 9, 2020) in conjunction with the 11th International Conference on Ambient Systems, Networks, and Technologies (ANT 2020) and the European SarlCon 2020. Topics ====== The main topics of the SARL-20 workshop are (but not restricted to): * Methods and Models: * Agent based Modeling and Simulation; * Agent programming language; * Agent based Simulation; * Agent oriented analysis and design methods; * Ontologies and theories about large urban systems; * Formal models of agent-based simulation; * Organizational models. * Applications: * Traffic/Transport; * Crowds; * Smart grids and smart buildings; * Land-Use; * Energy. Important Dates =============== * Submission deadline: December 15, 2019; * Notification: January 13, 2020; * Final date for camera-ready copy: February 10, 2020; * Workshop: April 6 - 9, 2020. Submission ========== All workshop accepted papers will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series online. The submitted paper must be formatted according to the guidelines of Procedia Computer Science, Elsevier. You are invited to submit full length papers in PDF format on EasyChair (https://www.easychair.org/conferences/?conf=sarl20) not exceeding 6 pages in length, in single-column format including diagrams and references while following the Procedia Computer Science guidelines. Papers that do not follow these guidelines may be rejected without consideration of their merits. All papers will be reviewed by at least two Program Committee members on the basis of technical quality, originality, clarity, and relevance to the track topics listed above. At least one author of each paper must attend the workshop to present the paper. Workshop Chairs =============== Stéphane GALLAND (Univ. de Technologie de Belfort-Montbéliard, France) Sebastian RODRIGUEZ (RMIT, Australia) Publicity Chairs ================ Yazan MUALLA (Univ. de Technologie de Belfort-Montbéliard, France) Igor TCHAPPI HAMAN (Univ. de Technologie de Belfort-Montbéliard, France) Registration ============ Please visit the ANT20 Registration Page for more information: http://cs-conferences.acadiau.ca/ant-20/#registration Venue, Accomodation & Visa Requirements ======================================= Please visit the ANT20 Venue & Accomodation Page for more information: http://cs-conferences.acadiau.ca/ant-20/#conferenceVenue

1 1

Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20)
by Yazan Mualla 01 Dec '19

01 Dec '19

INVITATION FOR PAPERS AND TALKS The 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) ----------------------------------------------------------------------- In conjunction with: * the 11th International Conference on Ambient Systems, Networks, and Technologies (ANT 2020); * the 9th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-20); * the 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20). April 6-9, 2020, Warsaw, Poland. http://www.multiagent.fr/Conferences:EuSarlCon20 ------------------------------------------------------------------- Description =========== The 2020 European SarlCon is the SARL user meeting that is organized in Europe in order to provide a place where SARL users and developers could exchange their experiences. It will be held on April 6-9, 2020, at Warsaw, Poland. That is the last day of the ANT-2020 conference, the ABMTRANS-20 and the SARL-20 workshops. Submissions directly for the EuSarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 10, 2020, through EasyChair. ABMTRANS-20 and SARL-20 are providing an alternative for publishing longer papers. Important Dates =============== * Paper or talk submission: January 31, 2020; * Acceptance notification: February 10, 2020; * Forum: April 6-9, 2020. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2020) not exceeding 1000 words in length. General Chair ============= Stéphane GALLAND (UBFC, France) <stephane.galland(a)utbm.fr> Program Chairs ============== Yazan MUALLA (UBFC, France) Igor TCHAPPI HAMAN (UBFC, France) Registration ============ You must be registered to the ANT20 conference, which provides the access to its facilities. The EuSarlCon forum is considered as a specific type of tutorial. In order to assist to EuSarlCon20, you must apply to a tutorial registration of the ANT20 conference.

1 1