December 2018 - Haskell

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

05 Nov '19

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

1 6

CFP The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19)
by Yazan Mualla 31 Dec '18

31 Dec '18

CALL FOR PAPERS The 1st International Workshop on EXplainable, TRansparent, Autonomous Agents and Multi-Agent Systems (EXTRAAMAS-19) In conjunction with the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) 13th and 14th of May 2019 in Montreal, Canada. https://extraamas.ehealth.hevs.ch ------------------------------------------------------------------------------------------- Description ========== The aim of the EXTRAAMAS-19 workshop is to: - Establish a common ground for the study and development of explainable and understandable autonomous agents, robots and multi-agent systems, - Investigate the potential of agent-based systems in the development of personalized user-aware explainable AI, - Assess the impact of transparent and explained solutions on user/agents behaviors, and - Discuss motivating examples and concrete applications in which the lack of explainability leads to problems that can be resolved by explainability. ---------------------------------------------- Topics ====== The main topics of the EXTRAAMAS-19 workshop are (but not restricted to): - Explainable agent architectures - Adaptive and personalized explainable agents - Explainable human-robot interaction - Expressive robots - Explainable planning - Explanation visualization - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Explainable agents’ applications: (e-health, smart environment, driving companion, recommender systems, coaching agents, etc.) - Reinforcement learning agents - Cognitive and social sciences perspectives on explanations - Legal aspects of explainable agents ---------------------------------------------- Important Dates ============== - Deadline for Submissions: February 12, 2019 - Notification of acceptance: March 10, 2019 - Camera-ready: April 1, 2019 - Workshop: May 13-14, 2019 ---------------------------------------------- Submission ========= Submissions will be reviewed by at least three members of the programme committee, who are experts in the field. The acceptance of the submitted papers will depend on their quality, relevance, and originality. To conduct this process, the chairs will rely on easychair to make the reviewing procedure traceable, transparent and accessible. In the case of accepted papers characterized by relevant demands (e.g., clarifications, changes, corrections) set by the reviewers, the final acceptance will be subject to their accomplishment. Accepted papers will be published in the Springer proceedings Lecture Notes in Artificial Intelligence (LNAI). Participants are therefore invited to submit papers up to 16 pages in length, addressing the topics of the workshop. Papers must be edited using the LNCS format (applying the LNCS proceedings template), and have to be submitted electronically as PDF files via the EasyChair submission page. The top papers will be published in Special Issue of a journal with a relevant impact factor (to be announced). ---------------------------------------------- Program Chairs ============= - Kary Främling (Umeå University, Sweden / Aalto University, Finland) - Davide Calvaresi (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) - Amro Najjar (Umeå University, Sweden) - Michael Schumacher (University of Applied Sciences Western Switzerland (HES-SO), Switzerland) ---------------------------------------------- Advisory Board ============= - Virginia Dignum (Umeå University, Sweden) - Tim Miller (University of Melbourne, Australia) - Catholijn M. Jonker (TU Delft / LIACS Leiden University, The Netherlands) ---------------------------------------------- Publicity Chairs ============== - Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France) - Timotheus Kampik (Umeå University, Sweden) ---------------------------------------------- Program Committee ================= To be announced.

1 0

[GSoC 2019] Call for Ideas
by Jasper Van der Jeugt 28 Dec '18

28 Dec '18

Google Summer of Code will take place again in 2019, for the 15th year of the program [1]! We are very proud that Haskell.Org has been able to take part every year except for the initial year (2015) and 2016-2017, when we had to resort to running our own program. Last year, we were fortunate enough to join again, and we think the results greatly benefited the Haskell community [2]. We are hoping to do the same for 2019. As far as we know, a really important part of our application to GSoC is the list of ideas we provide. For that, I would like to count on all of you. If you are the maintainer or the user of a Haskell project, and you have an improvement in mind which a student could work on during the summer, please submit an idea here: https://summer.haskell.org/ideas.html For context, Google Summer of Code is a program where Google sponsors students to work on open-source projects during the summer. Haskell.org has taken part in this program from 2006 until 2015, and again in 2018. Many important improvements to the ecosystem have been the direct or indirect result of Google Summer of Code projects, and it has also connected new people with the existing community. Projects should benefit as many people as possible – e.g. an improvement to GHC will benefit more people than an update to a specific library or tool, but both are definitely valid. New libraries and applications written in Haskell, rather than improvements to existing ones, are also accepted. Projects should be concrete and small enough in scope such that they can be finished by a student in three months. Warm regards On behalf of the Haskell.Org committee Jasper Van der Jeugt [1]: https://opensource.googleblog.com/2018/11/google-summer-of-code-15-years-st… [2]: https://summer.haskell.org/news/2018-09-01-final-results.html

