May 2016 - Categories - categories.org.au

Final CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
by Martha Lewis 31 May '16

31 May '16

With apologies for cross-posting FINAL CALL FOR PARTICIPATION ============================ Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science Co-located with QPL-2016 Date: 11th June 2016, 09:30-18:00 Place: University of Strathclyde, Glasgow, Scotland McCance Building, Room 319 The programme is now finalised and available online! Website: https://sites.google.com/site/semspworkshop <https://sites.google.com/site/semspworkshop> General enquiries: slpcs2016(a)easychair.org <mailto:slpcs2016@easychair.org> INVITED SPEAKERS ---------------- * Hans Briegel, University of Innsbruck - Projective Simulation for Learning and Agency * Peter Gärdenfors, University of Lund - The Role of Domains in the Representation of Word Meaning * Dominic Widdows, Microsoft - Semantics Spaces: Successes and Goals SHORT DESCRIPTION ----------------- Exploiting the common ground provided by the concept of a vector space, the workshop aims to bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between these three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact with each other in sentences and discourse, how diagrammatic reasoning depicts and simplifies this interaction, how language models are determined by input from the world, and how word and sentence meanings interact logically. CONTRIBUTED LONG TALKS ---------------------- * Daniela Ashoush and Bob Coecke. Dual density operators and natural language meaning * Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden and Robin Piedeleu. Interacting Conceptual Spaces * Dimitri Kartsaklis. Coordination in Categorical Compositional Distributional Semantics * Mehrnoosh Sadrzadeh. Quantifier Scope in Categorical Compositional Distributional Semantics * William Zeng and Bob Coecke. Quantum algorithms for compositional natural language processing CONTRIBUTED SHORT TALKS ----------------------- * Stefano Gogioso. A corpus-based toy model for DisCoCat * Stephen McGregor, Matthew Purver and Geraint Wiggins. Words, Concepts, and the Geometry of Analogy * John van der Wetering. Entailment Relations on Distributions REGISTRATION ------------ The registration fee is GBP 10. If you also want to attend QPL 2016, the total fee is GBP 50. Registration is now open (the system will give you the option to select if you want to attend only the workshop or QPL + workshop): https://sites.google.com/site/semspworkshop/registration <https://sites.google.com/site/semspworkshop/registration> PROGRAMME COMMITTEE ------------------- * Peter Bruza, Queensland University of Technology * Stephen Clark, University of Cambridge * Bob Coecke, University of Oxford * Liane Gabora, University of British Columbia * Chris Heunen, University of Edinburgh * Peter Hines, University of York * Aleksandra Kislak-Malinowska, University of Warmia and Mazury in Olsztyn * Daniel Marsden, University of Oxford * Glyn Morrill, Universitat Politècnica de Catalunya * Valeria de Paiva, Nuance Communications, Inc * Stanley Peters, University of Stanford * Stephen Pulman, University of Oxford * Matthew Purver, Queen Mary University of London * Sebastian Riedel, University College London * Mehrnoosh Sadrzadeh, Queen Mary University of London * Frank Zenker, University of Konstanz ORGANIZATION ------------ * Dimitrios Kartsaklis, Queen Mary University of London * Martha Lewis, University of Oxford * Laura Rimell, University of Cambridge ADVISORY COMMITTEE ------------------ * Stephen Clark, University of Cambridge * Bob Coecke, University of Oxford * Mehrnoosh Sadrzadeh, Queen Mary University of London Martha Lewis Research Assistant, Department of Computer Science, University of Oxford martha.lewis(a)cs.ox.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

cheap dorm rooms at Dalhousie during CT2016, but reply right away
by Dorette Pronk 31 May '16

31 May '16

