[TYPES/announce] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] This is a gentle reminder about the upcoming paper submission deadline for MSFP 2024: Tuesday 30th April, AoE. The original CFP did ask for abstracts in advance, but we will not insist on those: if you have a paper and have not registered an abstract, submit it anyway! Jeremy and Favonia * Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn, Estonia A satellite workshop of FSCD 2024 https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2024/__;!!IBzWLUs!RKI_zYVmk7_SnQEWGivoZNupkgYm5mHvASCMisEqUwmLYUuyNZYSUlHOzxKxVGZdga2xIRqJssbYVUny0qUPHNoqBw$ ** Deadline: Tuesday 30th April ** The tenth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with FSCD (https://urldefense.com/v3/__https://compose.ioc.ee/icalp2024/__;!!IBzWLUs!RKI_zYVmk7_SnQEWGivoZNupkgYm5mHvASCMisEqUwmLYUuyNZYSUlHOzxKxVGZdga2xIRqJssbYVUny0qVnHMZNOQ$ ). Previous instances have been held in Munich (with ETAPS 2022), virtually (2020), in Oxford (with FLOC 2018), Eindhoven (with ETAPS 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Baltimore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with MPC and AMAST 2006). Important Dates: Paper deadline: Tuesday 30th April (AoE) Notification: Tuesday 4th June (16:00 UTC) Final version: Tuesday 25th June (AoE) Workshop: Monday 8th July Invited Speakers: = TBA Programme Committee: Kazuyuki Asada- Tohoku University, JP Robert Atkey - University of Strathclyde, UK Ana Bove - Chalmers University of Technology, SE Liang-Ting Chen - Academia Sinica, TW Peng Fu - University of South Carolina, US Jeremy Gibbons- University of Oxford, UK (co-chair) Kuen-Bang Hou (Favonia) - University of Minnesota, US (co-chair) Robin Kaarsgaard - University of Southern Denmark, DK Paul Blain Levy - University of Birmingham, UK Dan Marsden - University of Nottingham, UK Dylan McDermott - Reykjavik University, IS (more to follow) Submission: === Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Favonia (k...@umn.edu) and Jeremy Gibbons (jeremy.gibb...@cs.ox.ac.uk) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of at most 15 pages that will appear in the proceedings (published with EPTCS) and extended abstracts of at most two pages, which we will post on the website but do not constitute formal publications and will not appear in the proceedings. A short abstract should be submitted by four days in advance of the paper deadline (for both full paper and extended abstract submissions). For full details, see the webpage. We are using EasyChair to manage submissions: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=msfp2024__;!!IBzWLUs!RKI_zYVmk7_SnQEWGivoZNupkgYm5mHvASCMisEqUwmLYUuyNZYSUlHOzxKxVGZdga2xIRqJssbYVUny0qVGVHVnlQ$
[TYPES/announce] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are pleased to announce the School on Univalent Mathematics 2024 to be held at the University of Minnesota (Twin Cities), Minneapolis, MN, United States, July 29-August 2, 2024 (https://urldefense.com/v3/__https://unimath.github.io/minneapolis2024__;!!IBzWLUs!RumAcQodq4w5Lw3b6hfC8CMskKrJzLYXKRjBAkk3qyXZmqpnUszE7561izyg10utFLrjL63FIUjxw8_E4zccVHSGxQ$ ) If you are interested, please fill out the application form (https://urldefense.com/v3/__https://forms.gle/9PTB2V19hVuJsidz8__;!!IBzWLUs!RumAcQodq4w5Lw3b6hfC8CMskKrJzLYXKRjBAkk3qyXZmqpnUszE7561izyg10utFLrjL63FIUjxw8_E4zdXu4S6Dw$ ). We will start the reviewing on *May 6, 2024* and accept applicants on a rolling basis. Overview Homotopy Type Theory is an emerging field of mathematics that studies a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics based on ideas from homotopy theory, such as the Univalence Principle. The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is based on the computer proof assistant Coq. In this school, we aim to introduce newcomers to the ideas of Univalent Foundations and mathematics therein, and to the formalization of mathematics in UniMath (https://urldefense.com/v3/__https://github.com/UniMath/UniMath__;!!IBzWLUs!RumAcQodq4w5Lw3b6hfC8CMskKrJzLYXKRjBAkk3qyXZmqpnUszE7561izyg10utFLrjL63FIUjxw8_E4zcPrmHXHg$ ). This is our first school in the United States in the hope that students in North America can participate more easily. Format === Participants will receive an introduction to Univalent Foundations and to mathematics in those foundations. In the accompanying problem sessions, they will formalize pieces of univalent mathematics in the UniMath library. Prerequisites == Participants should be interested in mathematics and the use of computers for mathematical reasoning. Participants do not need to have prior knowledge of logic, Coq, or Univalent Foundations. Application and funding === Please fill out the form (https://urldefense.com/v3/__https://forms.gle/9PTB2V19hVuJsidz8__;!!IBzWLUs!RumAcQodq4w5Lw3b6hfC8CMskKrJzLYXKRjBAkk3qyXZmqpnUszE7561izyg10utFLrjL63FIUjxw8_E4zdXu4S6Dw$ ). For information on how to participate, please visit https://urldefense.com/v3/__https://unimath.github.io/minneapolis2024__;!!IBzWLUs!RumAcQodq4w5Lw3b6hfC8CMskKrJzLYXKRjBAkk3qyXZmqpnUszE7561izyg10utFLrjL63FIUjxw8_E4zccVHSGxQ$ Best regards, The organizers Benedikt Ahrens and Favonia
[TYPES/announce] Student Research Competition (SRC) at ICFP 2024
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICFP 2024 Student Research Competition Call for Submissions ICFP 2024 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three rounds: * Submission of an extended abstract * Poster session at ICFP 2024 * Finalists' presentations at ICFP 2024 During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2024. Winners of the poster session advance to the next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience. ### IMPORTANT DATES AND TIMES * Submission Deadline: 23 May 2024 (Thursday) * Author Notification: 14 June 2024 (Friday) 12:00 PM CST * ICFP 2024 Conference in Milan, Italy: 2 September 2024 (Monday) - 7 September 2024 (Saturday) ### SUBMISSION OF EXTENDED ABSTRACTS * Submission Website: https://urldefense.com/v3/__https://icfp24src.hotcrp.com__;!!IBzWLUs!T9tzn7m_WAGNZQhQdfg5GlZEcI1nagtcQHsJdc5omdejEF_EW7sNlqoI0O-YkjRZ2Uctm77c8YYhUJ1LEYvsEdToLA$ 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://urldefense.com/v3/__https://www.acm.org/publications/authors/submissions__;!!IBzWLUs!T9tzn7m_WAGNZQhQdfg5GlZEcI1nagtcQHsJdc5omdejEF_EW7sNlqoI0O-YkjRZ2Uctm77c8YYhUJ1LEYtN5SInmg$ . For authors using LaTeX, a lighter-weight package, including only the essential files, is available from https://urldefense.com/v3/__http://sigplan.org/Resources/Author/*acmart-format__;Iw!!IBzWLUs!T9tzn7m_WAGNZQhQdfg5GlZEcI1nagtcQHsJdc5omdejEF_EW7sNlqoI0O-YkjRZ2Uctm77c8YYhUJ1LEYsTivaQlQ$ . 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://urldefense.com/v3/__https://icfp24.sigplan.org/track/icfp-2024-student-research-competition__;!!IBzWLUs!T9tzn7m_WAGNZQhQdfg5GlZEcI1nagtcQHsJdc5omdejEF_EW7sNlqoI0O-YkjRZ2Uctm77c8YYhUJ1LEYs92G1PHA$
[TYPES/announce] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn, Estonia A satellite workshop of FSCD 201:5924 https://urldefense.com/v3/__https://msfp-workshop.github.io/msfp2024/__;!!IBzWLUs!QPlTtKhDhlVfndLYLjvPHQF4zbMr7r1K187SyzV_RRSP6MPw82XsFQV4bDYfNj0kcC9mCOk9B9Sc4Qxz0FJE1K9n7A$ ** Deadline: Friday 26th April (abstract), Tuesday 30th April (paper) ** The tenth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with FSCD (https://urldefense.com/v3/__https://compose.ioc.ee/icalp2024/__;!!IBzWLUs!QPlTtKhDhlVfndLYLjvPHQF4zbMr7r1K187SyzV_RRSP6MPw82XsFQV4bDYfNj0kcC9mCOk9B9Sc4Qxz0FLVN4VJbA$ ). Previous instances have been held in Munich (with ETAPS 2022), virtually (2020), in Oxford (with FLOC 2018), Eindhoven (with ETAPS 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Baltimore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with MPC and AMAST 2006). Important Dates: Abstract deadline: Friday 26th April (AoE) Paper deadline: Tuesday 30th April (AoE) Notification: Tuesday 4th June (16:00 UTC) Final version: Tuesday 25th June (AoE) Workshop: Monday 8th July Invited Speakers: = TBA Programme Committee: Kazuyuki Asada- Tohoku University, JP Robert Atkey - University of Strathclyde, UK Ana Bove - Chalmers University of Technology, SE Liang-Ting Chen - Academia Sinica, TW Peng Fu - University of South Carolina, US Jeremy Gibbons- University of Oxford, UK (co-chair) Kuen-Bang Hou (Favonia) - University of Minnesota, UK (co-chair) Robin Kaarsgaard - University of Southern Denmark, DK Paul Blain Levy - University of Birmingham, UK Dan Marsden - University of Nottingham, UK Dylan McDermott - Reykjavik University, IS (more to follow) Submission: === Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Favonia (k...@umn.edu) and Jeremy Gibbons (jeremy.gibb...@cs.ox.ac.uk) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of at most 15 pages that will appear in the proceedings (published with EPTCS) and extended abstracts of at most two pages, which we will post on the website but do not constitute formal publications and will not appear in the proceedings. A short abstract should be submitted by four days in advance of the paper deadline (for both full paper and extended abstract submissions). For full details, see the webpage. We are using EasyChair to manage submissions: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=msfp2024__;!!IBzWLUs!QPlTtKhDhlVfndLYLjvPHQF4zbMr7r1K187SyzV_RRSP6MPw82XsFQV4bDYfNj0kcC9mCOk9B9Sc4Qxz0FJqBlTKeQ$
[TYPES/announce] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR SCHOLARSHIP APPLICATIONS *DEADLINE: 14 October 2022, 23:59 AoE* (Anywhere on Earth) ACM SIGPLAN Programming Languages Mentoring Workshop Location: Boston, Massachusetts, USA Date: Tuesday, January 17, 2023 Web page: https://urldefense.com/v3/__https://popl23.sigplan.org/home/PLMW-POPL-2023__;!!IBzWLUs!SfULz9cuefqyGcx252YVq0ht6NFIui1MeK69FFzFJ6D8Qa5Iw0dVTDwbqR7hjWKRF9GAicgcgBRolXGiwt2Poj_2wQ$ Following the success of the first eleven Programming Languages Mentoring Workshops at POPL 2012-2022, we are pleased to announce the 12th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2023 and organized by Hannah Gommerstadt, Michael Greenberg, Kuen-Bang Hou (Favonia), and Robbert Krebbers. The workshop will take place *in person* in Boston. PLMW aims to encourage graduate students and senior undergraduate students to pursue careers in programming language (PL) research. This workshop will bring together world leaders in PL research and teaching from both academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will help students imagine how they might contribute to our vibrant and thriving research community. We especially encourage women, members of underrepresented minorities, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay for the whole conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships can cover expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference itself. The workshop registration is open to all (with or without scholarships). Students with alternative sources of funding are welcome as well. APPLICATION FOR PLMW SCHOLARSHIP The application form can be accessed at the following URL: https://urldefense.com/v3/__https://forms.gle/Ct19QcsKjSLoE38B9__;!!IBzWLUs!SfULz9cuefqyGcx252YVq0ht6NFIui1MeK69FFzFJ6D8Qa5Iw0dVTDwbqR7hjWKRF9GAicgcgBRolXGiwt3B-jR0oA$ The deadline for full consideration of funding is *14 October 2022, 23:59 AoE.* Confirmed sponsors so far: - NSF - ACM SIGPLAN - Jane Street - Galois
[TYPES/announce] Research Programmer in HoTT and Cubical Type Theory
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are hiring a research programmer at University of Minnesota to work with us on building next-generation proof assistant technology (broadly defined) based on homotopy type theory and cubical type theory. The ideal candidate would have some knowledge and interest in homotopy and cubical type theory, combined with concrete experience implementing type theoretic proof assistants using modern algorithms, such as bidirectional type checking and normalization-by-evaluation. You will be exposed to the latest research in the field and can get involved in theoretical development of the research ideas. We welcome applicants who do not have a Ph.D. degree---a BA/BS degree is sufficient. The research project is funded by the AFOSR through their MURI program, and your official affiliation would be the University of Minnesota with Favonia being your supervisor. However, you will frequently meet and collaborate with other researchers from Carnegie Mellon University, Wesleyan University, University of San Diego, and other institutions. Especially during the COVID-19 pandemic, most activities will be online, though you will have to be physically in the US. (We may be able to sponsor visas. Contact Favonia for details.) We are interviewing candidates on a rolling basis until a match is found. Candidates applying by the end of March (2021/3/31) would be given priority. Here is the official link for application: https://hr.myu.umn.edu/jobs/ext/339220 Please also drop an email to Favonia so that we can confirm that your application correctly enters the system. If you are a current employee of the University of Minnesota, please use https://hr.myu.umn.edu/jobs/int/339220 instead. # Some further information - What is the annual salary? About $60,000 USD. - When is the expected start date? As soon as you are ready. - How long does this position last? The position will last as long as the project can support it and benefit from it. However, the expectation is that you will be in this position around 1-3 years (negotiable) and may choose to leave early (for example, to start a Ph.D.). Your official contract will be one-year but renewable. - I see that there’s a “work experience” requirement. What counts as “work experience”? This requirement exists to satisfy an administrative requirement of the job code at the University of Minnesota. We will recognize a wide range of activities as “work experience”, such as contributions on GitHub during weekends. **Please document related activities in your CV.** If you are not sure if something counts as work experience, please ask Favonia . - I have more questions! Please send an email to Favonia . Best, Favonia they/them/theirs
[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.
[TYPES/announce] Postdoc Position at the University of Minnesota
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, I am looking for postdocs for my group at the University of Minnesota, Twin Cities, USA. The length is about 18-24 months but negotiable. The funding can support a wide range of topics in type theory and programming language theory. I am particularly interested in raising the rigor of computer programs or mathematical proofs. To name a few possible research directions: 1. higher-dimensional type theory (e.g., cubical type theory) 2. mechanization of proofs (e.g., in homotopy theory) 3. property-based testing I am open to other topics not on the list. Please check my website https://favonia.org for the work I did. Teaching is not required, but we can discuss it if you are interested. The start date is flexible though I prefer early spring. REQUIREMENT You must have a Ph.D. in Computer Science, Mathematics, Philosophy, or some related field when the job starts. I need your CV, your cover letter (explaining your motivation) and two professional references. PREFERENCE Background in type theory or programming language theory, good publication record, and experience in proof mechanization are all pluses. HOW TO APPLY If you are currently an employee of the University of Minnesota, use this link: https://hr.myu.umn.edu/jobs/int/328079 Otherwise, this is for everyone else: https://hr.myu.umn.edu/jobs/ext/328079 DIVERSITY We take diversity and inclusiveness seriously, which is an important reason why I joined the University. I strongly encourage people of often underrepresented groups (not just regarding race or gender) to consider this position. Best, Favonia they/them/theirs http://favonia.org