1 0

[ANN] vabal - the cabal companion
by Francesco Magliocca 28 Dec '18

28 Dec '18

Hello, I'm please to announce that vabal 1.2.0 has been released on Hackage: http://hackage.haskell.org/package/vabal vabal is a software that helps you determine the ghc version needed to compile a cabal package. It reads the cabal file and extracts the constraints imposed on the base package. Then it uses ghcup ( https://github.com/haskell/ghcup ) to obtain a compiler version compatible with the constraints (possibly downloading it from the official ghc mirror) and can be combined with cabal to build the project using the obtained ghc compiler. In this way you can treat the `base` package dependency as any other package dependency and don't have to manually deal with different ghc versions anymore. vabal is meant to be used in collaboration with cabal. It leverages cabal's ability to work with multiple ghc versions, and tries to be the least intrusive possible, so that you can keep using your usual workflow, but won't have to worry about `base` package dependency issues, anymore. You can get started here: https://github.com/Franciman/vabal#quick-start For details please refer to: https://github.com/Franciman/vabal#vabal---the-cabal-companion Ideas, suggestions, opinions and pull requests are very welcome! A big thank you goes to all the contributors that helped me with code, suggestions and ideas: https://github.com/Franciman/vabal#contributors

1 0

ZuriHac 2019 registration now open
by Jasper Van der Jeugt 26 Dec '18

26 Dec '18

Hello Friends of Haskell, We are happy to announce that registration for ZuriHac 2019 is now open. Participation is free but limited to 450 attendees. You can register at: https://zfoh.ch/zurihac2019/#registration This year, we've taken dogfooding a step further and rolled our own open source registration system in Haskell, so please let me know if you experience any issues. ZuriHac 2019 will take place from Friday the 14th to Sunday the 16th of June 2019. It will be hosted at the Hochschule Rapperswil on the shores of beautiful Lake Zurich. This will mark the 8th anniversary of ZuriHac since our beginnings in 2010. The Zurich Haskell Hackathon is a free, international, grassroots, and collaborative coding festival. Our goal is to connect Haskellers, expand the community, learn things from each other, and to work on Haskell libraries, tools, and infrastructure. This year, we will enjoy keynotes from: - Simon Peyton Jones - Susan Potter - Richard Eisenberg - Ryan Trinkle More keynote speakers will be announced. The event is open to any experience level, from beginners to gurus. We want to make a special effort to ensure that the event is welcoming and accessible to people completely new to Haskell. That is why we are super excited that, Julie Moronuki, co-author of Haskell Programming from first principles [1] and Joy of Haskell [2], has kindly agreed to teach a beginners course in one of the classrooms we have available. Additionally, there will be mentors that you can approach during the whole event with any Haskell-related questions. This is a great opportunity to meet your fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools or even start new ones! You can find all of this information and more on our website: https://zfoh.ch/zurihac2019 We would also like to thank our sponsors Digital Asset [3], DFINITY [4] and HSR [5] for their strong commitment to the Haskell community and for supporting this great event! Looking forward to seeing you there, The Zurich Friends of Haskell association. [1]: https://www.goodreads.com/book/show/25587599-haskell-programming [2]: https://joyofhaskell.com/ [3]: https://digitalasset.com/careers.html [4]: https://dfinity.org/jobs [5]: https://www.hsr.ch/

1 0

Extended Invitation to the 1st European Forum of the SARL Users and Developers (EuSarlCon19)
by Yazan Mualla 21 Dec '18

21 Dec '18

