April 2015 - Categories - categories.org.au

FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)
by Ralph Matthes 01 May '15

01 May '15

Call for Papers *** FICS 2015 *** http://www.irit.fr/FICS2015/ International Workshop on Fixed Points in Computer Science Berlin, 11-12 September 2015 satellite of the International Conference CSL 2015 (Computer Science Logic) IMPORTANT DATES Abstract submission: Monday, June 16 Paper submission: Monday, June 23 Notification: Monday, July 27 Final version: Monday, August 24 BACKGROUND Fixed points play a fundamental role in several areas of computer science. They are used to justify (co)recursive definitions and associated reasoning techniques. The construction and properties of fixed points have been investigated in many different settings such as: design and implementation of programming languages, logics, verification, databases. The aim of this workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points. Topics include, but are not restricted to: * fixed points in algebra and coalgebra * fixed points in formal languages and automata * fixed points in game theory * fixed points in programming language semantics * fixed points in the mu-calculus and modal logics * fixed points in process algebras and process calculi * fixed points in functional programming and type theory * fixed points in relation to dataflow and circuits * fixed points in logic programming and theorem proving * fixed points in finite model theory, descriptive complexity theory, and databases * fixed points in category theory for logic in computer science PROGRAM COMMITTEE Ulrich Berger (Swansea Univ.) Dietmar Berwanger (CNRS & ENS Cachan) Filippo Bonchi (CNRS & ENS Lyon) Venanzio Capretta (Univ. Nottingham) Krishnendu Chatterjee (Institute of Science and Technology Austria) Kaustuv Chaudhuri (INRIA Saclay & ??cole Polytechnique) Thomas Colcombet (CNRS & Univ. Paris Diderot) Makoto Hamana (Gunma Univ.) Radu Mardare (Aalborg Univ.) Ralph Matthes (co-chair, CNRS & Univ. Toulouse) Henryk Michalewski (Univ. Warsaw) Matteo Mio (co-chair, CNRS & ENS Lyon) Andrzej Murawski (Univ. Warwick) Alexandra Silva (Radboud Univ. Nijmegen) Sam Staton (Univ. Oxford) TWO INVITED SPEAKERS * To be announced SUBMISSION The selection of contributed talks will be based on extended abstracts/short papers describing original results in sufficient detail to constitute a publication. Submission is via EasyChair: https://easychair.org/conferences/?conf=fics2015 Accepted papers will be published through the open-access venue EPTCS. Submissions should be composed using LaTeX and, preferably, using the EPTCS style: http://style.eptcs.org/ Typical submissions would be 8 pages long but submissions in the range [6,15] pages will be considered acceptable. JOURNAL PUBLICATION If the number and quality of submissions justifies it, a subsequent special issue of a journal will be prepared with extended versions of selected papers. A special issue of FICS 2013 is in preparation and will appear in Fundamenta Informaticae. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT 2015 Special Lecture
by Dirk Hofmann 29 Apr '15

29 Apr '15

Dear Colleagues, it is our great pleasure to announce a Special Lecture at CT 2015 by Bill Lawvere entitled: "Alexander Grothendieck and the modern conception of Space". It was pointed out to us by Bill that we are celebrating this year the 50th anniversary of international category theory meetings (starting with 1965 La Jolla Conference on Categorical Algebra, organized by Helmuth Roehrl). This fact has been duly noted on the conference web site, see http://ct2015.web.ua.pt/ Hoping to be able to welcome you at CT2015, Walter Tholen and Dirk Hofmann PS: We would also like to remind you that the deadline for early registration is May 1. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Philip J Higgins
by RONALD BROWN 23 Apr '15

23 Apr '15

