- Haskell - Haskell.org

Workshop on Functional Art, Music, Modeling, and Design (FARM) -- performance call
by david.janin＠labri.fr 21 May '20

21 May '20

----------------------------------------------------------------------- PERFORMANCE CALL The ACM SIGPLAN Workshop on Functional Art, Music, Modeling, and Design (FARM) at the International Conference on Functional Programing (ICFP) is seeking audio/visual works that utilize functional programming techniques. Submissions need not be completely made with functional techniques - hybrid works are also welcome. Both fixed media and interactive systems are welcome, and we encourage a creative interpretation of what ‘performance’ means in order to encompass a truly broad range of creative functional endeavors. We also encourage submissions from people of all backgrounds – students, hobbyists, and professionals alike. Submission deadline: August 1, 2020 (notification to take place on a rolling basis) Workshop date: August 28, 2020 Fees: none Location: online-only Submission materials: a sample recording (audio or video) and a description explaining how functional programming was involved in the work. Submission link: https://easychair.org/conferences/?conf=farm2020 Send any questions to Donya Quick (donyaquick(a)gmail.com) FARM invites a diverse range of functionally-themed submissions including music, video, dance, and performance art. We encourage both risk-taking proposals that push forward the state of the art and refined presentations of highly developed practice. There are no submission/registration fees for FARM performers. Due to current travel restrictions and social distancing guidelines, all performances will be held online. Details of the exact technological accommodations available for this at ICFP are still forthcoming. As such, creating recordings of live audio/visual works as a backup option is strongly encouraged. ————————————————————————————————————

1 0

New Journal: Journal of Cyber Forensics and Advanced Threat Investigations
by CiberSeguridad UTFSM 18 May '20

18 May '20

New Journal: Journal of Cyber Forensics and Advanced Threat Investigations Dear Cybersecurity Researcher, Red || Yellow || Blue Practitioner, The Journal of Cyber Forensics and Advanced Threat Investigations is an international open-access journal that publishes original research, practical and review articles related to all areas of cybersecurity, digital forensics, incident response, and threat investigations. The scope includes the measures that governments or organization should follow to protect the online information & critical infrastructure, the impacts of cyber-crime & cyber-attacks in organizations and/or individuals, malware/ransomware, analysis & reversing, hardware/software security testing, zero-day attacks & exploits, large-scale digital investigations, unconventional penetration testing tactics, techniques & tools, social engineering & human hacking, anti-forensics & anti-anti-forensics, identity theft & protection, relevant case studies in cybersecurity, digital forensics, incident response, & threat investigations, and proficient strategies for tackling the various types of cyber-attacks and cyber-crimes. CFATI is pleased to welcome manuscript submissions from you. Please browse through the journal website to find out more information about the focus and scope of the journal and the author's guidelines. Journal Website: https://conceptechint.net/index.php/CFATI We welcome three kinds of submissions: * Research Articles, * Practical Articles, * Review Articles. All submissions will be rigorously peer-reviewed. For more details, see https://conceptechint.net/index.php/CFATI/index All accepted papers will be published under the Creative Commons CC-BY-NC. Contact All questions about submissions should be emailed to cfati(a)conceptechint.net Sincerely, Editorial Office International Journal of Cyber Forensics and Advanced Threat Investigations

1 0

The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020)
by Orven Llantos 18 May '20

18 May '20

