DOCSLIB.ORG

Mathematical Structures in Computer Science

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Mathematical Structures in Computer Science 09601295_22-1.qxd:MSC 11/25/11 8:17 PM Page 1 ISSN: 0960-1295 MSCS Mathematical Structures in Computer Science Mathematical Structures MSCSFEBRUARY 2012 VOLUME 22 NUMBER 1 MSCS Mathematical Structures in Computer Science CONTENTS Interpolation for predefined types 1 A journal in the applications of categorical, algebraic ra˘zvan diaconescu and geometric methods in Computer Science Lenses, fibrations and universal translations 25 michael johnson, robert rosebrugh and r. j. wood Bisimulations for non-deterministic labelled Markov processes 43 pedro r. d’argenio, pedro sánchez terraf and nicolás wolovick FEBRUARY 2012 VOLUME 22 NUMBER 1 Relative formal topology: the binary positivity predicate comes first 69 silvio valentini FEBRUARY 2012FEBRUARY VOL Constructing a small category of setoids 103 olov wilander UME 22 NUMBER 1 22 NUMBER UME © Cambridge University Press 2012 Cambridge Journals Online For further information about this journal please go to the journal website at: journals.cambridge.org/msc Downloaded from https://www.cambridge.org/core. IP address: 170.106.33.14, on 27 Sep 2021 at 16:14:41, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. https://doi.org/10.1017/S0960129511000715 09601295_22-1.qxd:MSC 11/25/11 8:17 PM Page 2 Instructions for contributors Editorial policy EDITOR- IN- CHIEF Mathematical Structures in Computer Science (MSCS) is a journal of theoretical computer science which focuses on the Giuseppe Longo application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge Laboratoire d’Informatique (CNRS) et DI, Ecole Normale Supérieure, 45, Rue D’Ulm, 75005 Paris (France), e-mail: [email protected] the gap between theoretical contributions and software design, publishing original papers or broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other associate editors areas of logic and mathematics form a basis for the work. The journal also welcomes applications to computing based on the use of Pierre-Louis Curien Philip J. Scott specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results. PPS – Case 7014, Université Paris 7, 2 pl. Jussieu, 75251 Paris, Cedex 05, France Department of Mathematics, University of Ottawa, 585 King Edward, Ottawa, In addition, it is interested in contributions in new interdisciplinary fields bridging computer science, quantum physics, e-mail:[email protected] Ontario K1N 9B4, Canada mathematics and information theory. In particular, papers on mathematical formalisms for quantum computation, quantum e-mail:[email protected] information processing and communication will be considered. editorial board The journal will also consider papers on computational modelling of epigenetic phenomena, protein-protein interactions, stochasticity Eugene Asarin Université de Paris VII, France Max Kanovitch Russian Humanities State University, Russia in molecular cascades. Mathematical approaches to System Biology will be welcomed, within the broad framework of post-genomic views of embryogenesis and evolution. Richard Blute University of Ottawa, Canada Stephen Lack University of Western Sydney, Australia The purpose of the journal is to increase the circulation of new very high standard results in fast growing areas which are currently influ- Cristian S. Calude The University of Auckland, New Zealand Mike Mislove Tulane University, USA encing various aspects of actual computing. Indeed, this journal is not meant to be only a ‘theory journal’ but, by choosing as a theme Robin Cockett University of Calgary, Canada Eugenio Moggi Università di Genova, Italy the use of mathematical methods of Computer Science independently of their area of application, it aims to highlight Thierry Coquand Chalmers University of Technology, Göteborg, Sweden Ugo Montanari University of Pisa, Italy connections among different topics and to encourage applications of theoretical contributions. Vincent Danos University of Edinburgh, UK Catuscia Palamidessi Ecole Polytechnique, France In order to promote the use of mathematical methods in computer science, expository and introductory papers are welcome, Rocco De Nicola Universita di Firenze, Italy Prakash Panangaden McGill University, Canada provided that there is a clear connection to computational issues or they investigate mathematical structures whose relevance to Thomas Ehrhard Université Denis Diderot, France Thierry Paul CNRS and Ecole Normale Sup., France computer science is well established. However, these contributions should be directed to the broad audience of computer scientists to which this journal is addressed. Equally, discussions of a methodological or philosophical nature concerning the foundation of Hartmut Ehrig Technische Universität Berlin, Germany Benjamin Pierce University of Pennsylvania, USA Computer Science are of interest for the journal. Martin Escardo University of Birmingham, UK Andy Pitts University of Cambridge, UK Submission of manuscripts Yuxi Fu Shanghai Jiaotong University, China Gordon D. Plotkin University of Edinburgh, UK Papers may be submitted to any member of the Editorial Board. A file .pdf should be sent accompanied by the author’s address, Nicola Gambino Università di Palermo, Italy Barry Sanders University of Calgary, Canada telephone and fax number, and e-mail address. Simon Gay University of Glasgow, UK Robert A. G. Seely McGill University, Montreal, Canada A copy of the paper together with the name of the editor chosen should also be sent to the Editor-in-Chief who will record the Alessandro Giuliani Istituto Superiore Sanità e Università Roma 1, Italy Alex Simpson University of Edinburgh, UK submission. Bob Harper Carnegie Mellon University, USA Colin Stirling University of Edinburgh, UK Submission of a paper is taken to imply that it has not been previously published and that it is not being considered for publication elsewhere. Authors of articles published in the journal assign copyright to Cambridge University Press (with certain rights Masahito Hasegawa Kyoto University, Japan Hebert Wiklicky Imperial College, UK reserved) and you will receive a copyright assignment form for signature on acceptance of your paper. Martin Hyland University of Cambridge, UK Glynn Winskel University of Cambridge, UK The publisher encourages submission of papers written in LaTeX using the MSCS LaTeX style file. The LaTeX 2.09 style file mscs.sty together with a guide to its use mscsguide.tex, or the corresponding LaTeX 2e file mscs.cls are available via anonymous ftp from the © CAMBRIDGE UNIVERSITY PRESS 2012 Cambridge University Press site at ftp.cup.cam.ac.uk in the directories /pub/texarchive/journals/latex/mscs-sty or /pub/texarchive/jour- SUBSCRIPTIONS. MSCS-Mathematical Structures in Computer Science (ISSN: 0960-1295) is published bimonthly in February, nals/latex/mscs-cls. In the directory /pub/texarchive/journals/latex/mscs-sty you will find a concatenated file called mscs.all. This file April, June, August, October and December by Cambridge University Press, The Edinburgh Building, Shaftesbury Road, contains readme.txt, mscs.sty and mscguid.tex. If you Tex mscguid.tex you will get a full set of instructions for using the style file. In Cambridge CB2 8RU, UK/Cambridge University Press, 40 West 20th Street, New York, N.Y. 10011–4211. The subscription price case of difficulties obtaining these files, there is a help-line available via e-mail; please contact [email protected]. While use (excluding VAT) of Volume 22, 2012, which includes print and electronic access, is £530 net (UK), (USA, Canada and Mexico of the MSCS LaTeX style file is preferred, ordinary LaTeX or plain TeX files can also be accepted. US $940). The electronic-only price available to institutional subscribers is £480 (USA, Canada and Mexico US $830). Single On final acceptance of their paper, authors should make accessible to the Editor-in-Chief (downloadable) the LaTeX source parts cost £95 net (USA, Canada and Mexico US $160). Prices include delivery by air. Six parts form a volume. EU subscribers code including all figures (line figures only), a file .pdf and author-defined macro and style files, together with a hard copy (outside the UK) who are not registered for VAT should add VAT at their country’s rate. VAT registered subscribers should produced using the same file. Discs should be in Apple Mac or PC format and will not be returned. The publisher reserves the provide their VAT registration number. Orders, which must be accompanied by payment, may be sent to any bookseller, subscrip- right to typeset any article by conventional means if the author’s TeX code presents problems in production. tion agent or to the publisher: Cambridge University Press, The Edinburgh Building, Shaftesbury Road, Cambridge CB2 8RU, or in Layout of manuscripts the USA, Canada and Mexico to Cambridge University Press, Journals Fulfillment Department, 100 Brook Hill Drive, West Papers should be typewritten in double spacing throughout, on one side of the paper. Please avoid footnotes if possible. Papers should Nyack, New York 10994–2133. Japanese prices for institutions are available from Kinokuniya Company Ltd, P.O. Box 55, Chitose, begin with an abstract of not more than 300 words and should end with a brief concluding section. Tokyo 156, Japan. Periodicals postage is paid at New York, NY
Load more

