[TYPES/announce] 27th WoLLIC 2021 - Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2021 27th Workshop on Logic, Language, Information and Computation October 5 to 8, 2021 ORGANISATION Universidade de São Paulo, Brazil University College London, UK Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held online from October 5 to 8, 2021. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2020 EasyChair website (https://easychair.org/conferences/?conf=wollic2021 ). PROCEEDINGS The proceedings of WoLLIC 2021, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2021 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Catarina Dutilh Novaes (VU Amsterdam) Santiago Figueira (Universidad de Buenos Aires, Argentina) Andreas Herzig (IRIT, France) Cláudia Nalon (UnB - Brazil) Giselle Reis (CMU - Qatar) IMPORTANT DATES May 15, 2021: Full paper deadline June 23, 2021: Author notification June 30, 2021: Final version deadline (firm) PROGRAMME COMMITTEE Carlos Areces (Cordoba, Argentina) Arthur Amorim Azevedo (CMU, USA) Nina Gierasimczuk (Technical University of Denmark, Denmark) Justin Hsu (University of Wisconsin–Madison, USA) Fairouz Kamareddine (Heriot-Watt University, UK) Sandra Kiefer (Aachen University, Germany) Clemens Kupke (Strathclyde University, Scotland) Konstantinos Mamouras (Rice University, USA) Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) Larry Moss (Indiana Univ, USA) Claudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Samsung Research, USA) Elaine Pimentel (UFRN, Brazil) Revantha Ramanayake (University of Groningen, The Netherlands) Jurriaan Rot (Radboud University, The Netherlands) Alexandra Silva (Univ College London) (Co-Chair) Christine Tasson (IRIF, France) Sebastiaan Terwijn (Radboud University, The Netherlands) Renata Wassermann (Univ São Paulo) (Co-Chair) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Renata Wassermann (Univ São Paulo) (Co-Chair) Alexandra Silva (Univ College London) (Co-Chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de
[TYPES/announce] PLDI 2021 Student Research Competition (SRC)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Deadline: March 22 2021 Venue: Online More Information: https://pldi21.sigplan.org/track/pldi-2021-SRC The ACM Student Research Competition (SRC), sponsored by Microsoft Research, offers a unique forum for undergraduate and graduate students to present their original research on programming language design, implementation, theory, applications, and performance at PLDI 2021. The goal is to give students a place to discuss their research with experts in their field and to help them sharpen their research and communication skills. Eligibility criteria Participants must have current student status, either graduate or undergraduate, at the time of the submission deadline. Participants in the SRC must also be current ACM (student) members. Prizes -- Winners of the three top places in each category receive prizes of $500 for the first place winner, $300 for the second place winner and $200 for the third place winner, respectively. The top three undergraduate and graduate winners receive an award medal and a one-year complimentary ACM student membership with a subscription to ACM's Digital Library. ACM SRC Grand Finals First place winners in each category will be invited to participate in the ACM SRC Grand Finals, an online round of competition between first-place SRC winners from different ACM conferences held in 2021. Grand Finals will be judged by an ACM-appointed panel of judges. Winners of the three top Grand Finals places in each category will receive additional prizes of $500 for the first place winner, $300 for the second place winner and $200 for the third place winner, respectively. They will be also invited to the annual ACM Award Banquet along with prestigious ACM award winners, including the winner of the Turing Award.
[TYPES/announce] Call for Submissions: International Conference on Probabilistic Programming (PROBPROG 2021)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Submissions: International Conference on Probabilistic Programming (PROBPROG 2021) Conference Dates: Wed Oct 20 - Fri Oct 22, 2021 Deadline: Thu May 6, 2021 11:59 PM AOE Submissions: https://cmt3.research.microsoft.com/PROBPROG2021/ Instructions: https://probprog.cc/submissions/ The International Conference on Probabilistic Programming (PROBPROG 2021) will take place Oct 20 - 22, 2021, in a fully online format. The conference invites two kinds of submissions: 1. Extended Abstracts Authors may submit work in the form of an extended abstract of 2-6 pages for consideration for a poster presentation, talk, or full-length proceedings submission. Extended abstracts are intended as a mechanism for discussing work that may be preliminary, and for this reason are non-archival. Titles for accepted poster presentations and talks will be listed on the conference website. Our aim is to enable researchers to get feedback from the PROBPROG community that helps mature the research, strengthen the probabilistic programming content, and improve the chances of acceptance in top venues aligned with other fields. 2. Syndicated Submissions Authors may submit work that has been accepted for publication at another venue within the last 12 months for consideration as a poster presentation or talk. These submissions may be full-length and are also non-archival, but will be listed on the conference website. Program Chairs - Guy Van den Broeck (UCLA) - Lawrence Murray (Uber) General Chairs - Jean-Baptiste Tristan (Boston College) - Jan-Willem van de Meent (Northeastern University) Program Information - Wed 20 October: Industry day and Tutorials - Thu 21 October: Main conference - Fri 22 October: Main conference Probabilistic programming is an emergent field based on the idea that probabilistic models can be efficiently represented as executable code. This idea has enabled researchers to formalize, automate, and scale up many aspects of modeling and inference; to make modeling and inference accessible to a broader audience of developers and domain experts; and to develop new programmable AI systems that integrate modeling and inference approaches from multiple domains. PROBPROG is the first international conference dedicated to probabilistic programming. PROBPROG includes presentations on basic research, applied research, open source, and the practice of probabilistic programming. PROBPROG attendees come from academia, industry, non-profits, and government. The conference aims to achieve three goals: 1. Create a venue where researchers from multiple fields — e.g. programming languages, statistics, machine learning, and artificial intelligence — can meet, interact, and exchange ideas. 2. Grow a diverse and inclusive probabilistic programming community, by actively seeking participation from under-represented groups, and providing networking opportunities, mentorship, and feedback to all members. 3. Support the development of the practice of probabilistic programming, including open-source systems and real-world applications, and provide a bridge between the practice of probabilistic programming and basic research. PROBPROG welcomes abstract submissions for contributed research presentations, demonstrations, open-source systems, participants in open discussions, and consideration for invited publication in an online journal. Submissions should indicate alignment with one or more of the following themes: 1. Artificial and Natural Intelligence Probabilistic programs and probabilistic programming technology for formulating and solving the core problems of intelligence, including research relevant for engineering artificial intelligence and for reverse-engineering natural intelligence. A central theme in this track is new AI architectures based on probabilistic programming that integrate statistical, symbolic, neural, Bayesian, and simulation-based approaches to knowledge representation and learning. Another central theme is proposals for learning probabilistic programs from data, and modeling high-level forms of human learning using probabilistic program synthesis. This track also includes research at the intersection of probabilistic programming and intelligence augmentation, collective intelligence, machine learning, and the development and analysis of intelligent infrastructure. 2. Statistics and Data Analysis Probabilistic programs and probabilistic programming technology for formulating and solving problems in statistics and data analysis. Topics include latent variable models, parameter estimation, automated data modeling, Bayesian inference, calibration, model checking, model criticism, visualization, and testing of statistical models and inference algorithms. This track also includes statistical applications and deployments of probabilistic programming for data analysis. 3. Languages,
[TYPES/announce] Post-doc position in Programming Language Foundations at University of Glasgow
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Glasgow College of Science and Engineering School of Computing Science Research Associate Ref: 051207 Grade 7: £35,845 - £40,322 per annum We have a position for a Research Associate to support the research of the Head of School, Professor Simon Gay, by collaboration on topics of mutual interest in the broad area of programming language foundations. The successful candidate will also be expected to contribute to the formulation and submission of research funding proposals, in order to further develop the activity of the Programming Languages research theme within the School of Computing Science. The position is full time with funding up to 31st July 2024 in the first instance. You should have a PhD in some aspect of programming language foundations, or have equivalent research experience. You should have a track record of publication and communication of research results. Topics of interest include (but are not limited to): type systems, session types, mechanised metatheory, effect systems, semantic typing, formal semantics, design and implementation of experimental programming languages or tools. We seek applicants at an international level of excellence. The School of Computing Science at the University of Glasgow has an international research reputation, and Glasgow, Scotland's largest city, offers an outstanding range of cultural resources and a high quality of life. Programming language research in the School of Computing Science spans the FATA (Formal Analysis, Theory and Algorithms) and GLASS (Glasgow Systems Section) research sections and involves five academic staff with a current portfolio of five funded research projects. We have our own seminar series (PLUG) as well as contributing to FATA and GLASS seminars and the Scottish Programming Languages Seminar. *Coronavirus / COVID-19* Considering the current travel restrictions, interviews will be held remotely. We will also be flexible about the starting date and working practices. *Further information* For informal enquiries or further information, please contact Professor Simon Gay simon@glasgow.ac.uk. *Application details* Online advert at jobs.ac.uk: https://www.jobs.ac.uk/job/CEK204/research-associate Glasgow University online application system: https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=051207 Closing date: 25th March 2021 It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment. We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equality. The University of Glasgow, charity number SC004401.