********************************************************************************** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) Date: November 2-5, 2020 Location: Madeira, Portugal Website: http://cs-conferences.acadiau.ca/euspn-20/ ********************************************************************************** **** Apologies for cross-posting. **** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 15, 2020 - Paper Submission Due: June 15, 2020 - Author Notification: August 2, 2020 - Final Manuscript Due: August 30, 2020 Publication ------------- All EUSPN 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. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.901), by Springer ( http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) EUSPN 2020 will be held in conjunction with the 10th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-20/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-20/call-for-papers.html EUSPN 2020 will be held in Madeira, a Portuguese archipelago. Madeira is a popular year-round tourist destination, known for its remarkable mountainous scenery and mild year-long climate. Although, Madeira is part of Europe it is approximately 1,000 km from the continent while being only 520 km from the coast of Africa. It is about an hour and a half flight from the capital of Portugal, Lisbon. Funchal, the picturesque capital of Madeira, is situated on the south coast of the island and one of Atlantic Oceans most popular cruise ship ports. Madeira is a scenic island with many unique destinations such as the Laurisilva forest, a UNESCO World Heritage site. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Nuno Varandas, F6S (Where Founders Grow Together), Portugal Ansar Yasar, Hasselt University, Belgium Local Arrangement Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Margarida Cerqueira, University of Aveiro, Portugal Workshops' Chairs Haroon Malik, Marshall University, USA Publicity Chairs Monika Davidekova, Comenius University, Slovakia Mohammed Elghzaoui, FP-UMI, Errachidia, Morocco Siddardha Kaja, Acadia University, Canada Orven E. Llantos, Ateneo de Manila University, Philippines Program Vice Chairs El Arbi Abdellaoui Alaoui, EIGSI-Casablanca, Morocco Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane, Cnam, Paris, France, France Monika Davidekova, Comenius University, Slovakia Mohammed Erritali, Sultane Moulay Slimane University, Morocco Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Faouzi Kammoun, Ecole Superieure Privee d'Ingenierie et de Technologies, Tunis Mohamad Khairi Ishak, Universiti Sains Malaysia, Malaysia Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Fernando Moreira, Universidade Portucalense, Portugal Euripides Petrakis, Technical University of Crete, Greece Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-20/organizing-commitee.html -- Orven E. Llantos Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology <http://www.iit.edu.ph/> (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system.

1 0

EUSPN 2020 CfP in Madeira, Portugal, November 2-5 2020 (Conference with ISI Special Issues)
by Davidekova Monika 15 May '20

15 May '20

********************************************************************************** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2020) Date: November 2-5, 2020 Location: Madeira, Portugal Website: http://cs-conferences.acadiau.ca/euspn-20/ ********************************************************************************** The 11th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 15, 2020 - Paper Submission Due: June 15, 2020 - Author Notification: August 2, 2020 - Final Manuscript Due: August 30, 2020 Publication ------------- All EUSPN 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. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.901), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), (http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier (https://www.journals.elsevier.com/transportation-research-part-a-policy-and…) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier (https://www.journals.elsevier.com/computer-networks) EUSPN 2020 will be held in conjunction with the 10th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-20/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-20/call-for-papers.html EUSPN 2020 will be held in Madeira, a Portuguese archipelago. Madeira is a popular year-round tourist destination, known for its remarkable mountainous scenery and mild year-long climate. Although, Madeira is part of Europe it is approximately 1,000 km from the continent while being only 520 km from the coast of Africa. It is about an hour and a half flight from the capital of Portugal, Lisbon. Funchal, the picturesque capital of Madeira, is situated on the south coast of the island and one of Atlantic Oceans most popular cruise ship ports. Madeira is a scenic island with many unique destinations such as the Laurisilva forest, a UNESCO World Heritage site. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Nuno Varandas, F6S (Where Founders Grow Together), Portugal Ansar Yasar, Hasselt University, Belgium Local Arrangement Chairs Adelio Manuel Rodrigues Gaspar, University of Coimbra, Portugal Margarida Cerqueira, University of Aveiro, Portugal Workshops' Chairs Haroon Malik, Marshall University, USA Publicity Chairs Monika Davidekova, Comenius University, Slovakia Mohammed Elghzaoui, FP-UMI, Errachidia, Morocco Siddardha Kaja, Acadia University, Canada Orven E. Llantos, Ateneo de Manila University, Philippines Program Vice Chairs El Arbi Abdellaoui Alaoui, EIGSI-Casablanca, Morocco Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Kechar Bouabdellah, Oran University, Algeria Samia Bouzefrane, Cnam, Paris, France, France Monika Davidekova, Comenius University, Slovakia Mohammed Erritali, Sultane Moulay Slimane University, Morocco Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Faouzi Kammoun, Ecole Superieure Privee d'Ingenierie et de Technologies, Tunis Mohamad Khairi Ishak, Universiti Sains Malaysia, Malaysia Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Fernando Moreira, Universidade Portucalense, Portugal Euripides Petrakis, Technical University of Crete, Greece Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-20/organizing-commitee.html

1 0