An additional Housing Announcement in regard to CT2016 Due to the fact that we are holding the AARMS Summer School at Dalhousie before CT2016, we have access to a limited number of dorm rooms at a lower price than what is advertized on the website: only $20 per night. This rooms are in separate renovated houses and will only be shared with CT-participants. However, I only have about 6-10 of these, and I need to make the commitment to book these tomorrow. So if you are interested in getting one of those, please contact me right away, and I will accommodate the first takers until the house is full. Dorette Pronk Dorette.Pronk(a)Dal.Ca [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT 2016 Deadlines
by Pieter Hofstra 31 May '16

31 May '16

Dear All: This is to let you know that the abstract submission deadline for talks at CT2016 will be extended to June 9. Instructions for submission are to be found on the conference webpage http://mysite.science.uottawa.ca/phofstra/CT2016/CT2016.htm In addition, the organizers would like to remind everyone that the deadline for early registration is June 1. Best regards, Pieter Hofstra (on behalf of the organizing committee) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD Scholarship: Logic for Multiscale Network Modelling
by John Stell 31 May '16

31 May '16

Applications are invited for a PhD Scholarship at The University of Leeds, School of Computing on Logic for Multiscale Network Modelling. Students from UK, European Union, and Internationally are all eligible. Deadline for applications: 17th June 2016 Overall up to six PhD Scholarships will be awarded for projects from the list of topics at http://engineering.leeds.ac.uk/research-opportunity/201323/research-degrees /614/funded-studentships-in-the-school-of-computing- The Logic for Multiscale Network Modelling project would be supervised by Dr John Stell (j.g.stell(a)leeds.ac.uk) Computing with data in the form of networks is important for many purposes. Examples include: social networks modelling relationships between people; road networks for navigation; biological networks describing processes of interaction; networks of connections between concepts in ontologies for knowledge representation in artificial intelligence. In these and other areas networks are needed at multiple scales. Multiscale networks can arise from the need to model different processes at different levels of detail as well as from the need to 'zoom out' from large volumes of data to visualise overall patterns. This PhD project will develop mathematical foundations for modelling multiscale networks to provide logical tools for reasoning about knowledge at diverse scales. The project builds on recent research which has resulted in a novel modal logic based on relations between graphs and, more generally, hypergraphs. These relations model similarities between elements (links and nodes) of a network. When moving to a less detailed level different but similar elements can collapse to a single element. Work in the PhD will include establishing algebraic properties of these relations, applying them in logics for reasoning about levels of detail, and evaluating the resulting techniques with respect to network data. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

The European Master's Program in Computational Logic: Application until 5 June 2016
by Tobias Philipp 30 May '16

30 May '16

Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are possible UNTIL 5 June 2016. More details are given below. Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universit??t Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universit??t Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. Tuition fee waivers and small scholarships are available. Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen H??lldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universit??t Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh(a)iccl.tu-dresden.de -- TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden,Germany Tel.: +49 (0)351 463 38341 -- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

conference announcement
by Clark, Alexander (Prof.) 24 May '16

24 May '16

Dear Colleagues We are pleased to announce that registration is now open for the 31st Summer Conference on Topology and its Applications taking place at Leicester University, England during 2nd to 5th August 2016. We will have an Algebraic Topology Session co-chaired by Julie Bergner and Simona Paoli . You can register by following the guidelines on the website: https://sites.google.com/site/summertopology/home We will have the following invited speakers. Will Brian Baylor University Anna Giordano Bruno University of Udine Steven Frankel Yale University Paul Gartside University of Pitsburgh Jean Goubault-Larrecq Ecole Normal Sup'erieure de Cachan Mike Hill UCLA John Hunton Durham University Steve Hurder University of Illinois at Chicago Ieke Moerdijk Utrecht University and University of Sheffield Jimme Lawson Louisana State University Ulrike Tillmann University of Oxford Boaz Tsaban Bar-Ilan University On Monday 1st August 2016 we will also host the Galway Colloquium, a one day event aimed at PhD students, with many of the same speakers as for the conference giving introductory talks on their topics. Also, there will be a careers panel. Registration and more information for this event can be found on the same website. Although the event targets PhD students, others may attend. Events Welcome Reception Monday 1st August 2016 (evening) Conference Dinner Thursday 4th August (evening) Visit to King Richard III Visitor Centre Wednesday 3rd August http://kriii.com/ (evening) There is also a partner plan for those wishing to bring a partner, but please inform us if you are interested in this option. For more information please contact Alison Gibson or Alex Clark on tilings(a)leicester.ac.uk<mailto:tilings@leicester.ac.uk> . We hope to see you in August, Alex Clark Department of Mathematics University of Leicester University Road Leicester , LE1 7RH United Kingdom [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PLRR 2016 (Parametricity, Logical Relations & Realizability), call for contribution
by Pierre Hyvernat 24 May '16

24 May '16

CALL FOR CONTRIBUTIONS Workshop PLRR 2016 Parametricity, Logical Relations & Realizability September 2, Marseille, France http://lama.univ-savoie.fr/plrr2016 Satellite workshop - CSL 2016 http://csl16.lif.univ-mrs.fr/ BACKGROUND The workshop PLRR 2016 aims at presenting recent work on parametricity, logical relations and realizability, and encourage interaction between those communities. The areas of interest include, but are not limited to: * Kleene's intuitionistic realizability, * Krivine's classical realizability, * other extensions of the Curry-Howard correspondence, * links between forcing and the Curry-Howard correspondence, * parametricity, * logical relations, * categorical models, * applications to programming languages. INVITED SPEAKERS Neil Ghani (University of Strathclyde) Nick Benton (Microsoft Research, Cambridge) CONTRIBUTED TALKS We solicit contributed talks based on extended abstracts of 2 pages. Submission are handled by easychair: https://easychair.org/conferences/?conf=plrr2016 IMPORTANT DATES Submission of abstracts: June 15, 2016 Notification of acceptance: July 1, 2016 REGISTRATION via the main CSL 2016 website: http://csl16.lif.univ-mrs.fr/ VENUE Collocated with CSL 2016, hosted by Aix-Marseille Universit?. Both the main conference and its satellite workshops will be held in the city center campus of the Faculty of Science (Central Building). SCIENTIFIC COMMITTEE Pierre Hyvernat (Universit? Savoie Mont Blanc) Rodolphe Lepigre (Universit? Savoie Mont Blanc) Alexandre Miquel (Universidad de la Republica, Montevideo) Christophe Raffalli (Universit? Savoie Mont Blanc) Thomas Streicher (Technische Universit?t Darmstadt) CONTACT Pierre.Hyvernat(a)univ-smb.fr [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PSSL history
by Peter Johnstone 21 May '16

21 May '16

Dear category-theorists, Many of you will be aware that over the years I have kept a record of all talks given at meetings of the Peripatetic Seminar on Sheaves and Logic. I promised to make this publicly available on the occasion of the hundredth meeting; and it has now been uploaded to the website, at https://www.dpmms.cam.ac.uk/~jg352/PSSL100/pssl100.html Information on each talk is given in the form Date; start time; speaker; current affiliation; title. For reasons of space, when I started keeping the list (typed out in hard copy in those days!) I omitted finishing times (so you have to work out for yourself where the coffee-breaks came) and co-authors of joint work. By the time I went over to using TeX it was too late to reconstruct this information for the earlier meetings, so I continued to omit it. There are a number of gaps in the list (mostly missing titles or affiliations); if anyone can help to fill in some of those gaps, or correct any mistakes (of which I'm sure there are many), please e-mail ptj(a)dpmms.cam.ac.uk. Peter Johnstone [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Reminder: postdoc position in semantics and effects SUNDAY DEADLINE
by Paul B Levy 18 May '16

18 May '16

Dear colleagues, We are looking for a Postdoctoral Research Fellow to work on an EPSRC-funded project "Recursion, Guarded Recursion and Computational Effects". http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/N023757/1 We shall be investigating fine-grained typed calculi and operational, denotational and categorical semantics for languages that combine either guarded or general recursion and type recursion with a range of computational effects. This will build on existing work such as call-by-push-value and Nakano's guarded recursion calculus. The successful candidate will have a PhD in programming language semantics or a related discipline, and an ability to conduct collaborative mathematical research. Knowledge of operational and denotational semantics, category theory, type theory and related subjects are all desirable. You will work with me (principal investigator) and Neelakantan Krishnaswami (co-investigator) as part of the Theoretical Computer Science group at the University of Birmingham. The position lasts from 1 October 2016 until 30 September 2019. You can read more and apply for the job at http://tinyurl.com/projguarded Don't hesitate to contact me informally to discuss this position. The closing date is SUNDAY (22 May 2016). Reference: 54824 Grade point 7 Starting salary ??28,982 a year, in a range up to ??37,768 a year. Best regards, Paul -- Paul Blain Levy School of Computer Science, University of Birmingham http://www.cs.bham.ac.uk/~pbl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

free cocompletion
by Paul B Levy 16 May '16

16 May '16

Hi, the following result appears to be folklore: Given a locally small category C, the full subcategory of [C^op,Set] on small presheaves (i.e. those presheaves that are colimits of a small diagram of representables) is a free cocomplete locally small category on C. I've seen and heard this result in many places, and know how to prove it, but is there a proof written out in the literature? And where did the statement first appear? Paul -- Paul Blain Levy School of Computer Science, University of Birmingham http://www.cs.bham.ac.uk/~pbl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 2