I heard yesterday, April 21, that Philip Higgins died on 25 March, peacefully in an armchair, from heart conditions. His 1964 paper on "Presentations of groupoids with applications to groups" introduced me to the idea that groupoids could be used for algebraic computations. A key construction in this paper is that of a new groupoid U_f(G) over Y from a groupoid G and a function f: Ob(G) --> Y. This construction easily gives free groups and free products of groups, and has important higher dimensional generalisations. This paper led me to a Seifert-van Kampen theorem for the fundamental grouoid on a set of base points, allowing applications to unions of spaces for which they or their intersections are not connected, such as the circle. This work led in 1974 to a long term collaboration on higher groupoids and their applications. He had a wonderful way of organising complex algebraic material, and much of this expository skill is shown in the book R. Brown, P.J. Higgins, R. Sivera, "Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids", EMS Tracts in Mathematics Vol. 15, 703 pages. (August 2011). where major central parts are lifted from our joint papers. When he got into a new subject, he saw ways of clarifying the matter and exposition. This is shown in his work with Kirill Mackenzie on Lie groupoids and algebroids. His early work on groups with operators, and on the algebraic theory of algebras with partial operations, are still refereed to. At one time he had to choose between two professions, and decided he could have more fun as a professional mathematician and an amateur violinist. His craftmanship is shown that in his retirement he took up again making for his grandchildren violins, violas and cellos, each one taking about a year. I miss a good friend. Ronnie Brown [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 2

Associate Professorship in Data Science at Oxford (Continuing Education)
by Jeremy Gibbons 22 Apr '15

22 Apr '15

ASSOCIATE PROFESSORSHIP IN DATA SCIENCE DEPARTMENT OF CONTINUING EDUCATION UNIVERSITY OF OXFORD Grade 36S: £44,620 - £59,914 p.a. (pro rata) The University is seeking to appoint an Associate Professor in Data Science, to commence in October 2015 or as soon as possible thereafter. The post will be held in the Department for Continuing Education, University of Oxford. The postholder will benefit from a fellowship at Linacre College. The successful candidate must have a doctorate in data science or a cognate field, with a proven high standard of expertise in data science and appropriate knowledge of computer science, demonstrable experience of teaching and organising data science or similar programmes at university level, a proven record of research and publication, including evidence of research grant activity, academic leadership ability in the field of data science, and experience of public engagement. The postholder will have the opportunity to contribute to a wide range of provision, as appropriate to their expertise, including directing and overseeing the department's current activity and future development this disciplinary area. The postholder will be Director of Studies in Data Science, responsible for the established and well-subscribed Advanced Diploma in Data and Systems Analysis, together with the open access programmes and day/weekend schools in computer science, and will also seek to develop short/online courses for professional groups, such as school teachers, and for the wider public. The Department for Continuing Education is the leading Continuing Education department in the UK. Committed to public engagement, the department is multidisciplinary and encourages interdisciplinary teaching and research. The closing date for applications is 12.00 noon on 11 May 2015. For more information, see https://www.ox.ac.uk/about/jobs/academic/index/ac17923j/ I would be very happy to answer any questions. Jeremy Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ALCOP 2015 -- Call for participation
by Helle Hvid Hansen 20 Apr '15

20 Apr '15

*********************************************************************** CALL FOR PARTICIPATION ALCOP 2015: Algebra and Coalgebra meet Proof Theory Dates: 6 - 8 May 2015 Location: Delft University of Technology http://www.appliedlogictudelft.nl/alcop-2015/ *********************************************************************** (Apologies if you receive this announcement twice. Please forward to anyone interested.) The ALCOP meetings bring together experts in algebraic logic, coalgebraic logic and proof theory with the aim of sharing new results and developing mutually beneficial relationships between these fields. As a special theme, ALCOP 2015 will explore connections with substructural logics and their applications in computer science, social science and AI. This year's keynote speakers are: * F??lix Bou, Artificial Intelligence Research Institute (IIIA), Spain * Agata Ciabattoni, TU Vienna * Clemens Kupke, University of Strathclyde * Tadeusz Litak, FAU Erlangen-N??rnberg * David Pym, University College London For more information including the full list of speakers, please see our website: http://www.appliedlogictudelft.nl/alcop-2015/ Attendance is free, but the number of places is limited. To participate, send an email to Helle Hvid Hansen (h.h.hansen(a)tudelft.nl) or Umberto Rivieccio (U.Rivieccio(a)tudelft.nl) before *26 April 2015* with the following information: 1. First name 2. Last name 3. Affiliation 4. Registration (please indicate your choice): - excl. workshop dinner: free of cost, - incl. workshop dinner on Thu 7 May: 35 euro p.p. all inclusive. (Please inform us of any dietary restrictions.) The TU Delft gets special rates at a number of hotels in Delft. If you are interested, let us know in your reply. Best wishes, Giuseppe Greco, Delft University of Technology Helle Hvid Hansen, Delft University of Technology Umberto Rivieccio, Delft University of Technology [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoctoral fellowship at Dalhousie with 50% outreach, 50% research
by Peter Selinger 20 Apr '15

20 Apr '15

Dear category theorists, a new postdoc position is advertised at Dalhousie, which could be of interest to some of the readers of this list. The position is 50% research and 50% outreach activities. The research could be, for example, in category theory. Applications are due on May 4, 2015 (note: that's only 2 weeks away!), and the position would start in August or September. See more details below. -- Peter ============================== The Atlantic Association of Research in the Mathematical Sciences (AARMS) and the department of Mathematics and Statistics at Dalhousie University are advertizing a post-doctoral fellowship with duties in outreach coordination. The post-doctoral fellow will spend 50% of her or his duties on research, and 50% on outreach coordination and communication, see job description below. The research area of the candidate should align with that of one of the members of the department of Mathematics and Statistics, and this member should agree to supervision of the PDF. The outreach coordinator duties consist of the following: * Establish and maintain relations with the initiators and participants of various outreach activities associated with AARMS * Help develop and maintain on-line resources such as a Web page, social media presence, bank of on-line resources * Help in reporting on the activities to various sponsors * Help in organization of outreach events * Participate in some of the outreach activities (Math Circles, math camps) The outreach coordinator should have a PhD by September 2015, and should have obtained it no earier than 2011, and she or he should have an interest in Math outreach, good social and organizational skills, and preferably have some experience in outreach and/or event coordination. Salary will be $40,000. Terms of employment will conform to post-doctoral fellowship positions at Dalhousie University. The position is for one year, starting August or September 2015. The position is renewable for a second year subject to budgetary approval. For more information on AARMS, see www.aarms.math.ca <http://www.aarms.math.ca/> To apply, please send the following: * a CV (which includes relevant experience on outreach and organization), * The names of three references: two research references, and one reference of someone who can comment on your skills relevant to outreach and organization * the name of the proposed PDF supervisor This should be sent before May via email to Queena Crooker-Smith at queena.smith(a)dal.ca <mailto:queena.smith@dal.ca> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

New trends in Hopf algebras and tensor categories
by Joost Vercruysse 19 Apr '15

19 Apr '15

Dear Colleagues, We would like to announce the conference "New trends in Hopf algebras and tensor categories", Brussels, June 2-5 2015. All the information and a registration form can be found at the website http://homepages.ulb.ac.be/~jvercruy/HA2015/ <http://homepages.ulb.ac.be/~jvercruy/HA2015/> Deadline for registration is May 6, 2015. Best wishes, The organisers, Stefaan Caenepeel Marino Gran Joost Vercruysse Yinhuo Zhang [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

YaMCATS 3 University of Leeds 7 May 2015
by Paoli, Simona (Dr.) 18 Apr '15

18 Apr '15

Dear Colleagues, The third meeting of the Yorkshire and Midlands Category Seminar will take place at the University of Leeds on Thursday 7 May 2015. This will be a thematic day with one speaker: Joachim Kock (Universitat Autonoma de Barcelona) Further details are available at the YaMCATS website: http://tinyurl.com/nz69ttk The meeting is open to all and everybody is welcome! Best regards, The YaMCATS organizers Nicola Gambino Nick Gurski Simona Paoli. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

A preprint on locally presentable categories available
by Jiri Adamek 17 Apr '15

17 Apr '15

We want to announce our preprint available as arXiv:1504.03886 On reflective subcategories of localy presentable categories ------------------------------------------------------------ ABSTRACT: Are all subcategories of locally finitely presentable categories that are closed under limits and ??-filtered colimits also locally presentable? For full subcategories the answer is affirmative. Makkai and Pitts proved that in the case ??=???0 the answer is affirmative also for all iso-full subcategories, i.e., those containing with every pair of objects all isomorphisms between them. We discuss a possible generalization of that result to an arbitrary ??. Jiri Adamek and Jiri Rosicky xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx alternative e-mail address (in case reply key does not work): J.Adamek(a)tu-bs.de xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

The European Master's Program in Computational Logic: Application until 31 May 2015
by Tobias Philipp 17 Apr '15

17 Apr '15

Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are still possible UNTIL 31 May 2015. 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. 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 -- In the case, you do not want to receive this email, please write an email to tobias.philipp(a)tu-dresden.de, subject: UNSUBSCRIBE [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0