From pedro at mat.uc.pt Mon Jun 1 11:46:43 2020 From: pedro at mat.uc.pt (Pedro Quaresma) Date: Mon, 1 Jun 2020 10:46:43 +0100 Subject: [ecoop-info] ThEdu'20/EPTCS proceedings 2nd call for papers Message-ID: ???????????????? ? ????? Open 2nd Call for Papers ************************************************************************** ??????????????????????? Proceedings for ThEdu'20??????????? ??????????? Theorem Proving Components for Educational Software ?????????????? http://www.uc.pt/en/congressos/thedu/thedu20 ************************************************************************** ??????????????????????? to be published by EPTCS, ?????????? Electronic Proceedings in Theoretical Computer Science ?????????????????????? http://published.eptcs.org ************************************************************************** Synopsis ? ThEdu'20 was accepted as a workshop at IJCAR 2020, the International ? Joint Conference on Automated Reasoning, June 29 - July 5, 2020, ? Paris, France (https://ijcar2020.org/). ? The interest expressed for the workshop was such, that the PC ? decided to publish proceedings, in spite of cancellation after IJCAR ? become virtual.? Thanks to a decision of the EPTCS editorial board ? adapting to the specific situation, the proceedings already received ? the approval to be published by EPTCS. ThEdu'20 Scope: ? Computer Theorem Proving is becoming a paradigm as well as a ? technological base for a new generation of educational software in ? science, technology, engineering and mathematics. The workshop brings ? together experts in automated deduction with experts in education in ? order to further clarify the shape of the new software generation and ? to discuss existing systems. Important Dates ?* Full Papers:???????? 14 June 2020 ?* Author Notification: 12 July 2020 ?* Revised papers due:? 13 Sept.2020 Topics of interest include: ?* methods of automated deduction applied to checking students' input; ?* methods of automated deduction applied to prove post-conditions ?? for particular problem solutions; ?* combinations of deduction and computation enabling systems to ?? propose next steps; ?* automated provers specific for dynamic geometry systems; ?* proof and proving in mathematics education. Submission ? We welcome submission of full papers presenting original unpublished work ? which is not been submitted for publication elsewhere. ? All contributions will be reviewed (blind review) by three members ? of the PC for each submission, to meet the high standards of EPTCS. ? ? The authors should comply with the "instructions for authors", LaTeX ? style files and accept the "Non-exclusive license to distribute" of ? EPTCS: Instructions for authors (http://info.eptcs.org/) LaTeX style ? file and formatting instructions (http://style.eptcs.org/) Copyright ? (http://copyright.eptcs.org/) ? Papers should be submitted via EasyChair,?? ? https://easychair.org/conferences/?conf=thedu20. Program Committee ? Francisco Botana, University of Vigo at Pontevedra, Spain ? David Cerna, Johannes Kepler University, Austria ? Joao Marcos, Universidade Federal do Rio Grande do Norte, Brazil (co-chair) ? Filip Maric, University of Belgrade, Serbia ? Adolfo Neto, Universidade Tecnol?gica Federal do Paran?, Brazil ? Walther Neuper, Graz University of Technology, Austria (co-chair) ? Pedro Quaresma, University of Coimbra, Portugal (co-chair) ? Philippe R. Richard, Universit? de Montr?al, Canada ? Vanda Santos, University of Aveiro, Portugal ? Wolfgang Schreiner, Johannes Kepler University, Austria ? J?rgen Villadsen, Technical University of Denmark, Denmark ---//--- 8IMM, 8th Iberian Mathematical Meeting, Institute of Mathematics of the University of Seville, 7-9 October 2020. ---//--- -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia Professor Pedro Quaresma Mathematics Departament, Science and Technology Faculty University of Coimbra P-3001-454 COIMBRA, PORTUGAL Elec. mail: pedro at mat.uc.pt webpage: http://www.mat.uc.pt/~pedro/ phone: +351 239 791 137; fax: +351 239 832 568 From stephane.galland at utbm.fr Tue Jun 2 09:54:07 2020 From: stephane.galland at utbm.fr (=?ISO-8859-1?Q?St=E9phane?= Galland) Date: Tue, 02 Jun 2020 09:54:07 +0200 Subject: [ecoop-info] Release 0.11 of SARL agent programming language Message-ID: Dear Colleagues. I'm glade to announce the major release of SARL version 0.11 ( www.sarl.io).SARL is a statically-typed agent-programming language. SARL aims at providing the fundamental abstractions for dealing with concurrency, distribution, interaction, decentralization, reactivity, autonomy and dynamic reconfiguration for multiagent systems. In addition to the traditional bug fixes, four major changes are available, and are briefly explained below. 1. Janus version 3Janus is the official SARL run-time environment (aka. SARL virtual machine). This release of SARL provides a MAJOR NEW IMPLEMENTATION of Janus with its version 3. In the past, the change from version 1 to version 2 was due to a total re-implementation of Janus in order to follow and support the SARL metamodel. This time, Version 3 of Janus is a total re-implementation with the SARL language, i.e. we have written the code with SARL not anymore with Java. The major benefits of the new implementation with the SARL language are: * Direct usage of the SARL concepts and statements; * Ability to generate the same SRE to different target platforms (Java, Python, etc.); * Proof-of-concept related to the capabilities of the SARL language to cover complex application?s implementation. In addition to the total re-implementation with SARL language, the software architecture of Janus was re-thinking and optimized in order to improve the global run-time performances of the SRE, and to be more modular in order to extend modules of Janus with new third-party modules (based on Bootique modules). 2. New types of participants in spacesFrom the SARL metamodel, spaces are entities in which the agents are able to interact or communicate. The agents that are part of a space are named participants. >From our experience during the past years, different types of participants may be involved into a space. First, the agents constitute the largest part of these participants. Second, external software, such as an graphical user interface (GUI), may have to listen for events or emit them into a space in order to setup an interaction with the agents. Nevertheless, having only a single type of participant defined causes issues into the SARL run-time environment (SRE) when it is time to decide if a space should be destroyed or not. Indeed, the SRE is in charge of destroying the spaces when they are not used anymore (usually when there is no more agent inside). A problem occurs when all the agents have leaved the space, and only GUI remain. In this case, the SRE was not able to detect this case and to destroy the space. This issue could be seen because the SRE never stops to run, even when all the agents were killed. In order to solve this issue, two types of participants are defined: * Strong Participant: it corresponds to the regular meaning of a participant (and the default one). When a strong participant is involved into a space, the SRE cannot destroy the space. Typical strong participants are the application agents. * Weak Participant: it is a participant that is considered as optional by the SRE. In order words, when a space has only weak participants, it is considered as releasable by the SRE. Typical weak participants are GUI objects. Whatever the type of participant, they have the same level of abilities for using the space. For example, in the case of an event space, the strong and weak participants have all the abilities to emit events, and receive them. 3. New agent spawning APIThe spawning functions of the agents have encountered a big change: they are not replying anymore the unique identifier of the just spawned agents. Now, the spawning functions return void. This change was forced by the need to execute in parallel the different spawning processes when multiple agents are spawned at the same time. In this case, it is almost impossible to retreive the unique identifiers of the agents before returning from the spawning function. 4. New tool for SARL contributors: an Eclipse DSL with embedded SARLIn past, it was not so easy to install and set-up an complete and working development environment for the SARL contributors. It was due to the usage of different technologies such as Eclipse DSL, Java, Maven and Xtext. In order to have a ready-to-use environment, as much as possible, a specific Eclipse product is now available into the SARL project: sarl- dsl. This new product includes: * Regular Eclipse framework for domain specific language implementation, that includes: 1. Eclipse environment,Java development environment,Maven integration into Eclipse, andXtext libraries; * SARL compiler integration into Eclipse; * Janus run-time environment; * Eclipse Checkstyle. Enjoy SARL 0.11! -- Laboratoire Connaissance et Intelligence Artificielle Distribu?es CIAD UMR 7533 Prof. Dr. St?phane GALLAND Full Professor of Computer Science and Multiagent Systems Deputy Director of CIAD French Head of ARFITEC ARF-17-10 "Energy, Transport, Industry, Challenges for tomorrow" Senior member of the Multiagent Group Member of AFIA Universit? de Technologie de Belfort-Montb?liard - UBFC 13, rue Ernest Thierry-Mieg 90010 Belfort Cedex, FRANCE CIAD Lab: www.ciad-lab.fr Web: www.ciad-lab.fr/author-10836 Phone: +33 384 583 418 (work office) Mobile: +33 662 274 442 (private) From mihaela.rozman at tuwien.ac.at Tue Jun 2 14:24:12 2020 From: mihaela.rozman at tuwien.ac.at (Mihaela Rozman) Date: Tue, 2 Jun 2020 14:24:12 +0200 Subject: [ecoop-info] 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020 Message-ID: <0bdd01d638d8$b977b5d0$2c672170$@tuwien.ac.at> ========================================================== ========================================================== TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified PhD 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 fully funded doctoral candidates for a starting period of 3 years. STARTING DATE: Negotiable LOCATION: Vienna or Graz, Austria (candidate?s choice) SALARY: The PhD candidates receive an employment contract DEADLINE: June 12, 2020 WEBSITE: https://logic-cs.at/phd ========================================================== ========================================================== 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. ========================================================== ============= RESEARCH AREAS ============= At the moment we are particularly looking for PhD 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 * Networking and Communication Technology * 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 ============= 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 ============= - E. 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) (EMPLOYMENT CONTRACT) * The location of the research post is Vienna or Graz, Austria. ============= 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 at logic-cs.at ============= TWITTER ============= @vclaTUwien From icfp.publicity at googlemail.com Tue Jun 2 16:01:42 2020 From: icfp.publicity at googlemail.com (Sam Tobin-Hochstadt) Date: Tue, 02 Jun 2020 10:01:42 -0400 Subject: [ecoop-info] Call for Submissions: ICFP Student Research Competition Message-ID: <5ed65bc65ef26_bbe12b160d7105a426513@homer.mail> ICFP 2020 Student Research Competition Call for Submissions ICFP invites students to participate in the Student Research Competition, which will be held virtually alongside the main conference, in order to present their research and receive feedback from prominent members of the programming language research community. As usual, the SRC consists of three rounds: * Extended abstract * Poster session at ICFP 2020 * ICFP presentation To make the virtual competition fruitful, we will make sure that every student will have an "invited audience"?during the poster?session.? We are also planning to organize a social event for the students. Please visit the SRC website for updates. ### Important Dates Submissions due: 26 Jun 2020 (Friday) https://icfp20src.hotcrp.com Notification: 10 July 2020 (Friday) Conference: 23 August (Sunday) - 28 August (Friday) ### Submission Details Each submission (referred to as "abstract" below) should include the student author?s name and e-mail address; institutional affiliation; research advisor?s name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and*or part of a larger group project, the abstract should make clear what the student?s role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition Program Committee: Chair: Youyou Cong (Tokyo Institute of Technology) Stephen Chang (University of Massachusetts Boston) Jesper Cockx (Delft University of Technology) Hsiang-Shang Ko (Institute of Information Science, Academia Sinica) Cyrus Omar (University of Michigan) From matteo.camilli at unimi.it Wed Jun 3 19:55:28 2020 From: matteo.camilli at unimi.it (unimi) Date: Wed, 03 Jun 2020 19:55:28 +0200 Subject: [ecoop-info] [Call for participation] International School on Software Engineering, Bolzano, Italy Message-ID: <25B074E4-7FCE-41D6-8966-9917B88E3B16@unimi.it> THE 6TH INTERNATIONAL SCHOOL ON SOFTWARE ENGINEERING (ISE School 2020) ** VIRTUAL EVENT ** Theme: AI and Continuous Software Engineering ====================================== July 1-3, 2020 Bolzano, South-Tyrol, Italy https://seschool-series.github.io/2020/ We are pleased to announce ISE School 2020, the 6th International School on Software Engineering. The main theme of this edition is AI and continuous software engineering. The school is intended for both researchers and practitioners. Because of the **COVID-19 crisis**, we have decided that ISE 2020 will not take place physically but will be replaced by a virtual event. Participants will remotely join live presentations and interactive sessions as well as recorded videos after the event. The following speakers are confirmed: Markus Borg, RISE Research Institutes and Lund University, Sweden Andre van Hoorn, University of Stuttgart, Germany Michael Pradel, University of Stuttgart, Germany Baishakhi Ray, Columbia University, NY, USA The program includes a special session where participants have the possibility to present their latest activities. We believe this represents a great opportunity for Ph.D. students, researchers, and professionals to get feedback from experts in the field and enrich the collaboration network. The program includes also a (virtual) social event that gives to participants the opportunity to interact and have fun! For further details please visit https://seschool-series.github.io/2020/program.html There are two registration options: - FULL: 80 EUR and includes attendance to all tutorials and students? presentations - PARTIAL: 40 EUR and includes attendance to a single selected tutorial and students? presentations The registration fees will be used to grant an honorarium to all the guest speakers for their valuable effort. Further details on the registration process are available at https://seschool-series.github.io/2020/registration.html The 6th edition of the school is organized by the Software and Systems Engineering Research Group of the Free University of Bozen-Bolzano (Italy) and the Department of Computer Science of the University of Innsbruck (Austria). ** Steering Committee ** Barbara Russo, Free University of Bozen-Bolzano, Italy Claus Pahl, Free University of Bozen-Bolzano, Italy Romain Robbes, Free University of Bozen-Bolzano, Italy Michael Felderer, University of Innsbruck, Austria ** Organizing Committee ** Matteo Camilli, Free University of Bozen-Bolzano, Italy Nabil El Ioini, Free University of Bozen-Bolzano, Italy Andrea Janes, Free University of Bozen-Bolzano, Italy From david.baum at uni-leipzig.de Thu Jun 4 00:17:25 2020 From: david.baum at uni-leipzig.de (David Baum) Date: Thu, 04 Jun 2020 00:17:25 +0200 Subject: [ecoop-info] 2nd CFP - VISSOFT 2020: 8th IEEE Working Conference on Software Visualization Message-ID: <3989237.96XbFxd8VP@turing> ====================================== 8th IEEE Working Conference on Software Visualization (VISSOFT 2020) September 28-29, 2020, Adelaide, Australia http://vissoft20.dcc.uchile.cl/ ====================================== CALL FOR SUBMISSIONS Software visualization is a broad research area whose general goal is to enhance and promote the theory, realization, and evaluation of approaches to visually encode and analyze software systems, including software development practices, evolution, structure, and software runtime behavior. Software visualization is inherently interdisciplinary, drawing on theories and techniques from information visualization and computer graphics and applying these in the software engineering domain. The VISSOFT conference is a venue for publishing and discussing research related to software visualization. VISSOFT brings together a community of researchers from software engineering, information visualization, computer graphics, human-computer interaction, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to the visualization of software. VISSOFT 2020, co-held with ICSME 2020, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, empirical studies, applications, case studies, and papers that present novel ideas and tools. ====================================== TOPICS OF INTEREST - Innovative visualization and visual analytics techniques for analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks such as StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data. - Visualization to support software development activities, including design, requirements engineering, program comprehension, software testing, and debugging. - Interaction techniques and algorithms for software visualization. - Visualization-based techniques in software engineering education. - Integration of software visualization tools with development environments. - Empirical evaluation of software visualizations, including eye tracking. - Industrial experience with using software visualization. - Applications of new technologies to enhance software visualization, including virtual reality, augmented/mixed reality, gamification, and artificial intelligence. - Analytical approaches to understand software-related aspects based on data science concepts. We solicit papers that present original, unpublished research results. Papers will be rigorously reviewed by an international program committee. In addition to technical papers, VISSOFT features a New Ideas or Emerging Results (NIER) track and a Tool Demonstrations (TD) track. All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. ====================================== SUBMISSION TYPES **Technical papers**: A technical paper contribution must describe an in-depth and mature research result relevant to software visualization. The content of a technical paper can be at a maximum 10 pages long (including all figures, tables, and appendices). However, the 10 page limit does not include the bibliography, which is limited by two additional pages. The submission of a video (up to 5 minutes in length) to accompany the paper is highly encouraged to show interaction possibilities. Authors who wish to submit a video can submit the video together with their paper if the size of the video is smaller than 50 MB, otherwise a URL to the video should be provided. After the notification, authors can also submit an artifact (tool, data, model, etc.) Submission link: https://easychair.org/conferences/?conf=vissoft2020 **NIER/TD Track**: The NIER/TD Track of VISSOFT accepts two types of contributions: New Ideas and Emerging Results (NIER) and Tool Demonstrations (TD). Both NIER and TD contributions have a page limit of 5 (including bibliography). NIER contributions describe work-in-progress and preliminary exciting results. Authors are encouraged to include open questions and even provocative hypotheses to get early feedback on their research ideas. A sound evaluation is not required for NIER contributions. One of the goals of the NIER Track is to foster collaboration among different research groups. Tool Demonstrations describe the design or actual utilization of software visualization tools, with a focus on the architecture of the tool or its use to gain new insights. During the conference, we will organize an informal tool demonstration session where authors of TD papers are requested to demonstrate their tools. The submission may also contain a link to a screencast (e.g., YouTube or Vimeo) to show the interaction possibilities offered by the tool. ====================================== IMPORTANT DATES Abstract submission: June 22, 2020 Technical paper submission: June 26, 2020 NIER/TD paper submission: June 26, 2020 Artifact submission: August 1, 2020 Author notification: July 24, 2020 Camera-Ready: August 7, 2020 Conference date: September 28-29, 2020 ====================================== **Statement on COVID-19 (Coronavirus)** The VISSOFT Organizing Committee is aware of the current COVID-19 situation. At this time, the conference is planned to take place as scheduled. The committee will continue monitoring conditions and will provide updates if plans change. Stay safe & we hope to see you at VISSOFT 2020! Best, Craig Anslow (General Chair) Andreas Schreiber and Takashi Ishio (Program Co-Chairs) https://twitter.com/IEEEVISSOFT From franziska.hauffe at informatics-europe.org Thu Jun 4 16:54:46 2020 From: franziska.hauffe at informatics-europe.org (Franziska Hauffe) Date: Thu, 4 Jun 2020 16:54:46 +0200 Subject: [ecoop-info] Call for 2020 Best Practices in Education Award and 2020 Minerva Informatics Equality Award - Deadline extended to 15 June In-Reply-To: <7572ba3e-40ff-71f2-d53e-ca34a7b9fb41@informatics-europe.org> References: <7572ba3e-40ff-71f2-d53e-ca34a7b9fb41@informatics-europe.org> Message-ID: ********************************************************************* *Minerva Informatics Equality Award* 2020 Edition *Supporting the transition of female PhD and postdoctoral researchers into faculty positions* *Presented by Informatics Europe* *Sponsored by Google* *Call for Submissions Still Open - Deadline Extended to 15 June 2020* *********************************************************************** *Best Practices in Education Award* 2020 Edition *Lifelong Education and Talent Gap in Informatics* *Presented by Informatics Europe* *Sponsored by Microsoft* *Call for Submissions Still Open - Deadline Extended to 15 June 2020* *********************************************************************** From tobias.wrigstad at it.uu.se Thu Jun 25 00:40:26 2020 From: tobias.wrigstad at it.uu.se (Tobias Wrigstad) Date: Wed, 24 Jun 2020 22:40:26 -0000 Subject: [ecoop-info] Junior and Senior Faculty Openings in Programming Languages at Uppsala University Message-ID: <71201807-7E56-462F-B917-80FE483F66C4@it.uu.se> The Department of Information Technology at Uppsala University is opening two faculty positions in programming languages, one tenure-track position at the assistant professor level, and one senior position at the associate professor level. Application deadline: August 31 Assistant prof: https://www.uu.se/en/about-uu/join-us/details/?positionId=333422 Associate prof: https://www.uu.se/en/about-uu/join-us/details/?positionId=333423 Applicants will be expected to deliver outstanding teaching and undertake internationally leading research in the area of programming languages. There are plenty of opportunities to collaborate with existing work in a wide range of fields as well as opportunity to play a significant role in shaping the direction of the programming languages research group. At Uppsala University, a tenure-track position runs for 6 years, during which the department works to coach the applicant for promotion. Applicants with a PhD degree younger than 5 years (not counting paternal leave and periods of illness) will be prioritised for the tenure-track position. If offered employment as Associate Professor, you can apply to be employed as full Professor. --Tobias ------------------------------------------------------------ Tobias Wrigstad, Professor Distinguished University Teacher Head of Education Department of Information Technology Uppsala University, Sweden Email: tobias.wrigstad at it.uu.se Web: http://wrigstad.com N?r du har kontakt med oss p? Uppsala universitet med e-post s? inneb?r det att vi behandlar dina personuppgifter. F?r att l?sa mer om hur vi g?r det kan du l?sa h?r: http://www.uu.se/om-uu/dataskydd-personuppgifter/ E-mailing Uppsala University means that we will process your personal data. For more information on how this is performed, please read here: http://www.uu.se/en/about-uu/data-protection-policy From brahim.hamid at irit.fr Fri Jun 19 16:38:06 2020 From: brahim.hamid at irit.fr (Brahim HAMID) Date: Fri, 19 Jun 2020 14:38:06 -0000 Subject: [ecoop-info] PhD Opportunity - Cotutelle IRIT-University of Toulouse and Carleton University In-Reply-To: <8236abbc-bddf-a307-996c-34fbc166701d@irit.fr> References: <8236abbc-bddf-a307-996c-34fbc166701d@irit.fr> Message-ID: Thank you to broadcast this announcement to potential applicants (MS.c. graduates seeking a Ph.D position). In the context of our collaboration, we are seeking highly qualified PhD candidates who have experience or interest in working with argumentation for system security assurance. The PhD program is a cotutelle between IRIT-University of Toulouse, France and the CyberSEA Research Lab, Carleton University, Canada and is part of an ongoing research collaboration addressing cyber-security from different perspectives,? including the design and development processes, and verification and evaluation activities for assurance and certification. Attached is a short description of the PhD program. Best regards, Brahim. -- Dr. Brahim HAMID CNRS/IRIT Laboratory, Institut de Recherche en Informatique de Toulouse (computer science research institute of toulouse) 118 Route de Narbonne, 31062 Toulouse Cedex 9, France phone: +33 (0)5 6150 2386 mobile: +33 (0)6 8549 6809 e-mail: hamid at irit.fr web: http://www.irit.fr/~Brahim.Hamid http://www.semcomdt.org/