[TYPES/announce] Postdoc position at Tufts in Program Synthesis
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Tufts University Department of Computer Science invites applications for a postdoctoral research position. The candidate will work with Prof. Jeff Foster on a DARPA-funded project on program synthesis using symbolic solving and evolutionary algorithms. Applicants should have expertise in at least one of those areas, though those with closely related expertise will also be considered. Strong applicants will also have demonstrated strong programming and organizational skills. The postdoctoral researcher will join the Tufts University Programming Languages group (TuPL), a collaborative, highly collegial group of PL researchers. More information about Prof. Foster (https://www.cs.tufts.edu/~jfoster/) and TuPL (https://tupl.cs.tufts.edu) can be found on the web. For more information about the position, please contact Prof. Foster (jfos...@cs.tufts.edu). Interested candidates should send their CV, including the names of two references, to Prof. Foster at jfos...@cs.tufts.edu. Applications will be considered immediately, and application review will continue until the position is filled. The starting date is negotiable, and the position will last from 1-4 years, depending on funding availability and preferences of the applicant. Equal Employment Opportunity Statement Tufts University, founded in 1852, prioritizes quality teaching, highly competitive basic and applied research, and a commitment to active citizenship locally, regionally, and globally. Tufts University also prides itself on creating a diverse, equitable, and inclusive community. Current and prospective employees of the university are expected to have and continuously develop skill in, and disposition for, positively engaging with a diverse population of faculty, staff, and students. Tufts University is an Equal Opportunity/Affirmative Action Employer. We are committed to increasing the diversity of our faculty and staff and fostering their success when hired. Members of underrepresented groups are welcome and strongly encouraged to apply. See the University’s Non-Discrimination statement and policy here https://oeo.tufts.edu/policies-procedures/non-discrimination/. If you are an applicant with a disability who is unable to use our online tools to search and apply for jobs, please contact us by calling Johny Laine in the Office of Equal Opportunity (OEO) at 617-627-3298 or at johny.la...@tufts.edu. Applicants can learn more about requesting reasonable accommodations at http://oeo.tufts.edu.
[TYPES/announce] PPDP 2020 deadline extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UPDATE: extended deadlines! Abstract deadline: Mon 18 May 2020 AoE Paperdeadline: Fri 22 May 2020 AoE Submissions at: https://easychair.org/conferences/?conf=ppdp2020 PPDP 2020 Call For Papers = The 22nd International Symposium on Principles and Practice of Declarative Programming, [PPDP 2020](http://www.cse.chalmers.se/~abela/ppdp20/), hosted 8-10 September 2020 by the University of Bologna, Italy. **Due to the COVID-19 pandemic, PPDP 2020 will take place online. The submission, review, and publication process is unaffected. However, the deadlines have been extended by a week to accommodate for the situation.** Scope - The PPDP 2020 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will take place 8-10 September 2020 virtually hosted by the University of Bologna, Italy, co-organized with the 29th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2020) and the International conference on [Microservices 2020](https://www.conf-micro.services/2020/). Submissions --- Submissions are welcome on easychair at https://easychair.org/conferences/?conf=ppdp2020 Submission Categories - Submissions can be made in three categories: - regular Research Papers, - System Descriptions, and - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: - insights gained from real-world projects using declarative programming - comparison of declarative programming with conventional programming in the context of an industrial project or a university
[TYPES/announce] ML Family Workshop 2020 : Deadline extension
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Due to the COVID-19 pandemic, ML 2020 will take place online. The submission deadlines have been extended to the end of the month to accommodate for the change in situation. = We are happy to invite submissions to the ML Family Workshop 2020, to be held during the ICFP conference week on Thursday, August 27th. The ML family workshop warmly welcomes submission touching on the programming languages traditionally seen as part of the "ML family" (Standard ML, OCaml, F#, CakeML, SML#, Manticore, MetaOCaml, etc.). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Haskell, Scala, Rust, Nemerle, Links, Koka, F*, Eff, ATS, etc), to exchange experience of further developing ML ideas. Due to the COVID-19 pandemic, the workshop will take place online. See our detailed CFP online on the ICFP website: https://icfp20.sigplan.org/home/mlfamilyworkshop-2020 Important dates --- - Friday 29th May (any time zone): Abstract submission deadline - Friday 17th July: Author notification - Thursday 27th August: ML Family Workshop Program committee - - Youyou Cong (Tokyo Institute of Technology) - Ivan Gotovchits (Carnegie Mellon University) - Gowtham Kaki (Purdue University) - Neel Krishnaswami (University of Cambridge) - Daan Leijen (Microsoft Research) - Koko Muroya (Kyoto University) - Atsushi Ohori (Tohoku University) - Jonathan Protzenko (Microsoft Research) - Gabriel Radanne (INRIA) - Claudio Russo (Dfinity) - Leo White (Jane Street) (Chair) - Jeremy Yallop (University of Cambridge) Submission details -- See the online CFP for the details on the expected submission format. Submissions must be uploaded to the workshop submission website https://ml2020.hotcrp.com/ before the submission deadline.
[TYPES/announce] Call for Papers: ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS'20)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, PLAS is calling for paper submissions at the intersection of programming languages and security. See below for further details. ACM SIGSAC 15th Workshop on Programming Languages and Analysis for Security (PLAS 2020) -- Friday November 13, 2020 - Orlando, USA (Co-located with ACM CCS 2020) http://plas.ws/ PLAS provides a forum for exploring and evaluating the use of programming language and program analysis techniques for promoting security in the complete range of software systems, from compilers to machine-learned models and smart contracts. The workshop encourages proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and problems. We also host position papers that are radical, forward-looking, and lead to lively and insightful discussions, influential to the future research at the intersection of programming languages and security. The scope of PLAS includes, but is not limited to: - *NEW THIS YEAR*: Language-based techniques for detecting and eliminating side-channel vulnerabilities - Programming language techniques and verification applied to security in other domains (e.g. adversarial learning and smart contracts) - Software isolation techniques (e.g., SFI and sandboxing) and compiler-based hardening techniques (e.g, secure compilation) - Compiler-based security mechanisms (e.g. security type systems) or runtime-based security mechanisms (e.g. inline reference monitors) - Techniques for discovering and detecting security vulnerabilities, including program (binary) analysis and fuzzing - Automated introduction and/or verification of security enforcement mechanisms - Language-based verification of security properties in software, including verification of cryptographic protocols - Specifying and enforcing security policies for information flow and access control - Model-driven approaches to security - Security concerns for Web programming languages - Language design for security in new domains such as cloud computing and IoT - Applications, case studies, and implementations of these techniques * Call for Papers --- We invite both full papers and short papers. For short papers we especially encourage the submission of position papers that are likely to generate lively discussion as well as short papers covering ongoing and future work. Full and short paper presentations will have equal time slots. * Full papers should be at most 11 pages long, plus as many pages as needed for references and appendices. Papers in this category are expected to have relatively mature content. * Short papers should be at most 3 pages long, plus as many pages as needed for references. Papers that present radical, open-ended and forward-looking ideas are particularly welcome in this category, as are papers presenting preliminary and exploratory work. Authors submitting papers in this category must prepend the phrase "Short Paper:" to the title of the submitted paper. Submissions should be PDF documents typeset in the ACM proceedings format using 10pt fonts. A SIGPLAN-approved template can be found at SIGPLAN Author Information. We recommend using this template. Both full and short papers must describe work not published in other refereed venues (see the SIGPLAN republication policy for more details). Accepted papers will appear in workshop proceedings, which will be distributed to the workshop participants and be available in the ACM Digital Library. Submissions can be made via Easychair: https://easychair.org/conferences/?conf=plas2020. Important Dates Paper submission: Friday June 12, 2020 (AoE) Author notification: August 8, 2020 Camera ready version: Wednesday September 2, 2020 Workshop date: Friday November 13, 2020 * Sponsorship Opportunities -- PLAS offers sponsorship opportunities to companies and institutions interested in promoting their brand at the workshop. These contributions will allow us to offer travel grants and reduced registration fees to students and underrepresented groups. Please, see http://plas.ws/#cfs for more details. * Program Committee -- - Amal Ahmed (Northeastern University) - Owen Arden (University of California, Santa Cruz) - Musard Balliu (KTH Royal Institute of Technology) - Ethan Cecchetti (Cornell University) - Dominique Devriese (Vrije Universiteit Brussel) - François Dupressoir (University of Bristol) - Anitha Gollamudi (Harvard University) - Marco Guarnieri (IMDEA Software Institute) - Scott Moore (Galois) - Deian Stefan (University of California, San Diego) # Organizers
[TYPES/announce] Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] {With apologies for cross-posting, please see below for information and thank you for a possible share among your network nodes} TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 doctoral candidates for a starting period of 3 years, with a negotiable starting date. Deadline: June 12, 2020 The PhD program focuses on interdisciplinary research topics covering – computational logic, and applications of logic to – databases and artificial intelligence, – computer-aided verification, – security and privacy, – cyber-physical systems, as well as to – distributed systems. __ THE PROGRAM __ Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems. The LogiCS doctoral program offers top research expertise, and a stimulating and supportive environment. The LogiCS is coordinated by TU Wien, which offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistently ranked among the best in Europe. The founding body of the LogiCS, the Austrian Science Fund (FWF), offers multiple funding opportunities for young researchers to advance their independent scientific careers. __ FACULTY MEMBERS __ - M. Bartocci - A. Biere - R. Bloem - A. Ciabattoni - T. Eiter - G. Gottlob - R. Grosu - L. Kovacs - M. Maffei - M. Ortiz - U. Schmid - M. Seidl - S. Szeider - G. Weissenbacher - S. Woltran The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college. __ POSITIONS AND FUNDING __ * We are looking for 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF). (30 hours per week/ 39.000 EUR gross/year) * The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. * The location of the research post is Vienna, Graz or Linz, Austria. __ SEEKING CANDIDATES FOR THE CURRENT RESEARCH AREAS __ At the moment we are particularly looking for candidates interested in the following areas: * Automated Software Verification * Description Logics * Epistemic logic in distributed computing * Game-based Semantics * Fixed-Parameter Algorithms and Complexity * Formal Verification of hybrid systems * Knowledge Representation and Reasoning * Model Checking * Modeling and analysis of digital integrated circuits * Normative Reasoning * Ontology-based Data Access * Security and Privacy * Scheduling and logic programming * Study of the Interaction between rules from a knowledge base and rules arising from machine learning * Topology in distributed computing * Quantified Boolean Formulas __ HOW TO APPLY __ Detailed information about the application process is available on the LogiCS web-page: https://logic-cs.at/phd/admission/ * The applicants are expected to have completed an excellent diploma or master’s degree in computer science, mathematics, or a related field. * Candidates with comparable achievements will be considered on a case-by-case basis. * Applications by the candidates need to be submitted electronically. Application Deadline: June 12, 2020 __ LOGIC IN AUSTRIA __ Austria has a highly active and successful logic in the computer science community. Recent activities include:
[TYPES/announce] CFP: GPCE 2020 − 19th International Conference on Generative Programming: Concepts & Experiences
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- GPCE 2020: 19th International Conference on Generative Programming: Concepts & Experiences November 16-17, 2020 Chicago, IL (USA) (a part of the SPLASH series of conferences) https://conf.researchr.org/home/gpce-2020 --- --- CALL FOR PAPERS --- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: program transformation, staging, macro systems, preprocessors, program synthesis, and code-recommendation systems, domain-specific languages, language embedding, language design, and language workbenches, feature-oriented programming, domain engineering, and feature interactions, applications and properties of code generation, language implementation, and product-line development. Authors are welcome to check with the PC chair whether their planned papers are in scope. --- IMPORTANT DATES --- - Abstract submission: July 20, 2020 (Monday), AoE - Paper submission: July 27, 2020 (Monday), AoE - Author notification: September 9, 2020 (Wednesday) - Conference: November 16-17, 2020 --- PAPER SELECTION --- The GPCE program committee will evaluate each submission according to the following selection criteria: - Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. - Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. - Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. - Clarity. The paper must present its contributions and results clearly. --- PAPER CATEGORIES --- GPCE solicits three kinds of submissions: - Full Papers reporting original and unpublished results of research that contribute to scientific knowledge in any GPCE topic listed above. Full paper submissions must not exceed 12 pages excluding bibliography. - Short Papers presenting unconventional ideas or visions about any GPCE topic listed above. Short papers do not always require complete results as in the case of a full paper. In this way, authors can introduce new ideas to the community and get early feedback. Please note that short papers are not intended to be position statements. Short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding bibliography. Short papers must have the text “(Short Paper)” appended to their title, though any papers of 6 or fewer pages that are not tool demonstration papers will be considered as short papers. - Tool Demonstrations presenting tools for any GPCE topic listed above. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” appended in their title. If the submission is accepted, the tool description will be published in the proceedings. The demonstration outline will only be used by the program committee for evaluating the submission. --- PAPER SUBMISSION --- All submissions must use the ACM SIGPLAN Conference Format “acmart” (http://sigplan.org/Resources/Author/#acmart-format). Please be sure to use the latest LaTeX templates and class files. the SIGPLAN sub-format, and 10 point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. Please do not make any changes to this format! To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. GPCE will follow a very lightweight model, where author identities are revealed to reviewers after submitting their initial reviews. Hence, the purpose is not to conceal author identities at all cost, but merely to provide reviewers with an unbiased first look at a submission. Author names and institutions should be omitted from
[TYPES/announce] Professor Positions in Secure Systems, Software Engineering at KU Leuven
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, Here at KU Leuven, we have two open professor positions: - a Research Professor (tenure track or tenured, assistant/associate/regular/full) in Secure Systems (deadline 18 September 2020) - a Tenure Track Assistant Professor in Software Engineering (deadline 15 October 2020) In both cases, your group will be part of the DistriNet research group of the Department of Computer Science. For both calls, the topic is to be construed broadly; programming languages research is very much in scope. https://www.kuleuven.be/personeel/jobsite/jobs/55627646 https://www.kuleuven.be/personeel/jobsite/jobs/55579725 https://distrinet.cs.kuleuven.be Best regards, Bart