January 2015 - Categories - categories.org.au

Partial functor
by David Leduc 17 Mar '15

17 Mar '15

Hi, A partial functor from C to D is given by a subcategory S of C and a functor from S to D. What is the appropriate notion of natural transformation between partial functors that would allow to turn small categories, partial functors and those "natural transformations" into a bicategory? The difficulty is that two partial functors from C to D might not have the same definition domain. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

7 6

Our friend Bob Walters
by wlawvere 04 Feb '15

04 Feb '15

Dear colleagues, It is with great sorrow that I inform you of our loss of RFC Walters. Bob has been a highly valued friend and collaborator for several decades. One of the organizers of the Sydney Category Seminar, as well as of International meetings at Como, his contributions to pure and applied category theory remain of fundamental value in many diverse disciplines. He published one of the first books applying category theory to computer science, and was one of the main developers of Yoneda structures and other explicit concepts guiding category theory in geometry and logic. He is sadly missed by his friends and his colleagues all over the world. My deepest condolences go to his family. Bill Lawvere [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

6 5

Category Theory for the Sciences
by Michael Barr 02 Feb '15

02 Feb '15

A book of that name by David I. Spivak, Mathematics at MIT was recently published by the MIT Press. Has anyone seen it? Did it seem interesting. I wonder what kind of science outside of string theory would find CT useful. Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

11 11

Preprint: An introduction to multiple categories
by Marco Grandis 29 Jan '15

29 Jan '15

The following preprint is available: M. Grandis - R. Paré An introduction to multiple categories (On weak and lax multiple categories, I) Pubbl. Mat. Univ. Genova, Preprint 604 (2015). http://www.dima.unige.it/~grandis/Mlc1.pdf Abstract. Extending double and triple categories, we introduce here infinite dimensional weak multiple categories. We also consider a partially lax, 'chiral' form with directed interchanges and a laxer form already studied in two previous papers for the 3-dimensional case, under the name of intercategory. In these settings we also begin a study of tabulators, the basic higher limits, that will be concluded in a sequel. The two previous papers mentioned above can be found at arXiv: - M. Grandis - R. Paré, Intercategories I: The basic theory. http://arxiv.org/abs/1412.0144 - M. Grandis - R. Paré, Intercategories II: Examples. http://arxiv.org/abs/1412.0212 Marco Grandis and Bob Paré [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Ackermann Award 2015
by European Association of Computer Science Logic 28 Jan '15

28 Jan '15

ACKERMANN AWARD 2015 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2015 Ackermann Award. PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2013 and 31.12.2014 are eligible for nomination for the award. The deadline for submission is 15 April 2015. Submission details follow below. Nominations can be submitted from 1 January 2015 and should be sent to the chair of the Jury, Anuj Dawar, by e-mail:anuj.dawar@cl.cam.ac.uk The Award The 2015 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 7-10 September 2015, in Berlin (Germany). The award consists of * a certificate, * an invitation to present the thesis at the CSL/LICS conference, * the publication of the laudatio in the CSL/LICS proceedings, * travel support to attend the conference, and * an invitation to present the work to the Kurt G??del Society in Vienna. The jury is entitled to give the award to more (or less) than one dissertation in a year. Jury The jury consists of: * Thierry Coquand (Chalmers University of Gothenburg); * Anuj Dawar (University of Cambridge), the president of EACSL; * Dexter Kozen (Cornell University), ACM SigLog representative; * Orna Kupferman (Hebrew University of Jerusalem); * Daniel Leivant (Indiana University, Bloomington); * Luke Ong (University of Oxford); * Jean-Eric Pin (CNRS and University of Paris 7); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Anuj Dawar (anuj.dawar(a)cl.cam.ac.uk) 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Anuj Dawar: anuj.dawar(a)cl.cam.ac.uk With the following subject line and text: * Subject: Ackermann Award Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text. Letters of support and documents can also be faxed to: Anuj Dawar Ackermann Award +44 1223 334678 The Jury has the right to declare submissions to be out of scope or not to meet the requirements. The Award is sponsored by the Kurt G??del Society. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

10TH PANHELLENIC LOGIC SYMPOSIUM - Call for Papers
by Universal Logic 24 Jan '15

24 Jan '15

THE 10TH PANHELLENIC LOGIC SYMPOSIUM June 11-15, 2015 Samos, Greece http://samosweb.aegean.gr/pls10/index.html HISTORY OF THE SYMPOSIUM The Panhellenic Logic Symposium, a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in Logic. The Symposium is open to researchers worldwide who work in logic, broadly conceived. The Tenth Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of the Aegean, located at Karlovasi, Samos. The dates have been chosen so that participants may continue to participate in UNILOG 2015 <http://www.uni-log.org/enter-istanbul> (June 20-30, Istanbul). PROGRAM OF THE SYMPOSIUM The scientific program of the symposium will consist of one-hour long invited talks, two- to three-hour long tutorials, and about twenty-to-thirty-minute presentations of accepted contributed papers. There will also be a poster presentation and opportunities for students and young researchers to present work in progress. The following have accepted to deliver invited talks/tutorials: * J.-Y. Beziau (University of Rio de Janeiro) * P. D'Aquino (Seconda Universita di Napoli) * S. Durhan (Middle-East Technical University, Ankara) * R. Sklinos (University of Lyon 1) * N. Tzevelekos (Queen Mary University of London) * X. Vidaux (University of Concepcion, Chile) CALL FOR PAPERS Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 1 April 2015. Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/publications/?page=1594225690) and submitted electronically, using the Easy Chair conference system, at http://www.easychair.org/conferences/?conf=pls10. If possible, each submitted paper should be classified in one of the following areas (in alphabetical order): * Algebraic and Categorical Methods in Logic * Computability Theory * History and Philosophy of Logic * Logic in Computer Science * Model Theory * Nonclassical and Modal Logics * Proof Theory * Set Theory * Universal Logic All submitted papers will be reviewed by the scientific committee of the symposium, who will make final decisions on acceptance or rejection. During the symposium, each accepted paper will be presented by one of its authors. Authors of submitted papers will be notified of the decision by 4 May 2015. Camera-ready extended abstracts will be due by May 31 for inclusion in the symposium proceedings. POSTER SESSION Graduate students and young researchers are invited to submit a short abstract on work in progress but not yet ready for a regular contributed talk. Authors of accepted abstracts will have an opportunity to present their results in poster form in a special poster session. Interested students should submit abstracts of no more than one page in .pdf form by May 31, by sending them to: pls10(a)aegean.gr IMPORTANT DATES * Abstract Submission Deadline: April 1, 2015 * Acceptance/Rejection Notification: May 4, 2015 * Camera-ready Papers Deadline: May 31, 2015 * Abstracts of Posters Deadline: May 31, 2015 * Conference Dates: June 11-15, 2015 SCIENTIFIC COMMITTEE Costas Dimitracopoulos, University of Athens Antonis Kakas, University of Cyprus Lefteris Kirousis, University of Athens Phokion G. Kolaitis, UCSC and IBM Research-Almaden Joan Moschovakis, Occidental College and MPLA Nikolaos Papaspyrou, National Technical University of Athens Thanases Pheidas, University of Crete (Chair, pheidas(a)math.uoc.gr) George Tourlakis, York University, Canada Stathis Zachos, National Technical University of Athens ORGANIZING COMMITTEE Charalampos Cornaros, University of Aegean (Chair, kornaros(a)aegean.gr) Costas Dimitracopoulos, University of Athens Nikolaos Papaspyrou, National Technical University of Athens SYMPOSIUM WEBPAGE http://samosweb.aegean.gr/pls10/index.html CONTACT PLS10 email address: pls10(a)aegean.gr Thanases Pheidas (Chair of the Scientific Committee) http://fourier.math.uoc.gr/tmem/persons/pheidas.html Charalampos Cornaros (Chair of the Organizing Committee) Address: University of the Aegean Department of Mathematics 83200 Karlovasi, Samos Greece Tel: +30 22730 82137 Fax: +30 22730 82109 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc Position Available
by Patricia Johann 23 Jan '15

23 Jan '15

Dear Colleagues, I have an opening for a postdoc, as described in the ad below. In addition to accepting applications, I am very happy to respond to informal enquiries about any aspect of the position, from technical ones to ones about life in a beautiful, "alternative" mountain town in western North Carolina. Best wishes, -patricia ************** Applications are invited for a postdoctoral researcher in the Computer Science Department at Appalachian State University. The position is part of the NSF-funded project 'Relational Parametricity for Program Verification'. Relational parametricity is a key technique for formally verifying properties of software systems, and logical relations, upon which parametricity is based, provide a means of proving properties of a software system directly from the system itself. The goal of the project is to improve the current state-of-the-art in the theory and application of parametricity by providing an axiomatic framework for the construction of logical relations that is principled, conceptually simple, comprehensive, uniform (rather than ad hoc), predictive, and more widely applicable than already existing techniques. The ideal applicant will have a strong background in logical relations, functional programming, type theory, and category theory, although more expertise in one area may compensate for less in another. The successful applicant will also be excited about working on fundamental research questions on the themes of parametricity and language-based program verification. They will work with Prof Patricia Johann and project partners, and will also have the opportunity to initiate subprojects appropriate to their own (related) interests. The duration of the position is one year, with the possibility of continuation by mutual agreement if additional external funding is secured. The position will start at a mutually agreeable time in the second half of the 2015 calendar year. Compensation will be highly competitive and commensurate with experience. Interested persons should first contact Patricia Johann at johannp(a)cs.appstate.edu, briefly outlining their academic background and research interests. A complete application will consist of a cover letter and CV, including contact information for three references. Complete applications should be sent to: Patricia Johann Department of Computer Science Appalachian State University Boone, NC 28607 USA Initial review of applications will begin on 31 March 2015 and continue until the position is filled. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Post doc available at the IT University of Copenhagen
by Rasmus Ejlers Møgelberg 22 Jan '15

22 Jan '15

Dear all, I have recently received a grant from the Danish Council for Independent Research to hire a post doc to work on guarded recursive types in type theory. Ideally, I would like to find someone who has both knowledge of categorical models of type theory and practical experience with proof assistants. The job is initially for one year, but with the possibility of extension for another two. Those interested should contact me. More details can be found here: https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&departmentId=3439… Rasmus Mogelberg [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FMCS2015 - First Announcement (fwd)
by Philip Mulry 22 Jan '15

22 Jan '15

********************************************** FMCS 2015 23rd Workshop on Foundational Methods in Computer Science Colgate University, Hamilton, NY, USA June 4-7, 2015 http://cs.colgate.edu/~phil/FMCS2015 FIRST ANNOUNCEMENT Foundational Methods in Computer Science is an annual workshop bringing together researchers in mathematics and computer science with a focus on the application of category theory in computer science. Location This year's meeting will be hosted in the Department of Computer Science at Colgate University located in Hamilton, NY. Program There will be an informal welcoming reception on the evening of June 4. The scientific program starts on June 5, and consists of tutorials, invited talks, and contributed talks. There will be an excursion on one of the afternoons. The meeting ends midday on June 7th. Information on submission of abstracts for contributed talks will appear shortly on the workshop website. Student support Graduate student participation is particularly encouraged at FMCS. Students will pay a reduced registration fee. Limited financial support may also be available to students. Those interested should email pmulry at colgate dot edu as soon as possible and no later than May 1. Registration, Housing & Travel Details on registration, housing and directions will appear shortly on the workshop website. Anyone interested in attending or contributing a talk can also email the local organizer at pmulry at colgate dot edu. There will be a reasonable on-site registration fee to cover meeting costs. The workshop website can be found at http://cs.colgate.edu/~phil/FMCS2015 Organizing committee: Robin Cockett (Calgary) Geoff Cruttwell (Mount Allison) Pieter Hofstra (Ottawa) John MacDonald (UBC) Phil Mulry (Colgate) Dorette Pronk (Dalhousie) Bob Rosebrugh (Mount Allison) Robert Seely (McGill) Local Arrangements: Philip Mulry [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CatAlg2015 - 3rd Workshop in Categorical Algebra *** First Announcement ***
by Giuseppe Metere 20 Jan '15

20 Jan '15

*** First Announcement *** CatAlg - 3rd Workshop in Categorical Algebra *** Gargnano del Garda (BS) *** 26-30 April 2015 Dear colleagues and friends, The website of the conference CATALG2015 can be found at the url: http://math.unipa.it/metere/Gargnano2015/index.html The invited speakers, are - G. Janelidze, M. Sobral and E.M. Vitale (two-hour talks) - A.S. Cigoli, M.M. Clementino, M. Duckerts-Antoine, J. Gray, Z. Janelidze, L. Marki, B. Noohi, G. Peschke (one-hour talks) There will be an open poster session to present and discuss results and investigations in categorical algebra. The workshop will start with a welcome buffet on Sunday April 26th, in the late afternoon.Talks are scheduled from Monday April 27th, in the morning, till Thursday April 30th, before noon. CATALG2015 will take place in Palazzo Feltrinelli, http://www.gargnanosulgarda.com/events-lake-garda/Palazzo-Feltrinelli-uk.ht… The registration fee for CatAlg2015 is 130 EURO, it includes: the welcome buffet on Sunday evening, all coffee breaks, conference lunches from Monday to Wednesday. The registration fee must be paid cash at the arrival. In order to register, please complete the registration form here below and send it to the conference address catalg2015(a)gmail.com before March 15th. You will receive a confirmation email as soon as possible. Furthermore, if you wish to present a poster at the "poster session", please send a short abstract to the conference email by March 15th. In case a quick answer concerning the acceptance of the poster is needed, please write "Poster session - quick decision needed" in the title of your message. Finally, a few rooms (shared bathroom) are available for accomodation in Palazzo Feltrinelli. Please let us know if you are interested. Looking forward to seeing you in Gargnano, Marino Gran (Universit?? catholique de Louvain) Sandra Mantovani (Universita' degli Studi di Milano) Giuseppe Metere (Universita' degli Studi di Palermo) --------------------------------------------------- --------------------------------------------------- --------------------------------------------------- CatAlg2015 REGISTRATION FORM --------------------------------------------------- Name:______________________________________________ Surname:___________________________________________ Affiliation:_______________________________________ E-mail address:____________________________________ Day of arrival:____________________________________ Day of departure:__________________________________ -- Giuseppe Metere, PhD. Ricercatore di Algebra Dipartimento di Matematica e Informatica Universit?? degli Studi di Palermo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0