From yazan.mualla at utbm.fr Sun Dec 1 14:49:13 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Sun, 1 Dec 2019 15:49:13 +0100 (CET) Subject: [Haskell] Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) In-Reply-To: <796427225.185346044.1573989126301.JavaMail.zimbra@utbm.fr> References: <796427225.185346044.1573989126301.JavaMail.zimbra@utbm.fr> Message-ID: <1695621194.260044906.1575211753929.JavaMail.zimbra@utbm.fr> 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) 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Sun Dec 1 14:51:29 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Sun, 1 Dec 2019 15:51:29 +0100 (CET) Subject: [Haskell] CFP - The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20) In-Reply-To: <539744786.185353663.1573989340314.JavaMail.zimbra@utbm.fr> References: <539744786.185353663.1573989340314.JavaMail.zimbra@utbm.fr> Message-ID: <1076200834.260056116.1575211889426.JavaMail.zimbra@utbm.fr> 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 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From c.grelck at uva.nl Tue Dec 3 11:57:47 2019 From: c.grelck at uva.nl (Clemens Grelck) Date: Tue, 3 Dec 2019 12:57:47 +0100 Subject: [Haskell] NL-FP Day 2020: 28th Netherlands Functional Programming Day, Amsterdam, January 10, 2020 Message-ID: <71ff0d64-6a53-70f9-e83b-2a53a1c54480@uva.nl> =================================================================== 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 at 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 ---------------------------------------------------------------------- From wim.ectors at uhasselt.be Tue Dec 3 12:32:53 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 3 Dec 2019 07:32:53 -0500 Subject: [Haskell] [ANT-2020] FINAL extension (Dec-18): Conference on Ambient Systems, Networks and Technologies. Warsaw, Poland (April 6-9, 2020) Message-ID: 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, 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Tue Dec 3 12:35:43 2019 From: wim.ectors at uhasselt.be (Wim Ectors) Date: Tue, 3 Dec 2019 07:35:43 -0500 Subject: [Haskell] [EDI40-2020] FINAL extension (Dec-18): Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020) Message-ID: *************************************************************************** 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From brucker at spamfence.net Tue Dec 3 13:54:14 2019 From: brucker at spamfence.net (Achim D. Brucker) Date: Tue, 3 Dec 2019 13:54:14 +0000 Subject: [Haskell] Open Position: Lecturer in Cybersecurity - University of Exeter Message-ID: <20191203135414.x7o6ywcbud2273en@ananogawa.home.brucker.ch> 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 From julien.tesson at nomadic-labs.com Thu Dec 5 16:05:05 2019 From: julien.tesson at nomadic-labs.com (Julien Tesson) Date: Thu, 05 Dec 2019 16:05:05 +0000 Subject: [Haskell] Internships at Nomadic labs In-Reply-To: References: Message-ID: <54bcfeef-f292-5085-bfa6-d61b0c1e1740@nomadic-labs.com> 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 at nomadic-labs.com by specifying which topics in the catalog you're interested in. [1]: https://nomadic-labs.com/download/internship_catalog.pdf From jaspervdj at gmail.com Fri Dec 6 14:42:15 2019 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Fri, 6 Dec 2019 15:42:15 +0100 Subject: [Haskell] ZuriHac 2020 (12-14 June) registration is now open Message-ID: <20191206144215.GA5020@kakigori> 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/) From fa-ml at ariis.it Sun Dec 8 05:00:14 2019 From: fa-ml at ariis.it (Francesco Ariis) Date: Sun, 8 Dec 2019 06:00:14 +0100 Subject: [Haskell] [ANN] Venzone, an ASCII adventure/platformer Message-ID: <20191208050014.GA14854@x60s.casa> Hello -cafe, I am pleased to announce the release of `venzone`, an ASCII platform/adventure game. See it in action here: http://www.ariis.it/static/articles/venzone/venzone-cast.gif Get it (binaries or source) in the game page [1] or check Discourse [2] for a more details on the release. Happy festivities everyone! -F [1] http://www.ariis.it/static/articles/venzone/page.html [2] https://discourse.haskell.org/t/venzone-an-ascii-adventure-platformer-written-in-haskell/1004 From jaspervdj at gmail.com Sun Dec 8 22:03:31 2019 From: jaspervdj at gmail.com (Jasper Van der Jeugt) Date: Sun, 8 Dec 2019 23:03:31 +0100 Subject: [Haskell] Call for Haskell.org Committee Nominations Message-ID: <20191208220331.GA5365@kakigori> Dear Haskellers, It is time to put out a call for new nominations (typically but not necessarily self-nominations) to the Haskell.org committee. We have three members of our committee due for retirement -- Jasper Van der Jeugt, Niki Vazou, and Mitsutoshi Aoe. To nominate yourself, please send an email to committee at haskell.org by the 7th of January, 2020. The retiring members are eligible to re-nominate themselves. Please feel free to include any information about yourself that you think will help us to make a decision. The Haskell.org committee serves as a board of directors for Haskell.org, a 501(c)3 nonprofit which oversees technical and financial resources related to Haskell community infrastructure. Being a member of the committee does not necessarily require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. Strong leadership, communication, and judgement are very important characteristics for committee members. The role is about setting policy, providing direction/guidance for Haskell.org infrastructure, planning for the long term, and being fiscally responsible with the Haskell.org funds (and donations). As overseers for policy regarding the open source side of Haskell, committee members must also be able to set aside personal or business related bias and make decisions with the good of the open source Haskell community in mind. We seek a broad representation from different segments of the Haskell world -- including but not limited to those focused on education, those focused on industrial applications, those with background in organizing users-groups, and those focused directly on our technical infrastructure. More details about the committee's roles and responsibilities are on https://wiki.haskell.org/Haskell.org_committee If you have any questions about the process, please feel free to e-mail us at committee at haskell.org, or contact one of us individually. Warm regards, Jasper Van der Jeugt From c.grelck at uva.nl Mon Dec 9 21:28:01 2019 From: c.grelck at uva.nl (Clemens Grelck) Date: Mon, 9 Dec 2019 22:28:01 +0100 Subject: [Haskell] PhD candidate or Postdoc position (Uni Amsterdam) in programming languages for multi-core embedded systems Message-ID: <9cb3ac18-903b-df75-809c-d5f89c10ccd5@uva.nl> The _Parallel Computing Systems (PCS)_ group at the Informatics Institute (IvI) of the University of Amsterdam (UvA) is looking for a PhD candidate or a postdoctoral researcher (depending on prior qualification) to work within the EU-funded Horizon-2020 project ADMORPH. The ADMORPH consortium brings together 4 academic and 4 industrial partners from across Europe and is coordinated by the University of Amsterdam. The successful candidate will conduct research in the area of domain-specific (functional) programming languages, including their compilers and runtime systems, for heterogeneous multi-core adaptive cyber-physical systems that are robust against component failure and cyber-attacks. Further details as well as instructions for application can be found at our official vacancies site: https://www.uva.nl/en/content/vacancies/2019/10/19-725-researcher-in-specification-and-programming-of-adaptive-cyber-physical-systems.html Closing date: December 12, 2019. For informal inquiries, please contact: Dr Clemens Grelck . -- ---------------------------------------------------------------------- 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 ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From wim.ectors at uhasselt.be Tue Dec 10 09:08:44 2019 From: wim.ectors at uhasselt.be (wim.ectors at uhasselt.be) Date: Tue, 10 Dec 2019 04:08:44 -0500 Subject: [Haskell] [FNC-2020] Call for workshop proposals: Conference on Future Networks and Communications. Leuven, Belgium (August 9-12, 2020) Message-ID: ------------------------------------------------------------------------ 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 ---------------- - Workshop Proposal Due: February 20, 2020 - Paper Submission Due: March 19, 2020 - 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-practice/) 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From Sam.Lindley at ed.ac.uk Tue Dec 10 16:52:28 2019 From: Sam.Lindley at ed.ac.uk (Sam Lindley) Date: Tue, 10 Dec 2019 16:52:28 +0000 Subject: [Haskell] MSFP 2020 - Second Call for Papers Message-ID: Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 25th April 2020, Dublin, Ireland A satellite workshop of ETAPS 2020 https://msfp-workshop.github.io/msfp2020/ ** Deadline: 9th January (abstract), 16th January (paper) ** The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Important Dates: ================ Abstract deadline: 9th January (Thursday) Paper deadline: 16th January (Thursday) Notification: 27th February (Thursday) Final version: 26th March (Thursday) Workshop: 25th April (Saturday) Invited Speakers: ================= Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France Satnam Singh - Google Research, USA Program Committee: ================== Stephanie Balzer - CMU, USA Kwanghoon Choi - Chonnam, South Korea Ralf Hinze - Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu - Imperial, UK Maaike Zwart - Oxford, UK Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Sam Lindley (Sam.Lindley at ed.ac.uk) and Max New (maxnew at ccs.neu.edu) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages that we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Submissions must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. A short abstract should be submitted a week in advance of the paper deadline (for both full paper and extended abstract submissions). We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2020 -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From wadler at inf.ed.ac.uk Tue Dec 10 18:22:26 2019 From: wadler at inf.ed.ac.uk (Philip Wadler) Date: Tue, 10 Dec 2019 18:22:26 +0000 Subject: [Haskell] Lecturer/Senior Lecturer/Reader in Programming Languages for Trustworthy Systems in Edinburgh LFCS Message-ID: Lecturer/Senior Lecturer/Reader in Programming Languages for Trustworthy Systems in Edinburgh LFCS https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=050700 The University of Edinburgh seeks to appoint a Lecturer/Senior Lecturer/Reader in Programming Languages for Trustworthy Systems. An ideal candidate will be able to contribute and complement the expertise of the Programming Languages & Foundations Group which is part of the Laboratory for Foundations of Computer Science (LFCS). The successful candidate will have a PhD, an established research agenda and the enthusiasm and ability to undertake original research, to lead a research group, and to engage with teaching and academic supervision, with expertise in at least one of the following: - Practical systems verification: e.g. for operating systems, databases, compilers, distributed systems - Language-based verification: static analysis, verified systems / smart contract programming, types, SAT/SMT solving - Engineering trustworthy software: automated/property-based testing, bug finding, dynamic instrumentation, runtime verification We are seeking current and future leaders in the field. Applications from individuals from underrepresented groups in Computer Science are encouraged. Appointment will be full-time and open-ended. The post is situated in the Laboratory for Foundations of Computer Science, the Institute in which the School's expertise in functional programming, logic and semantics, and theoretical computer science is concentrated. Collaboration relating to PL across the School is encouraged and supported by the School's Programming Languages Research Programme, to which the successful applicant will be encouraged to contribute. Applicants whose PL-related research aligns well with particular strengths of the School, such as machine learning, AI, robotics, compilers, systems, and security, are encouraged to apply and highlight these areas of alignment. All applications must contain the following supporting documents: • Teaching statement outlining teaching philosophy, interests and plans • Research statement outlining the candidate’s research vision and future plans • Full CV (resume) and publication list The University job posting and submission site, including detailed application instructions, is at this link: https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=050700 Applications close at 5pm GMT on January 31, 2020. This deadline is firm, so applicants are exhorted to begin their applications in advance. Shortlisting for this post is due early February with interview dates for this post expected to fall in early April 2020. Feedback will only be provided to interviewed candidates. References will be sought for all shortlisted candidates. Please indicate on your application form if you are happy for your referees to be contacted. Informal enquiries may be addressed to Prof Philip Wadler ( wadler at inf.ed.ac.uk). Lecturer Grade: UE08 (£41,526 - £49,553) Senior Lecturer or Reader Grade: UE09 (£52,559 - £59,135) The School is advertising a number of positions, including this one, as described here: https://www.ed.ac.uk/informatics/about/work-with-us/vacancies/academic-recruitment About the Laboratory for Foundations of Computer Science As one of the largest Institutes in the School of Informatics, and one of the largest theory research groups in the world, the Laboratory for Foundations of Computer Science combines expertise in all aspects of theoretical computer science, including algorithms and complexity, cryptography, database theory, logic and semantics, and quantum computing. The Programming Languages and Foundations group includes over 25 students, researchers and academic staff, working on functional programming, types, verification, semantics, software engineering, language-based security and new programming models. Past contributions to programming languages research originating at LFCS include Standard ML, the Edinburgh Logical Framework, models of concurrency such as the pi-calculus, and foundational semantic models of effects in programming languages, based on monads and more recently algebraic effects and handlers. About the School of Informatics and University of Edinburgh The School of Informatics at the University of Edinburgh is one of the largest in Europe, with more than 120 academic staff and a total of over 500 post-doctoral researchers, research students and support staff. Informatics at Edinburgh rated highest on Research Power in the most recent Research Excellence Framework. The School has strong links with industry, with dedicated business incubator space and well-established enterprise and business development programmes. The School of Informatics has recently established the Bayes Centre for Data Technology, which provide a locus for fruitful multi-disciplinary work, including a range of companies collocated in it. The School holds a Silver Athena SWAN award in recognition of our commitment to advance the representation of women in science, mathematics, engineering and technology. We are also Stonewall Scotland Diversity Champions actively promoting LGBT equality. . \ Philip Wadler, Professor of Theoretical Computer Science, . /\ School of Informatics, University of Edinburgh . / \ and Senior Research Fellow, IOHK . http://homepages.inf.ed.ac.uk/wadler/ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: not available URL: From mail at joachim-breitner.de Wed Dec 11 10:10:10 2019 From: mail at joachim-breitner.de (Joachim Breitner) Date: Wed, 11 Dec 2019 11:10:10 +0100 Subject: [Haskell] Request for Nominations to the GHC Steering Committee Message-ID: Dear Haskell community, the GHC Steering committee is seeking nominations for one new member. The committee scrutinizes, nitpicks, improves, weights and eventually accepts or rejects proposals that extend or change the language supported by GHC and other (public-facing) aspects of GHC. Our processes are described at https://github.com/ghc-proposals/ghc-proposals which is also the GitHub repository where proposals are proposed. We are looking for a member who has the ability * to understand such language extension proposals, * to find holes and missing corner cases in the specifications, * foresee the interaction with other language features and specifications, * comment constructively and improve the proposals, * judge the cost/benefit ratio and * finally come to a justifiable conclusion. We look for committee members who have some of these properties: * have substantial experience in writing Haskell applications or libraries, which they can use to inform judgements about the utility or otherwise of proposed features, * have made active contributions to the Haskell community, for some time, * have expertise in language design and implementation, in either Haskell or related languages, which they can share with us. The committee’s work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. The GHC developers themselves are already well represented already. We seek Haskell _users_ more than GHC hackers. There is no shortage of people who are eager to get fancy new features into the language, both in the committee and the wider community. But each new feature imposes a cost, to implement, to learn, (particularly) through its unexpected interaction with other features. We need to strike a balance, one that encourages innovation (as GHC always has) while still making Haskell attractive for real-world production use and for teaching. We therefore explicitly invite “conservative” members of the community to join the committee. To make a nomination, please send an email to me (as the committee secretary) at mail at joachim-breitner.de until January 2nd. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. We explicitly encourage self-nominations. You can nominate others, but please obtain their explicit consent to do so. (We don’t want to choose someone who turns out to be unable to serve.) On behalf of the committee, Joachim Breitner -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From ben at well-typed.com Wed Dec 11 18:27:50 2019 From: ben at well-typed.com (Ben Gamari) Date: Wed, 11 Dec 2019 13:27:50 -0500 Subject: [Haskell] [ANNOUNCE] Glasgow Haskell Compiler 8.10.1-alpha2 released Message-ID: <8736dq90pr.fsf@smart-cactus.org> Hello all, The GHC team is happy to announce the availability of the first alpha release in the GHC 8.10 series. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.1-alpha2/ GHC 8.10.1 will bring 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 This release is the second alpha of the 8.10 pre-release cycle. The release will be a release candidate in roughly three weeks. If all goes well the final release will be cut roughly two weeks after the candidate, in mid-January. This being an alpha release, there are a few issues that are still outstanding: * The new Alpine Linux binary distribution is not present due to an apparent correctness issue [1]; any help Alpine users can offer here would be greatly appreciated. * We have yet to sort out compliance with Apple's notarization requirements [2] which will be likely be necessary for users of macOS Catalina. However, until this has been sorted out Catalina users can exempt the current macOS binary distribution from the notarization requirement themselves by running `xattr -cr .` on the unpacked tree before running `make install`. * There is one remaining non-regression correctness issue which we plan to fix for the final 8.10.1 but that is not fixed in this release. Please do test this release and let us know if you encounter any other issues. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17508 [2] https://gitlab.haskell.org/ghc/ghc/issues/17418 -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 487 bytes Desc: not available URL: From c.grelck at uva.nl Fri Dec 13 21:30:50 2019 From: c.grelck at uva.nl (Clemens Grelck) Date: Fri, 13 Dec 2019 22:30:50 +0100 Subject: [Haskell] NL-FP Day 2020: 28th Netherlands Functional Programming Day, Amsterdam, January 10, 2020 Message-ID: <37a8994f-a076-2e90-b3ee-06bbfa2dd378@uva.nl> =================================================================== NL-FP Day 2020 28th Netherlands Functional Programming Day Friday, January 10, 2020 University of Amsterdam Amsterdam, The Netherlands FINAL 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 16, 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 at 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 ---------------------------------------------------------------------- -------------- next part -------------- An HTML attachment was scrubbed... URL: From tarmo at cs.ioc.ee Sun Dec 15 23:45:16 2019 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Mon, 16 Dec 2019 01:45:16 +0200 Subject: [Haskell] First ETAPS Doctoral Dissertation Award Message-ID: <20191216014516.329a060e@cs.ioc.ee> First ETAPS Doctoral Dissertation Award ================================= The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS). Doctoral dissertations are evaluated with respect to originality, relevance, and impact to the field, as well as the quality of writing. The award winner will receive a monetary prize and will be recognized at the ETAPS Banquet. Eligibility ----------- Eligible for the award is any PhD student whose doctoral dissertation is in the scope of the ETAPS conferences and who completed their doctoral degree at a European academic institution in the period from January 1st, 2019 to December 31st, 2019. Nominations ----------- Award candidates should be nominated by their supervisor. Members of the Award Committee are not allowed to nominate their own PhD students for the award. Nominations consist of a single PDF file (extension .pdf) containing: * name and email address of the candidate * a short curriculum vitae of the candidate * name and email address of the supervisor * an endorsement letter from the supervisor * the final version of the doctoral dissertation * institution and department that has awarded the doctorate * a document certifying that the doctoral degree was successfully completed within the eligibility period * a report from at least one examiner of the dissertation who is not affiliated with the candidate's institution All documents must be written in English. Nominations are welcome regardless of whether results that are part of the dissertation have been published at ETAPS. Nominations should be submitted via EasyChair: https://easychair.org/conferences/?conf=etapsdda2020 The deadline for nominations is January 19th, 2020. Award Committee --------------- Caterina Urban (chair) Amal Ahmed (representing ESOP) Dirk Beyer (representing TACAS) Andrew Pitts (representing FoSSaCS) Perdita Stevens (representing FASE) Marieke Huisman From stefan.wehr at gmail.com Mon Dec 16 15:00:35 2019 From: stefan.wehr at gmail.com (Stefan Wehr) Date: Mon, 16 Dec 2019 16:00:35 +0100 Subject: [Haskell] Call for Participation: BOB 2020 (February 28, Berlin) Message-ID: ================================================================================ BOB 2020 Conference “What happens if we simply use what’s best?” February 28, 2020, Berlin http://bobkonf.de/2020/ Program: http://bobkonf.de/2020/en/program.html Registration: http://bobkonf.de/2020/en/registration.html ================================================================================ BOB is the conference for developers, architects and decision-makers to explore technologies beyond the mainstream in software development, and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experiences. The program features 14 talks and 8 tutorials on current topics: http://bobkonf.de/2020/en/program.html The subject range of talks includes functional programming, formal methods, architecture documentation, functional-reactive programming, and language design. The tutorials feature introductions to Idris, Haskell, F#, TLA+, ReasonML, and probabilistic programming. Heather Miller will give the keynote talk. Registration is open online: http://bobkonf.de/2020/en/registration.html NOTE: The early-bird rates expire on February 19, 2020! BOB cooperates with racketfest and :clojureD on the day before/after BOB: https://racketfest.com/ https://clojured.de/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue Dec 17 10:25:47 2019 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 17 Dec 2019 10:25:47 +0000 Subject: [Haskell] 10 PhD studentships in Nottingham Message-ID: <7519897A-A8A1-4BF0-82DA-02E9AC9B64D4@nottingham.ac.uk> Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded international PhD studentships: https://tinyurl.com/10-phds-2020 Applicants in the area of the Functional Programming Laboratory (https://tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible (the application deadline is 17th January): Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Venanzio Capretta - type theory, mathemZZatical logic, corecursive structures, proof assistants, category theory, epistemic logic. Graham Hutton - not taking on any new students this year, but you may find these notes useful: https://tinyurl.com/scbkxkr Henrik Nilsson - functional reactive programming, domain- specific languages, generalised notions of computation. These positions are only open to international applicants. An advert for UK/EU applicants will be posted in January 2020. Best wishes, Graham +-----------------------------------------------------------+ 10 Fully-Funded International PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/10-phds-2020 Applications are invited for 10 fully-funded international PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1st October 2020. The topics for the studentships are open, but should relate to the interests of one of the School’s research groups: Agents Lab; Computational Optimisation and Learning Lab; Computer Vision Lab; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality Lab; Data Driven Algorithms, Systems and Design and Uncertainty in Data and Decision Making The studentships are for three and a half years and include a stipend of £15,009 per year and tuition fees. Applicants are normally expected to have a first-class Masters or Bachelors degree in Computer Science or a related discipline, and must obtain the support of a potential supervisor in the School prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Successful applicants are expected to apply for an International VC Scholarship. Informal enquiries may be addressed to Kathleen.Fennemore at nottingham.ac.uk. To apply, please submit the following items by email to: Marc.Williams at nottingham.ac.uk: (1) a copy of your CV, including your actual or expected degree class(es), and results of all University examinations; (2) an example of your technical writing, such as a project report or dissertation; (3) contact details for two academic referees. (4) a research proposal – max 2 x sides A4 You may also include a covering letter but this is optional. Closing date for applications: Friday 17 January 2020. +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From casperbp at gmail.com Tue Dec 17 22:11:15 2019 From: casperbp at gmail.com (Casper Bach Poulsen) Date: Tue, 17 Dec 2019 23:11:15 +0100 Subject: [Haskell] PEPM2020 Call for Participation Message-ID: CALL FOR PARTICIPATION Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2020) https://popl20.sigplan.org/home/pepm-2020 New Orleans, USA, Monday January 20th, 2020 (co-located with POPL 2020) Registration ------------ http://popl20.sigplan.org/attending/registration Early registration deadline: **Wednesday 18th Dec 2019** Preliminary Schedule -------------------- 09:00-10:00: Keynote 1: Network Verification: Past, Present, and Future (Nate Foster) 10:30-12:30: Dependently-Typed Multi-Stage Programming Revisited (invited talk) (Atsushi Igarashi) High-Fidelity Metaprogramming with Separator Syntax Trees (Rodin Aarssen, Tijs van der Storm) Module Generation without Regret (Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe) GOOL: A Generic Object-Oriented Language (Jacques Carette, Brooks MacLachlan, Spencer Smith) 14:00-15:05: Keynote 2: Reasoning about Progress of Concurrent Objects (Xinyu Feng) 15:35-17:45: Frex: Free extensions for normalisation by evaluation (invited talk) (Ohad Kammar) Symbolic Bisimulation for Open and Parameterized System (Zechen Hou, Eric Madelaine) Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk) (Walid Taha) An approach to generating text-based IDEs with syntax completion from syntax specification (Isao Sasano) Find the full schedule, abstracts of the talks, and links to papers on the PEPM2020 website: https://popl20.sigplan.org/home/pepm-2020 Looking forward to seeing you at PEPM2020, PEPM2020 chairs and PC *** Programme committee ------------------- * Andreas Abel (Chalmers U.) * Guillaume Allais (U. Strathclyde) * Nada Amin (Harvard U.) * Casper Bach Poulsen (co-chair) (TU Delft) * Patrick Bahr (Copenhagen U.) * Aggelos Biboudis (EPFL) * Olivier Danvy (National U. Singapore) * Álvaro García-Pérez (IMDEA) * Jeremy Gibbons (Oxford U.) * Robert Glück (Copenhagen U.) * Torsten Grust (U. Tubingen) * Zhenjiang Hu (co-chair) (Peking U./NII) * Hideya Iwasaki (U. Electro-Communications) * Oleg Kiselyov (Tohoku U.) * Hedehiko Masuhara (Tokyo I. Technology) * Keisuke Nakano (Tohoku U.) * Bruno Oliveira (U. Hong Kong) * Jens Palsberg (UCLA) * João Saraiva (Minho U.) * Tom Schrijvers (KU Leuven) * Eijiro Sumii (Tohoku U.) * Walid Taha (Halmstad U.) * Nobuko Yoshida (Imperial C. London) From amal.j.ahmed at gmail.com Wed Dec 18 16:44:11 2019 From: amal.j.ahmed at gmail.com (Amal Ahmed) Date: Wed, 18 Dec 2019 11:44:11 -0500 Subject: [Haskell] Final CFP: JFP Special Issue on Gradual Typing Message-ID: Reminder: Intent to Submit Deadline is TODAY, December 18 (see below for link). ---- JFP Special Issue on Gradual Typing Submission deadline: 15 January 2020 Expected publication date: February 2021 SCOPE The field of gradual typing has grown exponentially over the past decade, both in terms of research and industrial adoption. Gradual typing, the idea of adding/strengthening types in existing programs, demands work on design, theory, implementation, and usability. As such, the field deserves a special journal issue with reflective papers. TOPICS Thus far, three major themes have emerged in the field of gradual typing: (1) researchers have explored numerous dimensions of the design space of gradually typed languages; (2) from this exploration, theoreticians have (re-)opened questions regarding semantics and metatheory; and (3) implementors have been grappling with the seemingly high overhead of sound gradual typing. The special issue welcomes contributions on these themes as well as ones that go beyond, for instance, usability and usefulness of gradual types. We invite authors from across the spectrum of gradual typing. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme. Beyond academics, we especially also welcome working programmers who may wish to consider authoring experience reports, which will be held to appropriate standards laid out for Practice and Experience papers. The special issue also welcomes high-quality survey papers that would benefit a wide audience. NOTIFICATION OF INTENT Authors MUST notify the special-issue editors of their intent to submit by December 18, 2019. The notification of intent should be submitted by filling out the following web form which asks for data needed to identify suitable reviewers: https://forms.gle/dutqyXJSF5WMuuCRA SUBMISSIONS Full-length, archival-quality submissions are solicited on all aspects of gradual typing. Submissions should be sent through the JFP Manuscript Central system. Choose “Gradual Typing” as the paper type, so that it gets assigned to the special issue. Submissions that are based on previously-published conference or workshop papers must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss such submissions with the editors to ensure compliance with this policy. For detailed instructions regarding layout and submission, please see the JFP advice to authors and instructions for contributors . SPECIAL-ISSUE EDITORS Amal Ahmed (amal at ccs.neu.edu ) Jens Palsberg (palsberg at cs.ucla.edu ) IMPORTANT DATES 18 December 2019: Notification-of-intent deadline 15 January 2020: Submission deadline 21 April 2020: First round of reviews 19 August 2020: Revision deadline 17 November 2020: Second round of reviews, if applicable 13 January 2021: Final accepted versions due Link to CFP: https://www.cambridge.org/core/news/jfp-special-issue-on-gradual-typing -------------- next part -------------- An HTML attachment was scrubbed... URL: From olexandr543 at yahoo.com Thu Dec 19 00:04:21 2019 From: olexandr543 at yahoo.com (olexandr543 at yahoo.com) Date: Thu, 19 Dec 2019 00:04:21 +0000 (UTC) Subject: [Haskell] ANNOUNCE: mmsyn7ukr -- a A program and a library that can be used as a simple basic interface to some SoX functionality or for producing the approximately Ukrainian speech with your own recorded voice References: <625343505.1837205.1576713861246.ref@mail.yahoo.com> Message-ID: <625343505.1837205.1576713861246@mail.yahoo.com> Hello,  There is a new program -- mmsyn7ukr.  | | | | mmsyn7ukr: A simple basic interface to some SoX functionality or the app... Install via `cabal install mmsyn7ukr`. | | | It can be used as a simple basic interface to some SoX functionality or for producing the approximately Ukrainian speech with your own recorded voice. The program starts with Caution to be responsible for usage and to use it personally. Then the program guides you through the creating and using your Ukrainian \"voice\". Please, use it carefully. After the execution the program if terminated naturally without interruption removes (cleans) all the created sound files in the current directory for security reasons. If it terminates by interruption or in general it is a good practice to remove the current directory sound files manually. Best regards,Oleksandr Zhabenko. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Thu Dec 19 13:11:04 2019 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Thu, 19 Dec 2019 08:11:04 -0500 Subject: [Haskell] ANNOUNCE: mmsyn7ukr -- a A program and a library that can be used as a simple basic interface to some SoX functionality or for producing the approximately Ukrainian speech with your own recorded voice In-Reply-To: <625343505.1837205.1576713861246@mail.yahoo.com> References: <625343505.1837205.1576713861246.ref@mail.yahoo.com> <625343505.1837205.1576713861246@mail.yahoo.com> Message-ID: Nice :) Without knowing much about the specifics of this, but more as a (permanent) student of Ukrainian language, I'm happy to see anything involving Ukrainian :) My vague understanding when reading the above is that, through this, I can provide my voice, plus some text in ukrainian, and it is read in ukrainian with my voice. Is that correct? Ivan On Wed, 18 Dec 2019 at 19:04, olexandr543--- via Haskell < haskell at haskell.org> wrote: > Hello, > > There is a new program -- mmsyn7ukr > . > > mmsyn7ukr: A simple basic interface to some SoX functionality or the app... > > Install via `cabal install mmsyn7ukr`. > > > It can be used as a simple > basic interface to some SoX functionality or for producing > the approximately Ukrainian speech with your own recorded > voice. > > The program starts with Caution to be responsible for usage > and to use it personally. Then the program guides you > through the creating and using your Ukrainian \"voice\". > Please, use it carefully. After the execution the program if > terminated naturally without interruption removes (cleans) > all the created sound files in the current directory for > security reasons. If it terminates by interruption or in > general it is a good practice to remove the current > directory sound files manually. > > > Best regards, > Oleksandr Zhabenko. > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From olexandr543 at yahoo.com Thu Dec 19 23:13:04 2019 From: olexandr543 at yahoo.com (olexandr543 at yahoo.com) Date: Thu, 19 Dec 2019 23:13:04 +0000 (UTC) Subject: [Haskell] ANNOUNCE: mmsyn7ukr -- a A program and a library that can be used as a simple basic interface to some SoX functionality or for producing the approximately Ukrainian speech with your own recorded voice In-Reply-To: References: <625343505.1837205.1576713861246.ref@mail.yahoo.com> <625343505.1837205.1576713861246@mail.yahoo.com> Message-ID: <464583074.2716056.1576797184398@mail.yahoo.com> Hello, Ivan, your understanding is correct. But you can use it in a more creative manner. Please, see the updated documentation (README). Best regards,Oleksandr Zhabenko. четвер, 19 грудня 2019 р., 14:11:41 GMT+1, Ivan Perez написав: Nice :) Without knowing much about the specifics of this, but more as a (permanent) student of Ukrainian language, I'm happy to see anything involving Ukrainian :) My vague understanding when reading the above is that, through this, I can provide my voice, plus some text in ukrainian, and it is read in ukrainian with my voice. Is that correct? Ivan On Wed, 18 Dec 2019 at 19:04, olexandr543--- via Haskell wrote: Hello,  There is a new program -- mmsyn7ukr.  | | | | mmsyn7ukr: A simple basic interface to some SoX functionality or the app... Install via `cabal install mmsyn7ukr`. | | | It can be used as a simple basic interface to some SoX functionality or for producing the approximately Ukrainian speech with your own recorded voice. The program starts with Caution to be responsible for usage and to use it personally. Then the program guides you through the creating and using your Ukrainian \"voice\". Please, use it carefully. After the execution the program if terminated naturally without interruption removes (cleans) all the created sound files in the current directory for security reasons. If it terminates by interruption or in general it is a good practice to remove the current directory sound files manually. Best regards,Oleksandr Zhabenko. _______________________________________________ Haskell mailing list Haskell at haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell -------------- next part -------------- An HTML attachment was scrubbed... URL: From yazan.mualla at utbm.fr Fri Dec 20 10:28:43 2019 From: yazan.mualla at utbm.fr (Yazan Mualla) Date: Fri, 20 Dec 2019 11:28:43 +0100 (CET) Subject: [Haskell] Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) Message-ID: <860099611.442669154.1576837723420.JavaMail.zimbra@utbm.fr> 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) 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From publicityifl at gmail.com Fri Dec 20 13:52:34 2019 From: publicityifl at gmail.com (Jurriaan Hage) Date: Fri, 20 Dec 2019 05:52:34 -0800 Subject: [Haskell] Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education) Message-ID: Hello, Please, find below the third call for draft papers for TFPIE 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regards, Jurriaan Hage Chair of TFPIE 2020 ======================================================================== TFPIE 2020 Call for papers http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html February 12th 2020, Krakow, Poland (co-located with TFP 2020 and Lambda Days) *NEW* Invited Speaker We are happy to announce the invited speaker for TFPIE 2020, Thorsten Altenkirch, who also speaks at Lambda Days. At TFPIE 2020 he shall be talking about his new book, Conceptual Programming With Python. *NEW* Registration This year TFPIE takes place outside of the Lambda Days/TFP organisation, although it takes place near their location. This means you do need to register separately for TFPIE; it also means you can register for TFPIE without registering for TFP/LambdaDays, and vice versa. Registration is mandatory for at least one author of every paper that is presented at the workshop. Only papers that have been presented at TFPIE may be submitted to the post-reviewing process. Registration is 25 euro per person. TFPIE 2020 welcomes submissions describing techniques used in the classroom, tools used in and/or developed for the classroom and any creative use of functional programming (FP) to aid education in or outside Computer Science. Topics of interest include, but are not limited to: FP and beginning CS students FP and Computational Thinking FP and Artificial Intelligence FP in Robotics FP and Music Advanced FP for undergraduates FP in graduate education Engaging students in research using FP FP in Programming Languages FP in the high school curriculum FP as a stepping stone to other CS topics FP and Philosophy The pedagogy of teaching FP FP and e-learning: MOOCs, automated assessment etc. Best Lectures - more details below In addition to papers, we are requesting best lecture presentations. What's your best lecture topic in an FP related course? Do you have a fun way to present FP concepts to novices or perhaps an especially interesting presentation of a difficult topic? In either case, please consider sharing it. Best lecture topics will be selected for presentation based on a short abstract describing the lecture and its interest to TFPIE attendees. The length of the presentation should be comparable to that of a paper. On top of the lecture itself, the presentation can also provide commentary on the lecture. Submissions Potential presenters are invited to submit an extended abstract (4-6 pages) or a draft paper (up to 20 pages) in EPTCS style. The authors of accepted presentations will have their preprints and their slides made available on the workshop's website. Papers and abstracts can be submitted via easychair at the following link: https://easychair.org/conferences/?conf=tfpie2020 . After the workshop, presenters will be invited to submit (a revised version of) their article for review. The PC will select the best articles that will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Articles rejected for presentation and extended abstracts will not be formally reviewed by the PC. Dates Submission deadline: January 14th 2020, Anywhere on Earth. Notification: January 17th 2020 TFPIE Registration Deadline: January 20th 2020 Workshop: February 12th 2020 Submission for formal review: April 19th 2020, Anywhere on Earth. Notification of full article: June 6th 2020 Camera ready: July 1st 2020 Program Committee Olaf Chitil - University of Kent Youyou Cong - Tokyo Institute of Technology Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen Jurriaan Hage (Chair) - Utrecht University Marco T. Morazan - Seton Hall University, USA Sharon Tuttle - Humboldt State University, USA Janis Voigtlaender - University of Duisburg-Essen Viktoria Zsok - Eotvos Lorand University Note: information on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From muhammad.adnan at uhasselt.be Tue Dec 24 10:47:15 2019 From: muhammad.adnan at uhasselt.be (Muhammad ADNAN) Date: Tue, 24 Dec 2019 11:47:15 +0100 Subject: [Haskell] Fwd: Call for Workshops Proposals: MobiSPC 2020, Leuven, Belgium In-Reply-To: References: Message-ID: ******* Call for Workshops Proposals ******** The 17th International Conference on Mobile Systems and Pervasive Computing http://cs-conferences.acadiau.ca/mobispc-20/#workshop_call August 9-12, 2020 Leuven, Belgium Important Dates =========== - Workshop Proposal Due: February 20, 2020 - Acceptance Notification: February 25, 2020 The MobiSPC 2020 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of MobiSPC 2020 and its related areas. All papers accepted for workshops will be included in the MobiSPC 2020 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in MobiSPC 2020 Website. Proposal Format =========== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium (muhammad.adnan at uhasselt.be) -- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From muhammad.adnan at uhasselt.be Tue Dec 24 11:08:24 2019 From: muhammad.adnan at uhasselt.be (Muhammad ADNAN) Date: Tue, 24 Dec 2019 12:08:24 +0100 Subject: [Haskell] Fwd: Call for Workshop Proposal: FNC 2020, Leuven, Belgium In-Reply-To: References: Message-ID: ******************************Call for Workshops Proposals*********************************** The 15th International Conference on Future Networks and Communications August 9-12, 2020 Leuven, Belgium http://cs-conferences.acadiau.ca/fnc-20/#workshop_call Important Dates ========== - Workshop Proposal Due: February 20, 2020 - Acceptance Notification: February 25, 2020 The FNC 2020 organizing committee invites proposals for workshops. The main objective of the workshops is to provide a forum for researchers and professionals to discuss a specific topic from the field of FNC 2020 and its related areas. All papers accepted for workshops will be included in the FNC 2020 proceedings, which will be published by Elsevier. The authors must follow Elsevier guidelines as given in FNC 2020 Website. Proposal Format =========== - Title of the workshop - Workshop Website: tentative address, or old address (if applicable) - Draft Call for paper of the workshop - Tentative list of TPC members Workshops Chair ============== Dr. Muhammad Adnan, Hasselt University, Belgium (muhammad.adnan at uhasselt.be) -- 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From tikhon at jelv.is Wed Dec 25 00:21:00 2019 From: tikhon at jelv.is (Tikhon Jelvis) Date: Tue, 24 Dec 2019 16:21:00 -0800 Subject: [Haskell] Supporting Haskell.org Message-ID: A significant part of the Haskell community infrastructure—including the haskell.org website, Hackage, Hoogle and the build infrastructure for GHC—runs on donations from the Haskell community administered by Haskell.org. Haskell.org also organizes Haskell's participation in the Google Summer of Code program. We had 18 projects this year, 15 of which were completed successfully, a solid completion ratio. If you would like to support Haskell.org, you can donate via several methods including PayPal and check: https://wiki.haskell.org/Donate_to_Haskell.org Haskell.org can also accept donations through employers via Benevity using the unique ID 475236502. Haskell.org is a 501(c)(3) non-profit, so donations may be tax-deductible in your jurisdiction. We look forward to continuing this work with your support in 2020 as well as exploring new projects to improve the Haskell community infrastructure. Best wishes, Tikhon Jelvis on behalf of the haskell.org committee. -------------- next part -------------- An HTML attachment was scrubbed... URL: