[TYPES/announce] PEPM 2020 Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2020) https://popl20.sigplan.org/home/pepm-2020 New Orleans, USA, Monday January 20th, 2020 (co-located with POPL 2020) Registration http://popl20.sigplan.org/attending/registration Early registration deadline: **Wednesday 18th Dec 2019** Preliminary Schedule 09:00-10:00: Keynote 1: Network Verification: Past, Present, and Future (Nate Foster) 10:30-12:30: Dependently-Typed Multi-Stage Programming Revisited (invited talk) (Atsushi Igarashi) High-Fidelity Metaprogramming with Separator Syntax Trees (Rodin Aarssen, Tijs van der Storm) Module Generation without Regret (Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe) GOOL: A Generic Object-Oriented Language (Jacques Carette, Brooks MacLachlan, Spencer Smith) 14:00-15:05: Keynote 2: Reasoning about Progress of Concurrent Objects (Xinyu Feng) 15:35-17:45: Frex: Free extensions for normalisation by evaluation (invited talk) (Ohad Kammar) Symbolic Bisimulation for Open and Parameterized System (Zechen Hou, Eric Madelaine) Acumen: A Domain-Specific Language for Cyber-Physical Systems (invited talk) (Walid Taha) An approach to generating text-based IDEs with syntax completion from syntax specification (Isao Sasano) Find the full schedule, abstracts of the talks, and links to papers on the PEPM2020 website: https://popl20.sigplan.org/home/pepm-2020 Looking forward to seeing you at PEPM2020, PEPM2020 chairs and PC *** Programme committee --- * Andreas Abel (Chalmers U.) * Guillaume Allais (U. Strathclyde) * Nada Amin (Harvard U.) * Casper Bach Poulsen (co-chair) (TU Delft) * Patrick Bahr (Copenhagen U.) * Aggelos Biboudis (EPFL) * Olivier Danvy (National U. Singapore) * Álvaro García-Pérez (IMDEA) * Jeremy Gibbons (Oxford U.) * Robert Glück (Copenhagen U.) * Torsten Grust (U. Tubingen) * Zhenjiang Hu (co-chair) (Peking U./NII) * Hideya Iwasaki (U. Electro-Communications) * Oleg Kiselyov (Tohoku U.) * Hedehiko Masuhara (Tokyo I. Technology) * Keisuke Nakano (Tohoku U.) * Bruno Oliveira (U. Hong Kong) * Jens Palsberg (UCLA) * João Saraiva (Minho U.) * Tom Schrijvers (KU Leuven) * Eijiro Sumii (Tohoku U.) * Walid Taha (Halmstad U.) * Nobuko Yoshida (Imperial C. London)
[TYPES/announce] 10 PhD studentships in Nottingham
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, The School of Computer Science at the University of Nottingham is seeking applications for 10 fully-funded international PhD studentships: https://tinyurl.com/10-phds-2020 Applicants in the area of the Functional Programming Laboratory (https://tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible (the application deadline is 17th January): Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Venanzio Capretta - type theory, mathemZZatical logic, corecursive structures, proof assistants, category theory, epistemic logic. Graham Hutton - not taking on any new students this year, but you may find these notes useful: https://tinyurl.com/scbkxkr Henrik Nilsson - functional reactive programming, domain- specific languages, generalised notions of computation. These positions are only open to international applicants. An advert for UK/EU applicants will be posted in January 2020. Best wishes, Graham +---+ 10 Fully-Funded International PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/10-phds-2020 Applications are invited for 10 fully-funded international PhD studentships in the School of Computer Science at the University of Nottingham, starting on 1st October 2020. The topics for the studentships are open, but should relate to the interests of one of the School’s research groups: Agents Lab; Computational Optimisation and Learning Lab; Computer Vision Lab; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality Lab; Data Driven Algorithms, Systems and Design and Uncertainty in Data and Decision Making The studentships are for three and a half years and include a stipend of £15,009 per year and tuition fees. Applicants are normally expected to have a first-class Masters or Bachelors degree in Computer Science or a related discipline, and must obtain the support of a potential supervisor in the School prior to submitting their application. Initial contact with supervisors should be made at least two weeks prior to the closing date for applications. Successful applicants are expected to apply for an International VC Scholarship. Informal enquiries may be addressed to kathleen.fennem...@nottingham.ac.uk. To apply, please submit the following items by email to: marc.willi...@nottingham.ac.uk: (1) a copy of your CV, including your actual or expected degree class(es), and results of all University examinations; (2) an example of your technical writing, such as a project report or dissertation; (3) contact details for two academic referees. (4) a research proposal – max 2 x sides A4 You may also include a covering letter but this is optional. Closing date for applications: Friday 17 January 2020. +---+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.
[TYPES/announce] [CFP] Tokenomics 2020 (deadline January 20) - 2nd International Conference on Blockchain Economics, Security and Protocols
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Tokenomics 2020, 2nd International Conference on Blockchain Economics, Security and Protocols 11 and 12 May 2020, Toulouse, France After the great success of Tokenomics 2019, we are pleased to announce Tokenomics 2020, the 2nd International Conference on Blockchain Economics, Security and Protocols. This year’s conference is hosted by Toulouse School of Economics (TSE). Tokenomics is an international forum for theory, design, analysis, implementation and applications of blockchains and smart contracts. The goal of the conference is to bring together economists, computer science researchers and practitioners working on blockchains in a unique program featuring outstanding invited talks and academic presentations. Keynote speakers will include Jean Tirole, 2014 laureate of the Sveriges Riksbank prize in economic sciences in memory of Alfred Nobel, honorary chairman of the Jean-Jacques Laffont - Toulouse School of Economics Foundation and chairman of the Institute for Advanced Study in Toulouse, Long Chen, Secretary-General of the Luohan Academy, an open research institute initiated by Alibaba, and former Chief Strategy Officer at Ant Financial, Ittai Abraham, senior researcher at vmware research. Topics of interest Topics of interest include, but are not limited to: Distributed protocols for blockchains Lightweight protocols and networking issues of blockchains Fairness and Consistency (logical and economical) of blockchains Blockchain security, privacy and cryptographic tools Incentive theory, mechanism design, contract theory for blockchains Repeated games, collaborative games, reputation, algorithmic game theory ICO and cryptocurrencies, token valuation, governance and voting Trust models for blockchains Smart contracts and programming languages Formal methods for blockchains Secure multiparty computations (SMPC, e.g., auctions with sealed bids) Multi-agent systems and machine learning techniques applied to blockchains The program committee encourages the submission of original interdisciplinary works exploring the conjunction of economic concerns with distributed systems, networks and system security. Submission guidelines The submission website is: http://tokenomics2020.sciencesconf.org/ Submissions can be made in the computer science track or the economics track under the following formats: Computer Science track: Regular papers: 15 pages in the LNCS format. A clearly marked appendix is allowed (no more than 10 pages). Brief announcements: 5 pages in LNCS format. A clearly marked appendix is allowed (no more than 10 pages). - Economics Track: Free format. Submissions should include authors’ names and affiliations, and a short abstract of the paper’s contribution. All papers must be submitted electronically according to the instructions and forms found here and on the submission site. For each accepted paper the conference requires at least one registration. Conference proceedings: Regular Papers accepted in the Computer Science track will be published in the conference proceedings. Brief announcements accepted in the Computer Science track will be published according to the authors’ wishes in the conference proceedings. They should describe novel, previously unpublished scientific contributions. They will be subject to peer review. Authors may submit only work that does not substantially overlap with work that is currently submitted or has been accepted for publication in a conference with proceedings or a journal. Papers should be formatted in LNCS format and submitted as PDF files. The authors must also sign the LNCS copyright form when submitting the final version. Important dates Submission deadline: January 20th (extended), 2019 Acceptance notification: March 1st, 2020 Conference dates: May 11-12, 2020 Award The Ethereum France - Kaiko Prize for Research in Cryptoeconomics will reward the best paper and talk. Programme committee - Computer science: -- Emmanuelle Anceaume, CNRS, Irisa (France) -co-chair Daniel Augot, INRIA, Ecole Polytechnique (France) Quentin Bramas, ICUBE, University of Strasbourg (France) - co-chair Vincent Danos, CNRS, Ecole Normale Supérieure (France) Giuseppe Antonio Di Luna, Sapienza University of Rome (Italy) Antonio Fernández Anta, IMDEA Networks (Spain) Fabrice Le Fessant, OCaml PRO (France) Juan A. Garay, Texas A University (USA) Chryssis Georgiou, University of Cyprus (Cyprus) Vincent Gramoli, The University of Sydney (Australia) Braham Hamid, IRIT (France) Maurice Herlihy, Brown University (USA) Pascal Lafourcade, Université Clermont Auvergne (France) Mario Larangeira, IOHK, Tokyo Institute of Technology (Japan)