[TYPES/announce] APLAS 2020 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, CALL FOR PARTICIPATION The 18th Asian Symposium on Programming Languages and Systems (APLAS 2020) Online, November 30th-December 2nd, 2020 (JST) (JST = Japan Standard Time = UTC+09) https://conf.researchr.org/home/aplas-2020 APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2020 will be held online from Mon, November 30th to Wed, December 2nd, 2020. The three-day event includes, three keynote talks, six regular sessions, and one poster session. The registration is now open at: https://conf.researchr.org/attending/aplas-2020/registration The registration deadline is: Tue, November 24th, 2020 (AoE). There is no registration fee; no payment information is required. The registration covers all online activities (in Slack and/or Zoom). Keynote Speakers: * Luca Cardelli (University of Oxford) "Integrated Scientific Modeling and Lab Automation" * Hidehiko Masuhara (Tokyo Institute of Technology) "Object Support for GPU Programming: Why and How" * Nadia Polikarpova (University of California at San Diego) "Generating Programs from Types" For the detailed conference program, see https://conf.researchr.org/program/aplas-2020/program-aplas-2020 Best Regards, Bruno Oliveira
[TYPES/announce] Final Call for Papers: APLAS 2020 (deadline on the 6th of July)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please accept our apologies if you receive multiple copies of this call] This is the last call for papers for APLAS 2020. The registration deadline is on the 3rd of July, and we added a few more days to the submission deadline, which is now on the 6th of July. CALL FOR PAPERS 18th Asian Symposium on Programming Languages and Systems (APLAS 2020) Nov 29-Dec 3, 2020 Fukuoka, Japan https://conf.researchr.org/home/aplas-2020 The 18th Asian Symposium on Programming Languages and Systems (APLAS 2020) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2020 will be tentatively held in Nishijin Plaza, Fukuoka City, Japan between November 30th and 2rd of December 2020. Due to the COVID-19 situation, all authors will be given the chance to present remotely regardless of whether the conference is held as a physical, virtual, or hybrid physical/virtual meeting. Papers are solicited on topics such as: - Semantics, logics, foundational theory - Design of languages, type systems, and foundational calculi - Domain-specific languages - Compilers, interpreters, abstract machines - Program derivation, synthesis, and transformation - Program analysis, verification, model-checking - Logic, constraint, probabilistic, and quantum programming - Software security - Concurrency and parallelism - Tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool demonstrations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. IMPORTANT DATES Abstract deadline: July 3rd, 2020 (anywhere on Earth) Submission deadline: July 6th, 2020 (anywhere on Earth) Author response: August 5-7, 2020 Author notification: August 14, 2020 Final version: September 1, 2020 Conference: November 30 - December 2, 2020 CALL FOR REGULAR RESEARCH PAPERS We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. CALL FOR TOOL PAPERS We solicit submissions in the form of tool papers describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool-highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. PROGRAM COMMITTEE Edwin Brady, University of St. Andrews, UK Soham Chakraborty, IIT Delhi, India Andreea Costea, National University Of Singapore, Singapore Silvia Crafa, University of Padova, Italy Pierre-Evariste Dagand, LIP6/CNRS, France Mila Dalla Preda, University of Verona, Italy Cristina David, University of Oxford, UK Benjamin Delaware, Purdue University, US Florian Rabe, University of Erlangen, Germany Jeremy Gibbons, University of Oxford, UK Ichiro Hasuo, National Institute of Informatics, Japan Sam Lindley, The University of Edinburgh, UK James
[TYPES/announce] APLAS 2020 Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 18th Asian Symposium on Programming Languages and Systems (APLAS 2020) Nov 29-Dec 3, 2020 Fukuoka, Japan https://conf.researchr.org/home/aplas-2020 The 18th Asian Symposium on Programming Languages and Systems (APLAS 2020) aims to stimulate programming language research by providing a forum for the presentation of the latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS 2020 will be tentatively held in Nishijin Plaza, Fukuoka City, Japan between November 30th and 2rd of December 2020. Due to the COVID-19 situation, all authors will be given the chance to present remotely regardless of whether the conference is held as a physical, virtual, or hybrid physical/virtual meeting. Papers are solicited on topics such as: - Semantics, logics, foundational theory - Design of languages, type systems, and foundational calculi - Domain-specific languages - Compilers, interpreters, abstract machines - Program derivation, synthesis, and transformation - Program analysis, verification, model-checking - Logic, constraint, probabilistic, and quantum programming - Software security - Concurrency and parallelism - Tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool demonstrations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. IMPORTANT DATES Abstract deadline: June 26th, 2020 (anywhere on Earth) Submission deadline: July 3rd, 2020 (anywhere on Earth) Author response: August 3-5, 2020 Author notification: August 14, 2020 Final version: September 1, 2020 Conference: November 30 - December 2, 2020 CALL FOR REGULAR RESEARCH PAPERS We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. CALL FOR TOOL PAPERS We solicit submissions in the form of tool papers describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool-highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool’s strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. PROGRAM COMMITTEE Edwin Brady, University of St. Andrews, UK Soham Chakraborty, IIT Delhi, India Andreea Costea, National University Of Singapore, Singapore Silvia Crafa, University of Padova, Italy Pierre-Evariste Dagand, LIP6/CNRS, France Mila Dalla Preda, University of Verona, Italy Cristina David, University of Oxford, UK Benjamin Delaware, Purdue University, US Florian Rabe, University of Erlangen, Germany Jeremy Gibbons, University of Oxford, UK Ichiro Hasuo, National Institute of Informatics, Japan Sam Lindley, The University of Edinburgh, UK James McKinna, The University of Edinburgh, UK Madhavan Mukund, Chennai Mathematical Institute, India Hakjoo Oh, Korea University, South Korea Sukyoung Ryu, KAIST, South Korea Tom Schrijvers, KU Leuven, Belgium Ilya Sergey, Yale-NUS College and National University of
[TYPES/announce] Scala Symposium Deadline Extension: 13th of June
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, Due to popular request we have decided to extend the deadline for the 2018 Scala Symposium! Scala'18 Call for Papers 9th ACM SIGPLAN Symposium on Scala, 2018 28th of September, 2018 St. Louis Missouri, United States https://conf.researchr.org/track/scala-2018/scala-2018-papers Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ICFP 2018 and Strange Loop 2018. We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Important dates: * Paper submission June 13th, 2018 * Paper notification: July 13th, 2018 * Student talk submission: Aug 10th, 2018 * Camera ready: Aug 3rd, 2018 * Student talk notification: Aug 31st, 2018 All deadlines are at the end of the day, “Anywhere on Earth” (AoE). Submission Format: To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions, all in acmart/sigplan style, 10pt font. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) Accepted papers (either full papers, short ones or tool papers, but not student talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Formatting requirements are detailed in Instructions for Authors. Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Full and Short Papers: Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). Tool Papers: Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chairs. Student Talks: In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not
[TYPES/announce] Scala'18 Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Scala'18 Call for Papers 9th ACM SIGPLAN Symposium on Scala, 2018 27th-28th of September, 2018 St. Louis Missouri, United States https://conf.researchr.org/track/scala-2018/scala-2018-papers Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ICFP 2018 and Strange Loop 2018. We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Important dates: * Paper submission June 1st, 2018 * Paper notification: July 13th, 2018 * Student talk submission: Aug 10th, 2018 * Camera ready: Aug 3rd, 2018 * Student talk notification: Aug 31st, 2018 All deadlines are at the end of the day, “Anywhere on Earth” (AoE). Submission Format: To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions, all in acmart/sigplan style, 10pt font. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) Accepted papers (either full papers, short ones or tool papers, but not student talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Formatting requirements are detailed in Instructions for Authors. Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Full and Short Papers: Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). Tool Papers: Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chairs. Student Talks: In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks
[TYPES/announce] PhD Scholarships in Hong Kong
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Hong Kong has a special early-recruitment program for graduate studies starting next year (September 2015). Anyone interested in coming to Hong Kong and doing a PhD in the area of Programming Languages and Functional Programming is very welcome to apply! Knowledge of type-theory and experience with Functional Languages and/or Theorem Provers (Haskell, Scala, ML, OCaml, Agda, Idris, Coq, Isabelle …) are a definite plus. There are a number of projects available on the areas of compiler implementation, programming language design, dependent types, property-based testing and various other FP-related topics. For more details please contact me (br...@cs.hku.hk). General information about HKU’s early recruitment program can be found here: http://www.cs.hku.hk/programme/mphil-phd/admission_2015.jsp Some information about my research can be found here: http://i.cs.hku.hk/~bruno/ Best Regards, Bruno Oliveira
[TYPES/announce] Open Research Professor positions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, School of Computer Science and Engineering, Seoul National University invites applications for a post-doctoral research professor position. --- RESEARCH PROFESSOR POSITIONS Center For Research On Software Analysis For Error-Free Computing http://rosaec.snu.ac.kr SCHOOL OF COMPUTER SCIENCE ENGINEERING SEOUL NATIONAL UNIVERSITY --- The Center for Research on Software Analysis for Error-free Computing at Seoul National University (http://www.useoul.edu) invites applications for * a post-doctoral research professor position * the position can be transfered in 3 years (depending on research achievements) to regular tenure-track faculty position. We are looking for a candidate with research focus on - static analysis - software verification testing - programming language theory systems The successful applicant is expected to lead top-quality research. The ROSAEC center offers several opportunities for collaboration with a group of highly-motivated, internationally competitive graduate and undergraduate students as well as other post-docs and research professors. In particular, the ROSAEC center has a number of master students doing applied research for their master projects, which provides the successful applicant with an opportunity for proposing and supervising projects for those students. Interested candidates should email any inquiry or the application materials to: Dr. Bruno C. d. S. Oliveira Email: bruno at ropas.snu.ac.kr Home: http://ropas.snu.ac.kr/~bruno/ http://ropas.snu.ac.kr/%7Ebruno/ or Prof. Kwangkeun Yi Email: kwang at ropas.snu.ac.kr Home: http://ropas.snu.ac.kr/~kwang http://ropas.snu.ac.kr/%7Ekwang Application materials: a resume, a personal research plan, and the names of three or more references. Review of completed applications will begin immediately. The position remains open until filled. - Annual salary ranges from KRW 40M to 60M (approximately USD 35K to 52K at current exchange rates) and comes with generous taxation rates. Salary is determined based on the candidates research records and potentials. - On-campus university housing (studio or 2-bedroom apartment) provided. - Background - The center: Center for Research on Software Analysis for Error-free Computing (ROSAEC Center) has been established in September 2008 by by Korea Science and Engineering Foundation. The center consists of around 10 professors in static analysis, programming languages, software engineering, HCI, data base, and machine learning. The goal of the center is to research on domain-specific static analysis and verification technologies. - The university: Seoul National University is Korea's leading university. It has always out-performed other Korean universities, and is the preferred destination of top Korean high school students. It ranks with the leading universities in the Asia-Pacific region, particularly in research performance. - Location: The university is situated in Seoul, surrounded by rugged mountains, yet with a short ten-minute bus-ride to bustling shopping areas, where you may join the highly efficient Seoul metro system, and explore the great metropolis. Seoul is centrally located in the north east Asia: two-hour flight from Seoul reaches to Beijing(to the west) and Tokyo(to the east). - Seoul and Korea: Seoul is a modern, very well organized city, with an excellent public transportation system and it mixes up the best of the oriental and western cultures. Some knowledge of Korean is recommended for daily live but it is certainly not a necessity. Most young people will know some basic English and the city has English language signs and indications everywhere.