[TYPES/announce] MFPS VVVXI First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS: MFPS XXXVI https://www.monoidal.net/paris2020/mfps/ Thirty-sixth Conference on the Mathematical Foundations of Programming Semantics University of Paris Saclay, France June 1-5, 2020 Co-located with QPL 2020 == March 30, 2020: Abstract Submission April 3, 2020: Paper Submission May 8, 2020: Notification May 22, 2020: Final Papers Deadline All dates AoE == The 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020) takes place at University of Paris Saclay, France, June 1–5, 2020. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. -- INVITED SPEAKERS & SPECIAL SESSIONS: As in previous years, MFPS will have several invited speakers and special session highlighting areas within programming languages semantics. We are pleased to announce the following invited speakers and organizers of special sessions: TBD -- SUBMISSIONS: Submissions should be prepared using the ENTCS Macros (available from http://www.entcs.org) and should be up to 12 pages long excluding bibliography and appendices. Submissions will be via EasyChair: https://easychair.org/conferences/?conf=mfps20 -- PROCEEDINGS: There will be a preliminary proceedings of the conference papers that will be distributed at the meeting, with a final proceedings published in ENTCS after the meeting. -- PROGRAMME COMMITTEE: Danel Ahman (University of Ljubljana) Andrej Bauer (University of Ljubljana) Stephen Brookes (Carnegie Mellon University) Ugo Dal Lago (University of Bologna & INRIA Sophia Antipolis) Dan Ghica (University of Birmingham) Pierre Hyvernat (Universite Savoie Mount Blanc) Mauro Jaskelioff (Universidad Nacional de Rosario) Patricia Johann (Appalachian State University) - Chair Achim Jung (University of Birmingham) Barbara Koenig (Universitaet Duisburg-Essen) Dexter Kozen (Cornell University) Neel Krishnaswami (Cambridge University) Catherine Meadows (NRL) Mike Mislove (Tulane University) Joel Ouaknine (MPI-SWS) Prakash Panangaden (McGill University) Dirk Pattinson (Australian National University) Maciej Pirog (University of Wroclaw) Peter Selinger (Dalhousie University) Alexandra Silva (University College London) Kristina Sojakova (Cornell University) Ana Sokolova (University of Salzburg) Sam Staton (University of Oxford) Tarmo Uustalu (Reykjavik University) -- STEERING COMMITTEE: The steering committee of the MFPS series consists of Andrej Bauer (Ljubljana), Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine (Max Planck) and Prakash Panangaden (McGill). -- LOCAL ORGANIZERS: Pablo Arrighi (AMU & INRIA) Benoît Valiron (University of Paris Saclay) <
[TYPES/announce] ECI 2020: DEADLINE EXTENSION (22 Nov 19) - Call for course proposals
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for course proposals (*** DEADLINE EXTENSION ***) 34th Informatics Sciences School - ECI 2020 July 20 to 24, 2020 Buenos Aires, Argentina https://www.easychair.org/cfp/ECI2020 https://eci2020.dc.uba.ar IMPORTANT DATES 22 November 2019: Proposal submission deadline End of January 2020: Notification This is an invitation to submit proposals for courses in all areas of Computer Science to be included in the program of the "34a Escuela de Ciencias Informáticas" - ECI 2020, to be held at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, from July 20 to 24, 2020. The Escuela de Ciencias Informáticas (ECI) is held annually at our department, since 1987. The goal of ECI is to offer to Computer Science students and practitioners intensive, top-level courses on topics not covered by the regular curricula. These courses are taught by prestigious lecturers from universities and institutions from all around the world. Each year, between 400 and 800 people participate in ECI, taking one, two or three courses each. COURSE FORMAT ECI courses last 15 hours in total (3 hours per day from Monday to Friday) and are addressed to advanced undergraduate or graduate students. These courses should include a final evaluation, which can be a take-home to be sent by e-mail to the lecturer. Submissions for courses to be taught in Spanish or English are accepted. The school will cover travel, hotel and local expenses of ECI 2020 lecturers (ECI will only cover the expenses of one lecturer per proposed course). SUBMISSION INSTRUCTIONS Proposals should be submitted through https://easychair.org/conferences/?conf=eci2020 The submission must be done in PDF format, containing only the following sections: * Full Name * Course Title * Abstract (At most 1300 characters) * Topic (You must choose among the first level of ACM CCS ( https://dl.acm.org/ccs/ccs.cfm), e.g. "Theory of computation"). * Language: [English/Spanish] * Brief index (a list of topics that will be covered during the course) * Schedule (Approximate timeline of how these topics will be presented from Monday to Friday). * Suggested bibliography (At least three books or papers that are related to the topics of the course) * Student's preferred background (Background the students should have to be able to follow the course. A general description in the form of course names or topics will suffice.). * Will the course have a lab section? [Yes/No] (Optionally, your course can have a lab section for hands-on practice. In this case, the ECI organization will assign lab space with computers for the students. Note that having a lab section will restrict the number of students your course can have to no more than 50). * Optional: Local contact. (A local contact in the Department of Computer Science, FCEyN, UBA is desirable, but not mandatory) For information about previous editions, please refer to https://eci2020.dc.uba.ar/anteriores.html or send e-mail to eci2020-ch...@dc.uba.ar. Alejandro Díaz-Caro (Chair) Luciana Ferrer (Co-Chair)
[TYPES/announce] Multiple tenure-track positions at the University of Minnesota
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, Our department has multiple tenure-track faculty openings. One of the areas of interest is software engineering, which includes formal methods and program analysis. We are also actively considering exceptional candidates in areas such as programming languages and logic. Please see below for the official announcement: Thanks, Favonia Department of Computer Science & Engineering University of Minnesota === https://www.cs.umn.edu/news/cse-now-hiring-new-faculty The Department of Computer Science & Engineering in the College of Science and Engineering at the University of Minnesota-Twin Cities is hiring to fill multiple tenure-track positions at the assistant professor level, although higher levels of appointments may be considered when commensurate with experience and accomplishments. Outstanding candidates with research and teaching interests in theoretical computer science, software engineering, human-computer interaction, spatio-temporal databases/database systems, and robotics are particularly encouraged to apply. Nevertheless, exceptional candidates with expertise in any area of computer science & engineering will also be considered. The robotics position is in support of a University-wide initiative (MnDRIVE) on robotics, sensors, and advanced manufacturing ( z.umn.edu/csemndrive). Topics of interest include machine learning; artificial intelligence; robotics, including design, manipulation, mobility, planning, algorithmic foundations, human-robot interaction; and embedded systems. The Department of Computer Science & Engineering is fully committed to a diverse faculty because excellence emerges when individuals with different backgrounds and experiences engage. We therefore welcome applications from individuals who will further expand that diversity; women and people from other underrepresented groups are especially encouraged to apply. Candidates must have an earned Ph.D. in Computer Science & Engineering or a closely related discipline at the time of appointment. Submit materials as described at z.umn.edu/CompSciFac333233. For full consideration, please apply by November 1, 2019; however, review of applications will continue until the positions are filled. The University of Minnesota provides equal access to and opportunity in its programs, facilities, and employment without regard to race, color, creed, religion, national origin, gender, age, marital status, disability, public assistance status, veteran status, sexual orientation, gender identity, or gender expression. To learn more about equity and diversity at the University of Minnesota visit diversity.umn.edu.