Postdoctoral position on Web/database programming languages at Edinburgh LFCS
by James Cheney 15 May '20

15 May '20

Hi, We are now accepting applications for a postdoctoral position in Web/database programming languages. The position is for 24 months, starting on September 1, 2020 or earlier. Funding is provided by a €1.99M Consolidator Grant from the European Research Council on the project: "Skye: A programming language bridging theory and practice for scientific data curation". https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… Funding from this ERC grant, and certain national funding schemes, is also available to help support travel/accommodation costs for visits from students, researchers or faculty at other institutions whose research aligns with the project. Please get in touch if interested. == Research associate (£33,797 - £40,322) == This postdoctoral research position is on Web/database programming and scientific data curation techniques in the Skye project. This project builds on the Links web programming language to add built-in support for scientific data management needs, particularly data archiving, transformation and provenance. Currently Links supports sophisticated database access via language-integrated query (ICFP 2013), but only for relational databases; other data models and query languages are not supported, and Links's capabilities for rewriting or transforming queries or updates is limited. The overall research goal of the Skye project is to identify, develop, and implement extensibility or metaprogramming capabilities to make advanced database programming easy. The successful candidate will focus on developing language-integrated query support for new data models/query languages, such as graph or RDF databases, and will work with other Skye project members to incorporate these techniques into Links. Links also has other advanced capabilities such as support for type inference with first-class poplymorphism (PLDI 2020), distributed programming with session types (POPL 2019) and algebraic effects and handlers (JFP 2020), and interactions between these features and database programming or new applications to database programming are in scope. The ideal candidate will have a strong background in programming languages or databases, with a specialization in Web programming or database programming including familiarity with different distributed programming techniques or query languages and data models. Familiarity with programming language foundations is also desirable, as is experience with functional programming (e.g. Scala, OCaml, Haskell). Candidates with a strong background in either database or programming language research will be considered as long as there is clear evidence of ability to learn the complementary background. == What about COVID-19 then? == Remote working is possible and encouraged. Successful candidates who are eligible to work in the UK without a visa (= UK or EEA nationals) will be able to take up the post and work remotely prior to arrival in Edinburgh. Candidates currently in the UK on Tier 4 student visas will also be able to begin work while waiting for a Tier 2 visa. Candidates in other situations may be able to start work remotely but this depends on UKVI guidelines which are in flux; such candidates are advised to contact us to discuss the situation. == To apply == For more information about the project, and about other related activities in my group, LFCS, and Edinburgh, please write to me or consult the following page: http://homepages.inf.ed.ac.uk/jcheney/group/skye.html Applications must be received by 5pm GMT, June 9, 2020. To apply, visit the University job posting for this position: Research Associate https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs… <https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobs…> then click "apply" and follow the instructions. Please note that applicants must use the University's application system above, which involves some account registration and form-filling, and it is recommended that applicants complete this process well before the deadline, since the system automatically stops accepting applications after the deadline. == Environment == The University of Edinburgh School of Informatics brings together world-class research groups in theoretical computer science, artificial intelligence and cognitive science. The School led the UK 2014 REF rankings in volume of internationally recognized or internationally excellent research. In 2013, the School of Informatics received an Athena Swan Silver Award, in recognition of its commitment to advancing the careers of women in science, technology, engineering, mathematics and medicine (STEMM) employment in higher education and research. Overall the University of Edinburgh has achieved a Silver Award. LFCS hosts a wide variety of research on programming languages, and collaborates with researchers in compilers/systems elsewhere in the School of Informatics as well as with colleabgues across Scotland as part of the Scottish Programming Languages & Verification community. PL research in the School will soon be strengthened by new arrivals with interests in verification, program synthesis, DSLs for performance-portable parallelism, and databases.

1 0

Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020***
by Rozman, Mihaela 15 May '20

15 May '20