INVITATION FOR PAPERS AND TALKS (extended) The 1st European Forum for the SARL Users and Developers (EuSarlCon-19) ----------------------------------------------------------------------- In conjunction with: * the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019); * the 8th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications (ABMTRANS-19); * the 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19). May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:EuSarlCon19 ------------------------------------------------------------------- Description =========== The 2019 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 May 2, 2019, in Leuven, Belgium. That is the last day of the ANT-2019 conference, the ABMTRANS-19 and the SARL-19 workshops. Abstracts and/or short papers are due on February 15, 2019. The papers are expected to be very short (< 2500 equivalent words). ABMTRANS-19 and SARL-19 are providing an alternative for publishing longer papers. Abstracts and papers can be submitted to ABMTRANS-19, to SARL-19, to SarlCon19, or all. We will coordinate with the main conference so that papers are not presented twice. Submissions directly for the SarlCon should take the form of an abstract (< 1000 words), and are to be submitted before February 15, 2019, through EasyChair. SARL-related submissions to the main conference will as well be considered for inclusion in the SarlCon program. Submission ========== You are invited to submit the abstract in PDF format on EasyChair (https://easychair.org/conferences/?conf=eusarlcon2019) not exceeding 1000 words in length. Organizer ========= Stéphane GALLAND (Univ. de Technologie de Belfort-Montbeliard, France) <stephane.galland(a)utbm.fr>. Yazan MUALLA (Univ. de Technologie de Belfort-Montbeliard, France). Registration ============ Registration to the European SarlCon 2019 is free. Please notify the organizers if you want to come in order to organize the meeting.

1 0

Extended CFP for The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL19)
by Yazan Mualla 21 Dec '18

21 Dec '18

CALL FOR PAPERS (extended) The 3rd International Workshop on Agent-based Modeling and Applications with SARL (SARL-19) ------------------------------------------------------------------------------------------- In conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies ANT 2019 and the European SarlCon 2019 April 29 - May 2, 2019, Leuven, Belgium. http://www.multiagent.fr/Conferences:SARL19 ------------------------------------------------------------------------------------------- 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-19 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-19 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-19 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-19 will be held in Leuven, Belgium (April 29 - May 2, 2019) in conjunction with the 10th International Conference on Ambient Systems, Networks, and Technologies (ANT 2019) and the European SarlCon 2019. Topics ====== The main topics of the SARL-18 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: January 4, 2019 (extended); * Notification: February 4, 2019; * Final date for camera-ready copy: March 1, 2019; * Workshop: April 29 - May 2, 2019. 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, 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 below. 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-Montbeliard, France). Sebastian RODRIGUEZ (Universidad Technologica National, Argentina). Publicity Chair ================ Yazan Mualla (Univ. de Technologie de Belfort-Montbeliard, France). Program Committee ================= To be completed.

1 0

[EDI40 2019] FINAL DEADLINE: Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019
by Wim Ectors 20 Dec '18

20 Dec '18

*************************************************************************** The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) Leuven, Belgium April 29 - May 2, 2019 *************************************************************************** Conference Website: http://cs-conferences.acadiau.ca/EDI40-19/ Workshops: http://cs-conferences.acadiau.ca/EDI40-19/#workshop Important Dates - Paper Submission Due: January 9, 2019 (FIRM) - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 EDI40 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. 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.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer ( http://www.springer.com/computer/hci/journal/779) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) - International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) EDI40 2019 will be held in Leuven, Belgium. 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 of 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 facade 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. Above them the facade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. EDI40 2019 will be held in conjunction with the 10th International Conference on Ambient Systems, Networks and Technologies (ANT, http://cs-conferences.acadiau.ca/ant-19/) 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 Chairs Danny Hughes, CTO VeraSense NV, Belgium Program Chairs Haroon Malik, Marshall University, USA Yves Vanrompay, Hasselt University, Belgium Local Chair An Nevns, Hasselt University, Belgium 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 Ansar Yasar, Hasselt University, Belgium Publicity Chairs Wim Ectors, Hasselt University, Belgium Faouzi Kammoun, Ecole SupŽrieure PrivŽe d'IngŽnierie et de Technologies, Tunis Fatma Outay, Zayed University, UAE Technical Program Committee http://cs-conferences.acadiau.ca/EDI40-19/#programCommittees Steering Committee Chair Elhadi Shakshuki, Acadia University, Canada Sent via Mail Merge <https://chrome.google.com/webstore/detail/mail-merge-with-attachmen/nifmcbj…>

1 0

[ANT2019] FINAL DEADLINE: Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)
by Wim Ectors 20 Dec '18

20 Dec '18

