diff --git a/_announce/2024-04-16-aeic_2024.txt b/_announce/2024-04-16-aeic_2024.txt new file mode 100644 index 0000000..0e8129a --- /dev/null +++ b/_announce/2024-04-16-aeic_2024.txt @@ -0,0 +1,294 @@ +--- +title: "28th Ada-Europe Conf. on Reliable Software Technologies (AEiC 2024)" +timestamp: "4/16/2024 7:26:35" +start: "6/11/2024" +end: "6/14/2024" +--- +----------------------------------------------------------------------- + +Call for Participation + +28th Ada-Europe International Conference on +Reliable Software Technologies (AEiC 2024) + +11-14 June 2024, Barcelona, Spain + +www.ada-europe.org/conference2024 + +*** Online registration open! *** +*** Extensive info on conference site *** + +Organized by Ada-Europe and Barcelona Supercomputing Center (BSC), +in cooperation with ACM SIGAda, ACM SIGBED, ACM SIGPLAN, +and Ada Resource Association (ARA), +supported and sponsored by ASCENDER project, ACM-W, Eurocity, +AdaCore, Rising STARS project, ACM-W Barcelona Chapter, and OpenMP + +#AEiC2024 #AdaEurope #AdaProgramming + +*** Early registration discount until May 20 *** +*** Highly recommended to book your hotel ASAP *** + +----------------------------------------------------------------------- + +*** Exciting News! + +Preparations for AEiC 2024, the 28th Ada-Europe International +Conference on Software Reliable Technologies, are well underway! + +Registrations opened Tuesday April 16, and we've got some exciting +offers lined up for you, courtesy of our generous sponsors Rising +STARS and AdaCore, as well as an inspiring program. + +See below for an overview, and visit our website for more details about +accepted contributions, registration fees, social events and many more. + +*** General Information + +The 28th Ada-Europe International Conference on Reliable Software +Technologies (AEiC 2024) will take place in Barcelona, Spain. +The conference schedule comprises a keynote and an invited talk, +a panel with invited experts, a journal track, an industrial track, +a work-in-progress track, a vendor exhibition, parallel tutorials and +hackaton, and satellite workshops. There will be time for networking +during breaks and lunches, as well as various social events. + +AEiC 2024 is the latest in a series of annual international conferences +started in the early 80's, under the auspices of Ada-Europe, the +international organization that promotes knowledge and use of the Ada +programming language and reliable software in general, into academic +education and research, and industrial practice. + +The Ada-Europe series of conferences has over the years become +a leading international forum for providers, practitioners and +researchers in reliable software technologies. These events +highlight the increased relevance of Ada in general and in safety- +and security-critical systems in particular, and provide a unique +opportunity for interaction and collaboration between academics and +industrial practitioners. + +The 2024 edition of the conference continues a number of important +innovations started in previous years: +- reduced conference registration fee for all authors; +- low registration fee for all tutorials and workshops; +- journal-based open-access publication model for peer-reviewed papers; +- compact program with two core days (Wednesday & Thursday); +- tutorials on Tuesday, followed by welcome event for all participants; +- workshops on Friday, optional chill event on Thursday evening. + +*** Overview of the Week + +- Tue 11: six half-day tutorials, full-day hackaton, welcome reception +- Wed 12: core technical program, conference banquet +- Thu 13: core technical program, post conference chill-out +- Fri 17: four full-day workshops + +Extensive information on AEiC 2024 is on the conference website, +such as an overview of the program, the list of accepted papers and +presentations, and descriptions of workshops, tutorials, hackaton, +keynote and invited presentations, panel, and social events. +Also check the conference site for registration, accommodation and +travel information. The Advance Program brochure will be available +there as well. + +*** Venue + +The conference will take place in UPC Campus Nord, easily accessible by +metro from the airport and city centre. If you can stay over before or +after the conference, there's a lot to see around. Check the Practical +Information section of the conference website for more info. + +*** Invited Speakers + +This year the conference will feature a keynote talk on the first +day, and a panel with three invited speakers on the second, plus an +invited talk. All will address topics of relevance in the conference +scope, with time for questions and answers. + +- On Wed June 12, a keynote talk by Francisco J. Cazorla and Jaume + Abella, from Barcelona Supercomputing Center, who will talk about + "Strategies to Build Safety Relevant High-Performance HW/SW Platforms + for Critical Embedded Systems". + +- On Thu June 13, a panel on "AI for Safety-Critical Systems: How + 'I' Should the AI be?", moderated by Cristina Seceleanu, Mälardalen + University, with three invited experts: Kerstin Bach (Norwegian + University of Science and Technology), Irune Yarza (Ikerlan), + Marta Barroso (Barcelona Supercomputing Center). + +- And an invited talk by Rosa Maria Badia, Barcelona Supercomputing + Center, on "Simplifying the Life-Cycle Management of Complex + Application Workflows". + +*** Conference Core Composition + +The core conference program features three distinct types of technical +presentations, with different duration, in addition to the keynote +talk and the pannel session: journal-track talks (25 minutes), +industrial-track talks (15 minutes), work-in-progress-track talks +(10 minutes). + +All papers presented in the journal track, the industrial track and +the work-in-progress track have undergone peer review. Presentations +are combined into by-theme and not by-track sessions, in order that +authors and participants alike enjoy all flavors of the program in +a mixed as opposed to segregated combination. + +Papers and Presentations: +- 6 sessions with a mix of presentations on specific topics +- 13 journal-track talks +- 8 work-in-progress reports +- 5 industrial presentations and experience reports +- submissions from around the world +- accepted contributions by authors from Belgium, China, France, + Germany, India, Italy, Portugal, Spain, Sweden, UK, USA + +*** Tutorials + +Six three-hour tutorials are offered on Tuesday 11th: + +- "Lock-Free Programming in Ada-2022: Implementing a Work-Stealing + Scheduler for Ada-2022's Light-Weight Parallelism", by S. Tucker + Taft, AdaCore, USA + +- "Ada for Business Applications", by Gautier de Montmollin, + Ada-Switzerland, Switzerland + +- "Rust Fundamentals", by Luis Miguel Pinho and Tiago Carvalho, + ISEP, Portugal + +- "Concurrency and Parallelism in Rust", by Luis Miguel Pinho and + Tiago Carvalho, ISEP, Portugal + +- "Modeling Concurrent State Machines in TLA+", by J. Germán Rivera, + Tesla, USA + +- "Introduction to the Development of Safety-Critical Software", + by Jean-Pierre Rosen, Adalog, France + +- "METASAT: Programming High Performance RISC-V Technologies for + Space", by Leonidas Kosmidis, Barcelona Supercomputing Center, + Alejandro Calderon, Ikerlan, Aridane Alvarez Suarez, fentISS, + Lorenzo Lazzara, Collins Aerospace, Eckart Göhler, OHB + +- "Introduction to Certifiable General Purpose GPU Programming + for Safety-Critical Systems", by Leonidas Kosmidis, Barcelona + Supercomputing Center, Rod Burns and Verena Beckham, Codeplay/Intel + +as well as a "hackaton": + +- "Optimizing AI-driven Workflows within a Mission-Critical + Cyber-Physical System", if you're keen to explore the latest AI + techniques for Adaptive Optics applications in giant telescopes + with Damien Gratadour, Observatoire de Paris, CNRS, France + +*** Satellite Events + +Four workshops are held on Friday 11th: + +- 3rd ADEPT workshop "AADL by its practitioners" + +- 9th International Workshop on "Challenges and New Approaches for + Dependable and Cyber-Physical System Engineering" (DeCPS 2024) + +- "Enabling the use of AI in Safety-Critical Systems" + +- "Ada Developers Workshop", an informal yet dynamic gathering for + developers in the Ada community to meet, share insights, and present + their latest projects or project updates, using the Ada programming + language and Ada-related technology + +*** Social Program + +The conference provides several opportunities to socialize: + +- Each day: coffee breaks and lunches offer ample time for interaction + and networking with participants and vendors. + +- Tuesday early evening: welcome reception at the picturesque gardens + of Torre Girona. Guests will be treated to a curated selection + of local wines paired with the globally renowned Iberian ham, and + an array of delectable appetizers representing the rich culinary + heritage of Catalonia and Spain. Attendees will have the unique + opportunity to explore the cutting-edge facilities of the Barcelona + Supercomputing Center, and marvel at its latest addition, the + Marenostrum V supercomputer, and its predecessor, Marenostrum IV, + housed within the historic chapel of Torre Girona. + +- Wednesday evening: Conference Banquet at the emblematic restaurant + "7 portes". Attendees will have the opportunity to savor the + finest flavors of the Catalan and Mediterranean cuisines, such as + the renowned "Paella Perallada", a masterpice that harmoniously + combines semi-dry rice with succulent peeliled shellfish, delectable + seafood and tender meats. With a history spanning over 180 years, + "7 portes" stands as a witness to the evolution of some of the + most illustrious artists of their time, including Pablo Picasso and + Antoni Tàpies. Their presence has left an indelible mark, forming + a captivating small art gallery within the restaurant's walls, + waiting to be discovered by guests. + +- Thursday evening: Chill event at the Moritz Barcelona Brewery, + the brewery of the first beer of Barcelona. The event is divided + in three parts: a visit to the brewery, a welcome drink at the + Brasserie room, offering an exclusive vantage point overlooking the + maceration tanks, and a banquet served within the same Brasserie + room, by renowned chef Jordi Vilà, adorned with a Michelin star, + promising a gastronomic experience to be savored and remembered. + +*** Further Information + +Registration: +- registration information is provided at + +- early registration discount until Monday May 20, 2024 +- payment possible by credit card or bank transfer +- special low conference fee for authors +- discount for Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members +- registration includes coffee breaks, lunches and social events +- low tutorial and workshop fees for all participants +- strong discount on all fees for students +- minimal fee for AI Hackaton and Ada Developers Workshop +- see registration page for all details + +Promotion: +- recommended Twitter hashtags: #AEiC2024 #AdaEurope #AdaProgramming + +AEiC 2024 Sponsors: +- Barcelona Supercomputing Center: +- ASCENDER project: + +- ACM-W: +- Eurocity: +- AdaCore: +- Rising STARS project: +- ACM-W Barcelona Chapter: +- OpenMP: + +The conference is supported and sponsored by +- Ada-Europe: + +and organized in cooperation with +- ACM SIGAda: +- ACM SIGBED: +- ACM SIGPLAN: +- ARA: + +Please make sure you book accommodation as soon as possible. + +For more info and latest updates see the conference website at +. + +We look forward to seeing you in Barcelona in June 2024! + +----------------------------------------------------------------------- + +Our apologies if you receive multiple copies of this announcement. +Please circulate widely. + +Dirk Craeynest, AEiC 2024 Publicity Chair +Dirk.Craeynest@cs.kuleuven.be + +* 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024) +* June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024 + diff --git a/_announce/2024-04-18-aplas_2024.txt b/_announce/2024-04-18-aplas_2024.txt new file mode 100644 index 0000000..16d5a18 --- /dev/null +++ b/_announce/2024-04-18-aplas_2024.txt @@ -0,0 +1,72 @@ +--- +title: "Call for Papers, APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems" +timestamp: "4/18/2024 22:17:56" +deadline: "5/24/2024" +--- +APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems +October 22-24, 2024, Kyoto, Japan + + https://conf.researchr.org/home/aplas-2024/ + +APLAS 2024 aims to bring together programming language researchers, +practitioners and implementors *worldwide*, to present and discuss the +latest results and exchange ideas in all areas of programming +languages and systems. APLAS 2024 is co-located with the +22nd International Symposium on Automated Technology for Verification +and Analysis (ATVA). + + +We solicit submissions in the form of regular research papers +describing original scientific research results, including system +development and case studies. Among others, solicited topics include: +programming paradigms and styles; methods and tools to specify and +reason about programs and languages; programming language foundations; +methods and tools for implementation; concurrency and distribution; +applications, case studies and emerging topics. + +Submissions should not exceed 17 pages, excluding bibliography, in the +Springer LNCS format. The reviewing process is light double-blind, +with a rebuttal phase to address factual errors and minor +misunderstandings. + +Proceedings of APLAS 2024 will be published by Springer as part of +Lecture Notes in Computer Science (LNCS). +https://link.springer.com/conference/aplas + +APLAS 2024 continues the tradition of the best paper award. + + Submission deadline: Fri May 24 + + Response period: Jul 24-26 + Acceptance notification: Fri Aug 2 + Camera-ready: Sat Aug 31 + +The submission website is now open: https://aplas24.hotcrp.com/ + +General Chair: Jacques Garrigue (Nagoya U.) +Publicity Chairs: Ryosuke Sato (TUAT U.), Mirai Ikebuchi (Kyoto U.) + +Program Committee: + +Beniamino Accattoli (Inria & Ecole Polytechnique) +Pierre-Evariste Dagand (IRIF / CNRS) +Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA) +Fritz Henglein (DIKU and Deon Digital) +Mirai Ikebuchi (Kyoto University) +Patrik Jansson (Chalmers University of Technology and University of Gothenburg) +Oleg Kiselyov (Tohoku University, PC Chair) +Hsiang-Shang ‘Josh’ Ko (Academia Sinica) +Daan Leijen (Microsoft Research) +Martin Lester (University of Reading) +Fredrik Nordvall Forsberg (University of Strathclyde) +Matija Pretnar (University of Ljubljana) +Peter Schachte (The University of Melbourne) +Sven-Bodo Scholz (Radboud University) +Philipp Schuster (University of Tübingen) +Taro Sekiyama (NII) +Amir Shaikhha (University of Edinburgh) +Pavle Subotic (Fantom Foundation) +Yong Kiam Tan (Institute for Infocomm Research, A*STAR) +Kazunori Ueda (Waseda University) +Yuting Wang (Shanghai Jiao Tong University) +Ki Yung Ahn (Hannam University) diff --git a/_announce/2024-04-29-sle_2024.txt b/_announce/2024-04-29-sle_2024.txt new file mode 100644 index 0000000..f33390a --- /dev/null +++ b/_announce/2024-04-29-sle_2024.txt @@ -0,0 +1,176 @@ +--- +title: "1st CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering" +timestamp: "4/29/2024 8:42:12" +deadline: "6/14/2024" +--- +------------------------------------------------------------------------ +17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024) +October 20-25, 2024 +Pasadena, California, United States + +http://www.sleconf.org/2024/ +https://2024.splashcon.org/track/sle-2024 +Follow us on X: https://x.com/sleconf +------------------------------------------------------------------------ + +We are pleased to invite you to submit papers to the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024), held in conjunction with SPLASH 2024. The conference will be hosted in Pasadena, California, United States on October 20-25, 2024. + +--------------------------- +Topics of Interest +--------------------------- + +SLE covers software language engineering in general, rather than engineering a specific software language. Topics of interest include, but are not limited to: + +* Software Language Design and Implementation + - Approaches to and methods for language design + - Static semantics (e.g., design rules, well-formedness constraints) + - Techniques for specifying behavioral/executable semantics + - Generative approaches (incl. code synthesis, compilation) + - Meta-languages, meta-tools, language workbenches +* Validation of Software Language Tools and Implementations + - Verification and formal methods for language tools and implementations + - Testing techniques for language tools and implementations + - Simulation techniques for language tools and implementations +* Software Language Maintenance + - Software language reuse + - Language evolution + - Language families and variability, language and software product lines +* Software Language Integration and Composition + - Coordination of heterogeneous languages and tools + - Mappings between languages (incl. transformation languages) + - Traceability between languages + - Deployment of languages to different platforms +* Domain-Specific Approaches for Any Aspects of SLE (analysis, design, implementation, validation, maintenance) +* Empirical Studies and Experience Reports of Tools + - User studies evaluating usability + - Performance benchmarks + - Industrial applications +* Synergies between Language Engineering and Emerging/Promising Research Areas + - AI and ML language engineering (e.g., ML compiler testing, code classification) + - Quantum language engineering (e.g., language design for quantum machines) + - Language engineering for cyber-physical systems, IoT, digital twins, etc. + - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) + - Etc. + +--------------------------- +Types of Submissions +--------------------------- + +SLE accepts the following types of papers: + +Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. + +New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. + +SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. These papers can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. + +Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. + +**Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the SPLASH 2024 Website. + +--------------------------- +Submission +--------------------------- + +SLE 2024 has a single submission round for papers, including a rebuttal phase, where all authors of research papers will have the possibility of responding to the reviews on their submissions. + +Authors of accepted research papers will be invited to submit artifacts. + +--------------------------- +Important Dates +--------------------------- + +All dates are Anywhere on Earth (http://en.wikipedia.org/wiki/Anywhere_on_Earth). + +* Abstract Submissions: Fri 14 Jun, 2024 +* Paper Submissions: Mon 24 Jun, 2024 +* Authors Response Period: Mon 12 Aug - Sat 17 Aug, 2024 +* Authors Notification: Fri 30 Aug 2024 +* Conference: Sun 20 October - Fri 25 October 2024 (co-located with SPLASH, precise dates to be announced) + +--------------------------- +Format +--------------------------- + +Submissions have to use the ACM SIGPLAN Conference Format “acmart” (https://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template, and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! + +Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. + +To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. Accordingly, SLE will follow the double-blind process. Author names and institutions must be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. + +All submissions must be in PDF format. The submission website is: https://sle24.hotcrp.com + +--------------------------- +Concurrent Submissions +--------------------------- + +Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (https://www.acm.org/publications/policies/plagiarism-overview). Submissions that violate these policies will be desk-rejected. + + +--------------------------- +Policy on Human Participant and Subject Research +--------------------------- + +Authors conducting research involving human participants and subjects must ensure that their research complies with their local governing laws and regulations and the ACM’s general principles, as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). If submissions are found to be violating this policy, they will be rejected. + + +--------------------------- +Reviewing Process +--------------------------- + +All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning soundness, relevance, novelty, presentation, and replicability. New ideas/vision papers will be evaluated primarily concerning soundness, relevance, novelty, and presentation. SLEBoK papers will be reviewed on their soundness, relevance, originality, and presentation. Tool papers will be evaluated concerning relevance, presentation, and replicability. + +For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review at the discretion of the PC chairs. + +For research papers, authors will get a chance to respond to the reviews before a final decision is made. + + +--------------------------- +Artifact Evaluation +--------------------------- + +SLE will use an evaluation process to assess the quality of artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please see the Artifact Evaluation (https://2024.splashcon.org/track/sle-2024#Artifact-Evaluation) page. + +--------------------------- +Awards +--------------------------- + +Distinguished paper: Award for the most notable paper, as determined by the PC +chairs based on the recommendations of the program committee. + +Distinguished artifact: Award for the artifact most significantly exceeding +expectations, as determined by the AEC chairs based on the recommendations of +the artifact evaluation committee. + +--------------------------- +Publication +--------------------------- + +All accepted papers will be published in the ACM Digital Library. + +**AUTHORS TAKE NOTE**: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. + +--------------------------- +SLE and Doctoral Students +--------------------------- + +SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted doctoral symposium papers on SLE topics will also have the chance to present their work to the SLE audience. + +--------------------------- +Organisation +--------------------------- + +Chairs: + +* General chair: Ralf Lämmel, Universität Koblenz, Germany +* PC co-chair: Peter Mosses, Swansea University and Delft University of Technology, Netherlands +* PC co-chair: Juliana Alves Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil +* Publicity chair: Andrei Chis, feenk gmbh, Switzerland + + +--------------------------- +Contact +--------------------------- + +For additional information, clarification, or answers to questions, please get in touch with the program co-chairs (P.D.Mosses at tudelft.nl and Juliana at inf.puc-rio.br). + diff --git a/_announce/2024-05-01-rtfm_2024.txt b/_announce/2024-05-01-rtfm_2024.txt new file mode 100644 index 0000000..f41153a --- /dev/null +++ b/_announce/2024-05-01-rtfm_2024.txt @@ -0,0 +1,42 @@ +--- +title: "Call for Participation: First PLDI Workshop on Red-Hot Topics in Faculty Mentoring (RTFM)" +timestamp: "5/1/2024 16:25:50" +start: "6/25/2024" +end: "6/25/2024" +--- +Call for Participation in the First PLDI Workshop +on +Red-Hot Topics in Faculty Mentoring (RTFM) +(aka Read the Faculty Manual) + +https://pldi24.sigplan.org/home/rtfm-2024 +Tuesday, June 25, 2024 +co-located with PLDI'24 in Copenhagen, Denmark + +We believe our community has come a long way in acknowledging that junior researchers need as much mentoring as they can get to prepare them for future jobs and help them succeed. The PLMW workshop series has made it possible for us to talk openly with students about the challenges and stresses facing graduate students: problems with advisors, paper rejections, mental health, and career planning. However, the same can’t be said about the challenges of being faculty: many junior faculty don’t feel comfortable discussing their doubts or asking for advice about how to manage a research group or build a tenure case, and not every junior professor is lucky enough to have a suitable mentor at their own institution to ask for help. + +The goal of this workshop is to provide a forum for full-time academics to comfortably share their experience in non-technical aspects related to faculty life. Not all such experiences are positive. Sometimes things don’t work out: PhD students change advisors, grants are rejected, topics go out of fashion. We believe many of the not-so-junior members of the community would love to learn about how “the magic is done” in other research groups, and what are the non-technical ingredients that enable long-term successful research and a happy work environment. + +The workshop is targeting academic faculty of any seniority level, as well as senior PhD students and postdocs who have accepted faculty positions but have not officially started yet. + +For the inaugural edition of the RTFM workshop, we are delighted to confirm the following speakers: + +- Işıl Dillig (UT Austin), on running a research group +- Nate Foster (Cornell), on doing interdisciplinary research +- Ranjit Jhala (UCSD), on writing grants +- Peter Müller (ETH Zurich), on long-term research problem selection + +The workshop will also feature three discussion panels on + +- Getting tenure +- Recruiting and supporting students +- Work-life balance, service, and teaching + +The workshop will conclude with a slot for one-on-one mentoring sessions. + +RTFM@PLDI’24 organizers: + +- Amal Ahmed (Northeastern University) +- Derek Dreyer (MPI-SWS) +- Ilya Sergey (NUS) +