The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our society and hence come with stringent requirements on dependability. We believe that automation can improve reliability: many network outages these days are due to human errors. WHAT WE OFFER -The research position is at the Faculty of Computer Science at the University of Vienna and is fully funded.(Employment contract) -The candidate also has the opportunity to collaborate with Aalborg University, Denmark, and engage into longer visits, if she/he is interested: Aalborg University is a project partner. -Additionally, the successful candidate will have the opportunity to collaborate with the doctoral program Logical Methods in Computer Science (LogiCS), run by TU Wien, TU Graz and JKU Linz, and funded by the Austrian Science Fund. -We offer a productive research environment and excellent contacts to other universities as well as industry interested in this application domain. While our goal is to lay the theoretical foundations of such networks, we also plan to prototype our ideas and ideally make a practical contribution. For an idea on the kind of research we are doing in this area, please see the sample publications attached below. ELIGIBILITY The candidate should have a strong background in formal methods, model checking and algorithms, and be knowledgeable about communication networks, with a strong interest in this application domain. APPLICATION To apply, please send your: -Academic curriculum vitae -motivation letter, and -reference letters to Prof. Stefan Schmid by email, or use the online portal at https://univis.univie.ac.at/ausschreibungstellensuche/ Please do not hesitate to contact Stefan Schmid for any further information: ta.ca.eivinu@dimhcs_nafets Deadline: June 7, 2020 Starting date: ideally as soon as possible, latest in October 2020. SAMPLE PUBLICATIONS P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures Jesper Stenbjerg Jensen, Troels Beck Krogh, Jonas Sand Madsen, Stefan Schmid, Jiri Srba, and Marc Tom Thorgersen. 14th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT), Heraklion/Crete, Greece, December 2018. https://www.univie.ac.at/ct/stefan/conext18.pdf Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks Stefan Schmid and Jiri Srba. 37th IEEE Conference on Computer Communications (INFOCOM), Honolulu, Hawaii, USA, April 2018. https://www.univie.ac.at/ct/stefan/infocom18prefixnet.pdf HIGHEST QUALITY OF LIFE The Austrian city of Vienna, is located close to the Alps and surrounded by beautiful nature, and provides an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, varied cuisine and famous coffee houses. If you decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., TU Wien, University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.

1 0

SPLASH 2020: Combined Call for Contributions
by hitesh sajnani 15 May '20

15 May '20