The 10th International Conference on Ambient Systems, Networks and Technologies (ANT) Leuven, Belgium April 29 - May 2, 2019 Conference Website: http://cs-conferences.acadiau.ca/ant-19/ Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop Tutorials: http://cs-conferences.acadiau.ca/ant-19/#tutorial Important Dates - Paper Submission Due: January 9, 2019 (Firm) - Acceptance Notification: February 4, 2019 - Camera-Ready Submission: March 1, 2019 ANT 2019 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. 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: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - Journal of Personal and Ubiquitous Computing (IF: 2.395), by Springer - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) - IEEE Transactions on Intelligent Transportation Systems (IF: 3.724), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6979) - International Journal of Computing and Informatics (IF: 0.504), by Computing and Informatics (http://www.cai.sk/ojs/index.php/cai/index) ANT 2019 will be held in Leuven, Belgium. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (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 of 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. Above them the fa ade is adorned by the counts and dukes of Brabant while the towers primarily feature biblical figures. ANT 2019 will be held in conjunction with the 2nd International Conference on Emerging Data and Industry 4.0 (EDI40, http://cs-conferences.acadiau.ca/edi40-19/) 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 - Modeling 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 Yves Vanrompay, Hasselt University, Belgium Workshops Chair Stephane Galland, UTBM, France Program Advisory Committee Reda Alhajj, University of Calgary, Canada Abdelfettah Belghith, University of Manouba, Tunisia Sajal K. Das, The University of Texas at Arlington, USA Erol Gelenbe, Imperial College, UK 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 Journals Chair Michael Sheng, Macquarie University, Australia Vice Chairs Imene Lahyani Abdennadher, University of Sfax, Tunisia Boulmakoul Azedine, Hassan II University, Morocco Marcel Baunach, Graz University of Technology, Austria Tom Bellemans, Hasselt University, Belgium 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 Roberto Di Pietro, Hamad Bin Khalifa University, Qatar Khalil Drira, LAAS-CNRS, France Wael El-Medany, University of Bahrain, Bahrain Jason Jaskolka, Carleton University, Canada Flavio Lombardi, Roma Tre University of Rome, Italy Haroon Malik, Marshall University, USA Ahmed Nait Sidi Moh, University of Picardie Jules Verne, France Manuele Kirsch Pinheiro, University of Paris 1, France Cristina Seceleanu, MŠlardalen University, VŠsterŒs, Sweden Khaled Shaaban, Qatar University, Qatar Ridha Soua, Luxembourg University, Luxembourg Yves Vanrompay, Hasselt University, Belgium Yun Zhou, Shaanxi Normal University, China Publicity Chairs Wim Ectors, Hasselt University, Belgium Davidekova Monika, Comenius University, Slovak Republic 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-19/#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

PhD studentship on "Probabilistic Property-Based Testing" at the University of Edinburgh
by James Cheney 14 Dec '18

14 Dec '18

We are now accepting applications for 3-year PhD studentship on a project called "Probabilistic property-based testing" in the School of Informatics, University of Edinburgh. http://homepages.inf.ed.ac.uk/jcheney/group/ppbt.html The aim of the project is to explore the hypothesis that property-based testing (e.g. QuickCheck) is a form of probabilistic programming. Property-based testing is a widely used and powerful form of lightweight randomized testing, but it has been developed largely independently of increasingly sophisticated probabilistic programming languages and inference algorithms. This project will study the consequences of adopting the perspective that property-based testing is a form of probabilistic programming, and investigate subproblems such as inducing good properties from programs or test data; testing complex programs using advanced sampling techniques that provide error bounds; and synthesizing suitable data generators or automatically providing concise explanations why a property fails to hold. Possible application areas include randomized testing of programming language designs and type systems themselves (following e.g. PLT Redex or logic programming-based approaches to language specification), as well as traditional system specification and testing problems. The studentship is tenable for 3 years, for a student of any nationality, and includes a stipend of £14,777 per year (tax free and increasing with inflation), supported by Huawei. The School is also partnered with data science and AI centres of excellence such as The Alan Turing Institute in London and the Bayes center in Edinburgh, and there will be ample opportunities to engage with these institutes, via workshops and other schemes. The ideal candidate would have a strong background in functional or logic programming (e.g. Haskell, OCaml, Erlang, Prolog), or a strong background in machine learning. Candidates already familiar with probabilistic programming or symbolic machine learning (e.g. relational learning, probabilistic logic programming) are especially welcome. Applications from prospective students interested in starting a PhD in the next academic year should be submitted by March 18, 2019 at the latest. Applications received by January 31, 2019 will receive full consideration; after that date applications will be considered until the position is filled. The anticipated start date is September 2019 but earlier start dates may be possible. To apply, please submit an application to the 3-year CISA PhD programme: https://www.star.euclid.ed.ac.uk/public/urd/sits.urd/run/siw_ipp_lgn.login?… Further instructions and information about PhD study at CISA and the University of Edinburgh is available here: http://web.inf.ed.ac.uk/cisa/study-with-us https://www.ed.ac.uk/informatics/postgraduate/apply For more information please contact Vaishak Belle (vaishak(a)ed.ac.uk) and/or James Cheney (jcheney(a)inf.ed.ac.uk)

1 0