Recommended publications
  • Brief Curriculum Vitae
    Brief Curriculum Vitae Name Vasilakopoulou Christina E-mail christie DOT vasi AT gmail EMPLOYMENT Jun 2019 – now University of Patras, Greece Researcher, Department of Mathematics PI of research grant “Duality and enrichment in operadic theory; interactions with Hopf structures and abstract machines modeling”, H.F.R.I. (ELIDEK) Oct 2017 – June 2019 University of Calfornia at Riverside (USA) Visiting Assistant Professor, Department of Mathematics Oct 2016 – Sep 2017 Université Libre de Bruxelles (Belgium) Postdoctoral Fellow, Department of Mathematics Oct 2015 – Jun 2016 Massachusetts Institute of Technology (USA) Postdoctoral Associate, Department of Mathematics May – Sep 2015 Athens University of Economics and Business (Greece) Postdoctoral Researcher, Department of Informatics Sep 2014 – Feb 2015 University of Hawaii at Manoa (USA) Postdoctoral Research Fellow, Department of Information and Computer Sciences EDUCATION 2010 – 2014 University of Cambridge (UK) – PhD in Category Theory Supervisors: Martin Hyland, Ignacio Lopez Franco Thesis title: “Generalization of algebraic operations via enrichment” 2009 – 2010 University of Cambridge (UK) – MASt in Mathematics 2005 – 2009 University of Patras (Greece) – Ptychion in Mathematics (B.Sc.) Direction: Pure Mathematics, Final mark: 9,26/10 “Excellent” PAPERS To appear Mitchell Buckley, Timmy Fieremans, Christina Vasilakopoulou and Joost Vercruysse, Oplax Hopf Algebras, Higher Structures 2021 Mitchell Buckley, Timmy Fieremans, Christina Vasilakopoulou and Joost Vercruysse, A Larson- Sweedler Theorem for Hopf V-categories, Advances in Mathematics 376 2021 Georgios Bakirtzis, Cody H. Fleming and Christina Vasilakopoulou, Categorical Semantics of Cyber-Physical Systems Theory, ACM Transactions on Cyber-Physical Systems (3) 5, 1–32 2020 Joe Moeller and Christina Vasilakopoulou, Monoidal Grothendieck Construction, Theory and Applications of Categories 35, no.
    [Show full text]
  • Academic Profiles of Conference Speakers
    Academic Profiles of Conference Speakers 1. Cavazza, Marta, Associate Professor of the History of Science in the Facoltà di Scienze della Formazione (University of Bologna) Professor Cavazza’s research interests encompass seventeenth- and eighteenth-century Italian scientific institutions, in particular those based in Bologna, with special attention to their relations with the main European cultural centers of the age, namely the Royal Society of London and the Academy of Sciences in Paris. She also focuses on the presence of women in eighteenth- century Italian scientific institutions and the Enlightenment debate on gender, culture and society. Most of Cavazza’s published works on these topics center on Laura Bassi (1711-1778), the first woman university professor at Bologna, thanks in large part to the patronage of Benedict XIV. She is currently involved in the organization of the rich program of events for the celebration of the third centenary of Bassi’s birth. Select publications include: Settecento inquieto: Alle origini dell’Istituto delle Scienze (Bologna: Il Mulino, 1990); “The Institute of science of Bologna and The Royal Society in the Eighteenth century”, Notes and Records of The Royal Society, 56 (2002), 1, pp. 3- 25; “Una donna nella repubblica degli scienziati: Laura Bassi e i suoi colleghi,” in Scienza a due voci, (Firenze: Leo Olschki, 2006); “From Tournefort to Linnaeus: The Slow Conversion of the Institute of Sciences of Bologna,” in Linnaeus in Italy: The Spread of a Revolution in Science, (Science History Publications/USA, 2007); “Innovazione e compromesso. L'Istituto delle Scienze e il sistema accademico bolognese del Settecento,” in Bologna nell'età moderna, tomo II.
    [Show full text]
  • WUDR Biology
    www.cicerobook.com Biology 2021 TOP-500 Double RankPro 2021 represents universities in groups according to the average value of their ranks in the TOP 500 of university rankings published in a 2020 World University Country Number of universities Rank by countries 1-10 California Institute of Technology Caltech USA 1-10 Harvard University USA Australia 16 1-10 Imperial College London United Kingdom Austria 2 1-10 Massachusetts Institute of Technology USA Belgium 7 1-10 Stanford University USA Brazil 1 1-10 University College London United Kingdom Canada 12 1-10 University of California, Berkeley USA China 14 1-10 University of Cambridge United Kingdom Czech Republic 1 1-10 University of Oxford United Kingdom Denmark 4 1-10 Yale University USA Estonia 1 11-20 Columbia University USA Finland 4 11-20 Cornell University USA France 9 11-20 ETH Zürich-Swiss Federal Institute of Technology Zurich Switzerland Germany 26 11-20 Johns Hopkins University USA Greece 1 11-20 Princeton University USA Hong Kong 3 11-20 University of California, Los Angeles USA Ireland 4 11-20 University of California, San Diego USA Israel 4 11-20 University of Pennsylvania USA Italy 11 11-20 University of Toronto Canada Japan 6 11-20 University of Washington USA Netherlands 9 21-30 Duke University USA New Zealand 2 21-30 Karolinska Institutet Sweden Norway 3 21-30 Kyoto University Japan Portugal 2 21-30 Ludwig-Maximilians University of Munich Germany Rep.Korea 5 21-30 National University of Singapore Singapore Saudi Arabia 2 21-30 New York University USA Singapore 2 21-30
    [Show full text]
  • 1 Curriculum Vitae of Andrea Vezzulli (March 2018)
    Curriculum vitae of Andrea Vezzulli (March 2018) PERSONAL DETAILS: First Name: Andrea Family Name: Vezzulli Gender: Male Place and date of birth: Codogno (LO), Italy. July 19th, 1975 Nationality: Italian Residence address: Via Campagna, 51 26865 San Rocco al Porto (LO) - Italy. Phone: +390377569412(home) +393393541281(mobile) Email: [email protected] EDUCATION: (2006) PhD in Economics, University of Milan, Milan. Thesis title: Bayesian Estimation of Zero Inflated Count Panel Data Models. Methodological Issues and an application to Academic Patenting. Thesis advisor: Prof. Matteo Manera. Examining Committee: Prof. Massimiliano Marcellino, Prof. Eliana La Ferrara, Prof. Alessandra Venturini. (2002) Laurea (MA) in Political Science (major in Economics and Statistics), University of Milan, Milan. Dissertation title: Analysis of a Temporary Work Agency database using Data Mining Techniques. Grade: 106/110. Advisors: Prof. Stefano Maria Iacus, Prof. Giuseppe Porro, Prof. Daniele Checchi. RESEARCH INTERESTS: Banking, innovation and technology transfer, SMEs financing, econometrics. CURRENT POSITION: (December 2016 – present) Assistant Professor (RTDb), Department of Economics, University of Insubria (IT). (April 2013 – present) Research Affiliate (external), ICRIOS – Bocconi University (IT). PREVIOUS POSITIONS: (October 2016 – December 2016) Contract Agent, European Commission Joint Research Centre (JRC), Unit I.1 – Modelling, Indicators and Impact Evaluation - Competence Centre on Composite Indicators and Scoreboards (CC-COIN). (August 2015 – September 2016) Post-Doc Researcher, Department of Economics and Management, University of Pisa (IT). (March 2010 – March 2015) Research Associate (Investigador Auxiliar), UECE/ISEG – University of Lisbon – Lisbon (PT). (March 2009 – March 2010) Post-Doc Research Fellow, Department of Management, University of Bologna, Bologna (IT). (January 2006 – January 2009) Post-Doc Fellow, KITeS/CESPRI – Bocconi University, Milan (IT).
    [Show full text]
  • Annual Report 2019
    ANNUAL REPORT 2019 SAR Italy is a partnership between Italian higher education institutions and research centres and Scholars at Risk, an international network of higher education institutions aimed at fostering the promotion of academic freedom and protecting the fundamental rights of scholars across the world. In constituting SAR Italy, the governance structures of adhering institutions, as well as researchers, educators, students and administrative personnel send a strong message of solidarity to scholars and institutions that experience situations whereby their academic freedom is at stake, and their research, educational and ‘third mission’ activities are constrained. Coming together in SAR Italy, the adhering institutions commit to concretely contributing to the promotion and protection of academic freedom, alongside over 500 other higher education institutions in 40 countries in the world. Summary Launch of SAR Italy ...................................................................................................................... 3 Coordination and Networking ....................................................................................................... 4 SAR Italy Working Groups ........................................................................................................... 5 Sub-national Networks and Local Synergies ................................................................................ 6 Protection ....................................................................................................................
    [Show full text]
  • URA Visiting Scholar Awardees
    URA Visiting Scholar Awardees Spring 2008 • Emanuela Barberis, Northeastern University • Marcela Carena and Harry Cheung, Fermilab (group award organized for selected participants from URA member universities) • Benjamin Carls, University of Illinois at Urbana-Champaign • Charles Cox and David Cox, University of California, Davis • Andre De Gouvea, Northwestern University • Richard Evans, University of Illinois at Urbana-Champaign • Patrick Fox and Graham Kribs, University of Oregon (for selected participants from URA member universities for a workshop at Fermilab) • Elvira Gamiz Sanchez, University of Illinois at Urbana-Champaign • Davide Gerbaudo, Princeton University • Igor Gorelov and Sally Seidel, University of New Mexico • Michael Kordosky, College of William and Mary • Marek Szymon Kos, Syracuse University • Jeffrey Nelson, College of William and Mary • Robert Shrock, State University of New York at Stony Brook • Pavel Snopok, University of California, Riverside • Marco Trovato, University of Pisa • Shannon Zelitch, University of Virginia • Guo Quan (Jack) Zhang, University of New Mexico Fall 2008 • Dante Amidei, University of Michigan • Durdana Balakishiyeva, University of Florida • Patrick Fox, Peter Skands, and Benjamin Kilminster, Fermilab (group award organized for selected participants from URA member universities) • Cecilia Gerber, University of Illinois at Chicago • Joseph Grange, University of Florida • Zijn Guo, Johns Hopkins University • Kristian Hahn, Massachusetts Institute of Technology • Klaus Honscheid, Ohio State
    [Show full text]
  • Some Reasons for Generalizing Domain Theory
    Under consideration for publication in Math. Struct. in Comp. Science Some Reasons for Generalizing Domain Theory Martin Hyland Received 9 October 2009 One natural way to generalize Domain Theory is to replace partially ordered sets by categories. This kind of generalization has recently found application in the study of concurrency. An outline is given of the elegant mathematical foundations which have been developed. This is specialized to give a construction of cartesian closed categories of domains, which throws light on standard presentations of Domain Theory. Introduction This paper is one of what I hope will be a series written in conscious homage to Kreisel’s paper (Kreisel 1971). That paper was prepared for the European Meeting of the ASL in Manchester 1969, was widely aired at the time and was finally published in the pro- ceedings in 1971. It is a survey of the state of Recursion Theory and its generalizations around 1970. At one level it is a remarkable attempt to influence the development of logic, providing concrete proposals and problems as well as more general reflections on future directions. At times, for example in connection with the theory of admissible sets, the discussion foreshadows developments whose significance was only later fully appreciated. At other points, for example in connection with axiomatics, an approach is promoted which has been explored extensively but has in my view been less successful. (It is of course a positive feature that suggestions can even now be regarded as contentious.) However one can read the paper on another level as providing a case study of the value of generalization in a specific area of mathematics.
    [Show full text]
  • From Brouwer's Thesis to the Fan Functional
    From Brouwer's Thesis to the Fan Functional Ulrich Berger Swansea University University of Birmingham Theoretical Computer Science Seminar February 21, 2020 1 / 36 Overview 1. Introduction 2. Brouwer's thesis 3. Abstract bar induction 4. Vacuous truth 5. Proving uniform continuity 6. Extracting the fan functional 2 / 36 Introduction What are the logical roots of intriguing algorithms/computing principles? I Primitive recursion comes from induction on N. I General recursion comes from wellfounded induction. I The extended Euklidean algorithm comes from a classical proof that Z is a principal ideal ring. I Normalization by evaluation (for the typed lambda-calculus) comes from the Tait/Girard proof of strong normalization, respectively a completeness proof for intuitionistic logic. I ... Where does Tait's fan functional come from? 3 / 36 The fan functional The fan functional computes for every continuous function on Cantor space with values in N its least modulus of uniform continuity: FAN :(f0; 1gN ! N) ! N FAN(F ) = µn 8α; β (α =n β ! F α = F β) Def where α =n β = 8k 2 N (k < n ! α k = β k). So, clearly, this must come from: Fan theorem: Every continuous function on Cantor space with values in N is uniformly continuous. The real question is what are the right logical and mathematical principles and what is the right formal system for a proof of this theorem in order to extract the fan functional, more precisely, a purely functional program that computes it? 4 / 36 Brief history of the fan functional Tait introduced the Fan functional in 1963 and showed that it is recursively continuous but not computable by Kleene's schemata S1-S9, thus shattering Kleene's hope that S1-S9 is a universal notion of computation in higher types.
    [Show full text]
  • Wellfounded Trees and Dependent Polynomial Functors
    Wellfounded Trees and Dependent Polynomial Functors Nicola Gambino? and Martin Hyland Department of Pure Mathematics and Mathematical Statistics University of Cambridge {N.Gambino,M.Hyland}@dpmms.cam.ac.uk Abstract. We set out to study the consequences of the assumption of types of wellfounded trees in dependent type theories. We do so by in- vestigating the categorical notion of wellfounded tree introduced in [16]. Our main result shows that wellfounded trees allow us to define initial algebras for a wide class of endofunctors on locally cartesian closed cat- egories. 1 Introduction Types of wellfounded trees, or W-types, are one of the most important com- ponents of Martin-L¨of’s dependent type theories. First, they allow us to define a wide class of inductive types [5, 15]. Secondly, they play an essential role in the interpretation of constructive set theories in dependent type theories [3]. Finally, from the proof-theoretic point of view, they represent the paradigmatic example of a generalised inductive definition and contribute considerably to the proof-theoretic strength of dependent type theories [8]. In [16] a categorical counterpart of the notion of W-type was introduced. In a locally cartesian closed category, W-types are defined as the initial algebras for endofunctors of a special kind, to which we shall refer here as polynomial functors. The purpose of this paper is to study polynomial endofunctors and W-types more closely. In particular, we set out to explore some of the consequences of the assumption that a locally cartesian closed category has W-types, i.e. that every polynomial endofunctor has an initial algebra.
    [Show full text]
  • The Continuum Hypothesis in Algebraic Set Theory
    The Continuum Hypothesis in Algebraic Set Theory T. P. Kusalik Department of Mathematics and Statistics McGill University Montreal,Quebec December 31, 2008 A thesis submitted to McGill University in partial fulfillment of the requirements of the degree of Master of Science ©T. Kusalik. 2008 Library and Archives Bibliotheque et 1*1 Canada Archives Canada Published Heritage Direction du Branch Patrimoine de I'edition 395 Wellington Street 395, rue Wellington OttawaONK1A0N4 Ottawa ON K1A0N4 Canada Canada Your file Votre reference ISBN: 978-0-494-53761-9 Our file Notre reference ISBN: 978-0-494-53761-9 NOTICE: AVIS: The author has granted a non­ L'auteur a accorde une licence non exclusive exclusive license allowing Library and permettant a la Bibliotheque et Archives Archives Canada to reproduce, Canada de reproduire, publier, archiver, publish, archive, preserve, conserve, sauvegarder, conserver, transmettre au public communicate to the public by par telecommunication ou par I'lnternet, prefer, telecommunication or on the Internet, distribuer et vendre des theses partout dans le loan, distribute and sell theses monde, a des fins commerciales ou autres, sur worldwide, for commercial or non­ support microforme, papier, electronique et/ou commercial purposes, in microform, autres formats. paper, electronic and/or any other formats. The author retains copyright L'auteur conserve la propriete du droit d'auteur ownership and moral rights in this et des droits moraux qui protege cette these. Ni thesis. Neither the thesis nor la these ni des extraits substantiels de celle-ci substantial extracts from it may be ne doivent etre imprimes ou autrement printed or otherwise reproduced reproduits sans son autorisation.
    [Show full text]
  • Department of Political Science 2016 Conference Presentations And
    DEPARTMENT OF POLITICAL SCIENCE 2016 CONFERENCE PRESENTATIONS AND INVITED LECTURES ARASH ABIZADEH Conferences: “The Promise of Sortition.”, Roundtable, American Political Science Association, Philadelphia, Sept. 1–4, 2016 “Hobbes’s Theory of the Good: Felicity by Anticipatory Pleasure.”, Department of Politics, University of York, June 16, 2016 “Hobbes’s Theory of the Good: Felicity by Anticipatory Pleasure.”, Just World Institute, University of Edinburgh, June 15, 2016 “Subjectivism, Instrumentalism, and Prudentialism about Reasons: On the Normativity of Instrumental Transmission.”, Foundations of Normativity Workshop, University of Edinburgh, June 13–14, 2016 “The Special-Obligations Challenge to More Open Borders.”, Nathanson Centre, Osgoode Hall, Feb. 5, 2016 “Hobbes’s Theory of the Good: Felicity by Anticipatory Pleasure.”, UCLA Political Theory Workshop, Jan. 29, 2016 Workshops: “Representation, Bicameralism, and Sortition: Reconstituting the Senate as a Randomly Selected Citizen Assembly”, Centre for the Study of Democratic Citizenship, workshop on Representation, Bicameralism, and Sortition: With Application to the Canadian Senate, 2016 LEONARDO BACCINI Conferences: APSA, Philadelphia, September 2016 IPES, Duke University, November 2016 Political Economy of Reforms, University of Mannheim, December 2016 Workshops: Workshop organized by International Organization, University of Pennsylvania, June 2016 Workshop on international organizations, Rice University, November 2016 Seminar in Political Economy, Yale University,
    [Show full text]
  • Librettospring 2018
    Rutgers Department of Italian - Spring 2018 The Rutgers LibrettoSpring 2018 A letter from the chair... uring this past academic year we have had a very busy scholarly agenda, D with two conferences in the fall (one organized by Rhiannon Welch, one the traditional biannual graduate students’ conference), several lectures, one roundtable, and our department colloquia “Food for Thought” twice a semester. You can read about all of this more in detail in the pages ahead. Following the principle of rotation, there will be some changes in the department officers starting next year. I have completed my second term as Chair and Andrea Baldi will take over on July 1. Paola Gambarota will be on leave next year and I will be Graduate Program Director for the next three years. Rhiannon Welch has been renewed and will continue to serve as Undergraduate Program Director for another three years (while being replaced in the fall by Carmela Scala as Acting UGD). Serving as Chair for six years has had its challenges, especially at a time when humanities departments across the country are being plagued by drastic drops in enrollments, to the point of causing identity crises and shattering traditional ways of relating teaching to our research. I want to congratulate my colleagues for being very proactive and coming up with original and successful ideas from very early on, when figuring out what strategies we needed to adopt in order to attract students in different and unprecedented ways. We have completely overhauled our undergraduate curriculum, created new courses in English aimed at reaching out to students, who would otherwise never take Italian, Table of Contents • Marchetta Family History, p.
    [Show full text]