****************************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'20) Chicago, USA Sun 15 - Fri 20 November 2020 https://2020.splashcon.org/ Sponsored by ACM SIGPLAN /****************************************************************************/ COMBINED CALL FOR CONTRIBUTIONS OOPSLA Onward! Workshops Dynamic Languages Symposium (DLS) Generative Programming: Concepts & Experiences (GPCE) Software Language Engineering (SLE) Static Analysis Symposium (SAS) /****************************************************************************/ The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction, to make it the premier conference at the intersection of programming, languages, and software engineering. We invite high quality submissions describing original and unpublished work. Combined Call for Contributions: * PACMPL Issue OOPSLA * SPLASH Workshops * Onward! Papers * Onward! Essays * Dynamic Languages Symposium (DLS) * Generative Programming: Concepts & Experiences (GPCE) * Software Language Engineering (SLE) * Static Analysis Symposium (SAS) * SPLASH-E * Posters * Doctoral Symposium * Student Research Competition * Student Volunteers ## PACMPL Issue OOPSLA Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys). Submissions due: Fri 15 May, 2020 https://2020.splashcon.org/track/splash-2020-oopsla ## SPLASH Workshops Following its long-standing tradition, SPLASH 2020 will host a variety of high-quality workshops, allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. The paper submission deadline for all workshops is Sep 4, 2020 AoE. The following workshops are co-located with SPLASH 2020. * AGERE (Actors, Agents, and Decentralized Control) https://2020.splashcon.org/home/agere-2020 * TAPAS (Tools for Automatic Program Analysis) https://2020.splashcon.org/home/tapas-2020 * REBLS (Reactive and Event-based Languages and Systems) https://2020.splashcon.org/home/rebls-2020 ## Onward! Papers Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. Submissions due: Sun 17 May, 2020 https://2020.splashcon.org/track/splash-2020-Onward-papers ## Onward! Essays Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be long or short. An essay can be an exploration of the topic and its impact, or a story about the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps the one the author took to reach an understanding of the topic. The subject area—software, programming, and programming languages—should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. Submissions due: Sat 23 May, 2020 https://2020.splashcon.org/track/splash-2020-Onward-Essays ## Dynamic Languages Symposium (DLS) Dynamic Languages, from Lisp, Snobol, and Smalltalk to Python, Racket, and Javascript, have been playing a fundamental role both in programming research and practice. DLS is the premier forum for researchers and practitioners to share research and experience on all aspects of Dynamic Languages. DLS invites high quality papers reporting original research and experience related to the design, implementation, and applications of dynamic languages. Submissions due: Thu 9 July, 2020 https://conf.researchr.org/home/dls-2020 ## Generative Programming: Concepts & Experiences (GPCE) The International Conference on Generative Programming: Concepts & Experience (GPCE) is a venue for researchers and practitioners interested in techniques and tools for code generation, language implementation, and metaprogramming. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to (i) program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, (ii) domain-specific languages, language embedding, language design, and language workbenches, (iii) feature-oriented programming, domain engineering, and feature interactions, (iv) applications and properties of code generation, language implementation, and product-line development. Abstracts due: Mon 20 July, 2020 Submissions due: Mon 27 July, 2020 https://conf.researchr.org/home/gpce-2020 ## Software Language Engineering (SLE) Software Language Engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. SLE 2020 solicits high quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Abstracts due: Mon 20 July, 2020 Submissions due: Mon 27 July, 2020 https://conf.researchr.org/home/sle-2020 ## Static Analysis Symposium Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. Abstracts due: Fri 22 May, 2020 Paper Submissions due: Sun 24 May, 2020 Artifacts Submissions due: Fri 29 May, 2020 https://conf.researchr.org/home/sas-2020 ## Rebase Rebase is a series of high-quality talks that highlight the challenges that are on the forefront of both research and practice across the SPLASH community's broad spectrum of domains and techniques. ## SPLASH-E SPLASH-E is a symposium, started in 2013, for software and languages (SE/PL) researchers with activities and interests around computing education. Some build pedagogically-oriented languages or tools; some think about pedagogic challenges around SE/PL courses; some bring computing to non-CS communities; some pursue human studies and educational research. At SPLASH-E, we share our educational ideas and challenges centred in software/languages, as well as our best ideas for advancing such work. SPLASH-E strives to bring together researchers and those with educational interests that arise from software ideas or concerns. Submissions due: Fri 10 Jul, 2020 https://2020.splashcon.org/track/splash-2020-SPLASH-E ## Posters The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact at any desired level of detail. The poster session is held early in the conference to promote continued discussion among interested parties. Submissions due: Thu 10 Sep, 2020 https://2020.splashcon.org/track/splash-2020-Posters ## Doctoral Symposium The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. This year, the John Vlissides Award will be presented to a doctoral student participating in the SPLASH Doctoral Symposium showing significant promise in applied software research. All doctoral candidates participating in the SPLASH Doctoral Symposium are eligible. The award includes a prize of $2,000. Submissions due: Wed, Jul 15, 2020 https://2020.splashcon.org/track/splash-2020-Doctoral-Symposium ## PL Mentoring Workshop (PLMW) The SPLASH 2020 Programming Languages Mentoring Workshop encourages graduate students (PhD and MSc) and senior undergraduate students to pursue research in programming languages. This workshop will provide mentoring sessions on how to prepare for and thrive in graduate school and in a research career, focusing both on cutting-edge research topics and practical advice, such as a panel of Ph.D. students discussing topics like “What I wish I had known before attending graduate school.” The workshop brings together leading researchers and junior students in an inclusive environment in order to help welcome newcomers to our field of programming languages research. The workshop will show students the many paths that they might take to enter and contribute to our research community. We will provide travel grants that will fully support student attendance to PLMW. Information on the application process will be available by August 2, 2020 Travel Grant Application due: Fri 4 Sep, 2020 https://2020.splashcon.org/track/splash-2020-PLMW#About ## Student Research Competition The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for ACM student members at the undergraduate and graduate levels to present their original research at SPLASH before a panel of judges and conference attendees. The SRC gives visibility to not only up-and-coming young researchers, but also exposes them to the field of computer science research and its community. This competition also gives students an opportunity to discuss their research with experts in their field, get feedback, and to help them sharpen their communication and networking skills. Student Research Competition abstract due: Sat Aug 15, 2020 https://2020.splashcon.org/track/splash-2020-SRC ## Student Volunteers The SPLASH Student Volunteers program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Application due: Tue Sep 1, 2020 https://2020.splashcon.org/track/splash-2020-Student-Volunteers ## Information Website: https://2020.splashcon.org/ Location: Renaissance Chicago Downtown Hotel, Chicago, USA ## Organization SPLASH General Chair: * Hridesh Rajan (Iowa State University) OOPSLA Review Committee Chair: * David Grove (IBM Research) Onward! Papers Chair: * Stephen Kell (University of Kent) Onward! Essays Chair: * Didier Verna (EPITA/LRDE) DLS Program Chair: * Matthew Flat (University of Utah) GPCE General Chair: * Martin Erwig (Oregon State University) GPCE Program Chair: * Jeff Gray (University of Alabama) SLE General Chair: * Ralf Lämmel (Facebook) SLE Program Co-Chairs: * Laurence Tratt (King's College London) * Juan de Lara (Universidad Autónoma de Madrid) SLE Publicity Chair: * Loli Burgueño (Open University of Catalonia & CEA LIST) SLE AEC Co-Chairs: * Lukas Diekmann (King’s College London) * Antonio Garcia-Dominguez (Aston University) SAS Program Co-Chairs: * David Pichardie (Univ Rennes, ENS Rennes, IRISA) * Mihaela Sighireanu (IRIF, Université Paris Diderot, France) SAS AEC Chair: * Jyothi Vedurada (Microsoft Research) Rebase Co-Chairs: * Satish Chandra (Facebook) * Yu David Liu (State University of New York (SUNY) Binghamton) PLMW Co-Chairs: * Karim Ali (University of Alberta) * Jonathan Bell (George Mason University) * Malavika Samak (CSAIL, MIT) Workshops Co-Chairs: * Neville Grech (University of Athens) * Ali Jannesari (Iowa State University) * Mehdi Bagherzadeh (Oakland University) OOPSLA Artifact Evaluation Co-Chairs: * Colin S. Gordon (Drexel University) * Anders Møller (Aarhus University) Posters Co-Chairs: * Christos Dimoulas (Northwestern University) * Murali Krishna Ramanathan(Uber Technologies Inc.) Doctoral Symposium Chair: * Yvonne Coady (University of Victoria) * Matthias Hauswirth (Università della Svizzera italiana) Student Research Competition Co-Chairs: * Sasa Misailovic (University of Illinois at Urbana-Champaign) * Julia Rubin (University of British Columbia) Student Volunteers Co-Chairs: * Robert Dyer (Bowling Green State University) * Samantha Syeda Khairunnesa (Iowa State University) SPLASH-E Co-Chairs: * Elisa Baniassad (University of British Columbia) * Charlie Curtsinger (Grinnell College) Publicity Chair: * Hitesh Sajnani (Microsoft) Publication Chair: * Saba Alimadadi (Simon Fraser University) Local Arrangements Chair: * Ravi Chugh (University of Chicago) Accessibility Chair: * Henrique Rebelo (Universidade Federal de Pernambuco) Sponsorships Chair: * Ganesha Upadhyaya (Harmony.One) Web Chair: * Rangeet Pan (Iowa State University) /****************************************************************************/

1 0

[HIW'20] Second Call for Talks
by Ben Gamari 14 May '20

14 May '20

Hello everyone, Haskell Implementors Workshop is calling for talk proposals. Co-located with ICFP, HiW is an ideal place to describe a Haskell library, a Haskell extension, compiler, works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. The deadline for submissions is July 2nd 2020. Call for Talks ============== The 12th Haskell Implementors’ Workshop is to be held alongside ICFP 2020 this year. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure, to share their work and discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos and lightning talks. Scope and Target Audience ------------------------- It is important to distinguish the Haskell Implementors’ Workshop from the Haskell Symposium which is also co-located with ICFP 2020. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors’ Workshop will have no proceedings – although we will aim to make talk videos, slides and presented data available with the consent of the speakers. The Implementors’ Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are specially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we’ve missed, so by all means submit a proposal even if it doesn’t fit exactly into one of these buckets: - Compilation techniques - Language features and extensions - Type system implementation - Concurrency and parallelism: language design and implementation - Performance, optimization and benchmarking - Virtual machines and run-time systems - Libraries and tools for development or deployment Talks ----- We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via HotCRP at https://icfp-hiw20.hotcrp.com/ until July 2nd (anywhere on earth). We will also have lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. Logistics --------- Due to the on-going COVID-19 situation, ICFP (and, consequently, HIW) will be held remotely this year. However, the organizers are still working hard to provide for a great workshop experience. While we are sad that this year will lack the robust hallway track that is often the highlight of HIW, we believe that this remote workshop presents a unique opportunity to include more of the Haskell community in our discussion and explore new modes of communicating with our colleagues. We hope that you will join us in making this HIW as vibrant as any other. Program Committee ----------------- - Andrey Mokhov (Newcastle University) - Ben Gamari (Well-Typed LLP) - Christian Baaij (QBayLogic) - George Karachalias (Tweag I/O) - Klara Marntirosian (KU Leuven) - Matthew Pickering (Univeristy of Bristol) - Ryan G.L. Scott (Indiana University Bloomington) Best wishes, Ben

1 0

PPDP 2020 deadline extension
by Andreas Abel 12 May '20

12 May '20

UPDATE: extended deadlines! Abstract deadline: Mon 18 May 2020 AoE Paper deadline: Fri 22 May 2020 AoE Submissions at: https://easychair.org/conferences/?conf=ppdp2020 PPDP 2020 Call For Papers ========================= The 22nd International Symposium on Principles and Practice of Declarative Programming, [PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/), hosted 8-10 September 2020 by the University of Bologna, Italy. **Due to the COVID-19 pandemic, PPDP 2020 will take place online. The submission, review, and publication process is unaffected. However, the deadlines have been extended by a week to accommodate for the situation.** Scope ----- The PPDP 2020 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will take place 8-10 September 2020 virtually hosted by the University of Bologna, Italy, co-organized with the 29th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) and the International conference on [Microservices 2020](https://www.conf-micro.services/2020/). Submissions ----------- Submissions are welcome on easychair at https://easychair.org/conferences/?conf=ppdp2020 Submission Categories --------------------- Submissions can be made in three categories: - regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum - curricular issues encountered when using declarative programming in education - real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general - novel use of declarative programming in the classroom - programming pearl that illustrates a nifty new data structure or programming technique. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Material beyond the page limit will not be included in the final published version. Format of a submission ---------------------- For each paper category, you must use the most recent version of the "Current ACM Master Template" which is available at <https://www.acm.org/publications/proceedings-template>. The most recent version at the time of writing is 1.70. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, contact [ACM's TeX support team at Aptara](mailto:acmtexsupport@aptaracorp.com). Authors should note [ACM's statement on author's rights](http://authors.acm.org/) which apply to final papers. Submitted papers should meet the requirements of [ACM's plagiarism policy](http://www.acm.org/publications/policies/plagiarism_policy). Requirements for publication ---------------------------- **Due to the shift to an online event, registration fees will be decreased to cover only the costs of publication and online event hosting.** At least one author of each accepted submission will be expected to register and present the work at the conference. The PC chair may retract a paper that is not presented. The PC chair may also retract a paper if complaints about the paper's correctness are raised which cannot be resolved by the final paper deadline. Important dates --------------- The organizers appreciate that potential authors may be disadvantaged by the COVID-19 pandemic and resulting disruption. **To encourage submissions, short extensions are available on request.** To request an extension, please register an abstract before the abstract deadline and write to the PC chair before the submission deadline explaining the circumstances and duration of the extension. -------------------------------- ----- ---- ---------- Title and abstract (extended): 18 May 2020 (AoE) Paper submission (extended): 22 May 2020 (AoE) Rebuttal period (48 hours): 22-23 June 2020 (AoE) Author notification: 3 July 2020 Final paper version: 21 July 2020 Conference: 8-10 Sept 2020 -------------------------------- ----- ---- ---------- Organization ------------ ------------------------- -------------------- --------------------------- Program committee chairs: Andreas Abel, Gothenburg University James Cheney, The University of Edinburgh Steering committee chair: James Cheney, The University of Edinburgh General chair: Maurizio Gabbrielli, University of Bologna ------------------------- -------------------- --------------------------- Program committee ----------------- ----------------------- ------------------------------------------------------ Andreas Abel (co-chair) Gothenburg University, SE Kenichi Asai Ochanomizu University, Tokyo, JP James Cheney (co-chair) The University of Edinburgh, UK Ugo Dal Lago University of Bologna, IT & INRIA Sophia Antipolis, FR Thom Fruehwirth University of Ulm, DE Michael Hanus Christian-Albrechts-Universität zu Kiel, DE Jacob Howe City, University of London, UK Fred Mesnard Université de la Réunion, FR Henrik Nilsson University of Nottingham, UK David Sabel Ludwig Maximilians University of Munich, DE Claudio Sacerdoti Coen University of Bologna, IT Ulrich Schöpp fortiss GmbH, DE Martin Sulzmann Karlsruhe University of Applied Sciences, DE Christine Tasson Université Paris Diderot & IRIF, FR Peter Van Roy Université catholique de Louvain, BE ----------------------- ------------------------------------------------------

1 0

Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***
by Rozman, Mihaela 12 May '20

12 May '20

{With apologies for cross-posting, please see below for information and thank you for a possible share among your network nodes} ____________________________________________________________________________________________________________ TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 doctoral candidates for a starting period of 3 years, with a negotiable starting date. Deadline: June 12, 2020 ____________________________________________________________________________________________________________ The PhD program focuses on interdisciplinary research topics covering – computational logic, and applications of logic to – databases and artificial intelligence, – computer-aided verification, – security and privacy, – cyber-physical systems, as well as to – distributed systems. ______________________________________________________ THE PROGRAM ______________________________________________________ Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems. The LogiCS doctoral program offers top research expertise, and a stimulating and supportive environment. The LogiCS is coordinated by TU Wien, which offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistently ranked among the best in Europe. The founding body of the LogiCS, the Austrian Science Fund (FWF), offers multiple funding opportunities for young researchers to advance their independent scientific careers. ______________________________________________________ FACULTY MEMBERS ______________________________________________________ - M. Bartocci - A. Biere - R. Bloem - A. Ciabattoni - T. Eiter - G. Gottlob - R. Grosu - L. Kovacs - M. Maffei - M. Ortiz - U. Schmid - M. Seidl - S. Szeider - G. Weissenbacher - S. Woltran The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college. ______________________________________________________ POSITIONS AND FUNDING ______________________________________________________ * We are looking for 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF). (30 hours per week/ 39.000 EUR gross/year) * The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. * The location of the research post is Vienna, Graz or Linz, Austria. ______________________________________________________ SEEKING CANDIDATES FOR THE CURRENT RESEARCH AREAS ______________________________________________________ At the moment we are particularly looking for candidates interested in the following areas: * Automated Software Verification * Description Logics * Epistemic logic in distributed computing * Game-based Semantics * Fixed-Parameter Algorithms and Complexity * Formal Verification of hybrid systems * Knowledge Representation and Reasoning * Model Checking * Modeling and analysis of digital integrated circuits * Normative Reasoning * Ontology-based Data Access * Security and Privacy * Scheduling and logic programming * Study of the Interaction between rules from a knowledge base and rules arising from machine learning * Topology in distributed computing * Quantified Boolean Formulas ______________________________________________________ HOW TO APPLY ______________________________________________________ Detailed information about the application process is available on the LogiCS web-page: https://logic-cs.at/phd/admission/ * The applicants are expected to have completed an excellent diploma or master’s degree in computer science, mathematics, or a related field. * Candidates with comparable achievements will be considered on a case-by-case basis. * Applications by the candidates need to be submitted electronically. Application Deadline: June 12, 2020 ______________________________________________________ LOGIC IN AUSTRIA ______________________________________________________ Austria has a highly active and successful logic in the computer science community. Recent activities include: Austrian Research Network in Rigorous Systems Engineering - http://www.arise.or.at Vienna Center for Logic and Algorithms - http://www.vcla.at International Kurt Goedel Society - http://www.kgs.logic.at ______________________________________________________ HIGHEST QUALITY OF LIFE ______________________________________________________ The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. If you decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide. ______________________________________________________ ADDITIONAL INFORMATION ______________________________________________________ LogiCS web-page: https://logic-cs.at/phd/admission/ For further information please contact: info(a)logic-cs.at

1 0