February 2015 - Categories - categories.org.au

Young Topologists' Meeting 2015
by Zaganidis Dimitri 23 Feb '15

23 Feb '15

Dear all, This is the second and last annoucement for the Young Topologists' Meeting 2015 that will take place on July 6-10, 2015 at the EPFL in Lausanne, Switzerland. The goal is to bring together graduate students, recent PhDs and young researchers to give talks concerning their own work. In addition, there will be two mini-courses: Emily Riehl (Harvard University): Infinity category theory from scratch, Gunnar Carlsson (Stanford University): Methods of applied topology. The registration deadline is 30th April 2015. The deadline to apply for funding is 28th February 2015. We can provide accommodation for about 70 participants. Moreover, we applied for a NSF grant in order to fund about 20 participants from American universities. A full application, including recommendation letters and a CV, will be requested upon positive answer from the NSF. We encourage women and under-represented minorities to apply. The registration form and further information can be found on http://gr-he.epfl.ch/ytm2015 . We hope to see you this summer in Switzerland! The organizers, Rachel Jeitziner, Martina Rovelli, Kay Werndli, Dimitri Zaganidis. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

OPLSS 2015
by Prof Robert Harper 21 Feb '15

21 Feb '15

We are pleased to announce the preliminary program for the 14th annual Oregon Programming Languages Summer School (OPLSS) to be held June 15th to 27th, 2015 at the University of Oregon in Eugene. This year's program is titled Types, Logic, Semantics, and Verification and features the following speakers: Ahmal Ahmed Northeastern University Nick Benton Microsoft Cambridge Research Lab Adam Chlipala Massachusetts Institute of Technology Robert Constable Cornell University Peter Dybjer Chalmers University of Technology Robert Harper Carnegie Mellon University Ed Morehouse Carnegie Mellon University Greg Morrisett Harvard University Frank Pfenning Carnegie Mellon University The registration deadline is March 16, 2015. Full information on registration and scholarships will be available shortly at: https://www.cs.uoregon.edu/research/summerschool/ <https://www.cs.uoregon.edu/research/summerschool/> Please address all inquiries to summerschool(a)cs.uoregon.edu <mailto:summerschool@cs.uoregon.edu>. Best regards from the OPLSS 2015 organizers, Robert Harper Greg Morrisett Zena Ariola [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

A HoTT-Date with Thorsten Altenkirch
by Neil Ghani 21 Feb '15

21 Feb '15

Dear All Dr Thorsten Altenkirch is visiting the MSP group during the week of March 2, and we thought we would have an afternoon of talks in his honour on Wednesday 4 March. Please feel free to attend and forward this to anyone else who might be interested. If you would like to give a talk, we could create a few spots too. Please get in touch ASAP if you wish to i) attend; ii) give a talk; and/or iii) stay for dinner. This will help us to cater appropriately. All the best Neil and Fred ****************************** A HoTT-Date With Thorsten Altenkirch (An Afternoon of Talks) Date: Wednesday 4 March, 2pm Location: Room 1415, Livingstone Tower, 26 Richmond Street, Glasgow G1 1XH. Speakers: Thorsten Altenkirch: Higher Inductive Types Fredrik Nordvall Forsberg: Presentations of mutually defined types (including HITs) James McKinna: Using relations to streamline the encode-decode method? Neil Ghani: Higher Dimensional Parametricity via Cubical Categories Bob Atkey: A Cubical Set Model for Relationally Parametric Type Theory [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc and PhD positions in Aarhus
by Lars Birkedal 21 Feb '15

21 Feb '15

Dear Colleagues, We are looking for PhD students and postdocs in the area of Programming, Logic and Semantics, here at Aarhus University, Denmark. Several positions are available, in projects ranging from automated static and dynamic analysis of libraries and frameworks for web applications; theories and tools for language-based security; theories and tools for modular reasoning about higher-order concurrent imperative programs; and type theory and interactive proof assistants. Please circulate this announcement to potential applicants and encourage them to get in contact with one of us. Best wishes, Aslan Askarov (aslan(a)cs.au.dk<mailto:aslan@cs.au.dk>) Lars Birkedal (birkedal(a)cs.au.dk<mailto:birkedal@cs.au.dk>) Olivier Danvy (danvy(a)cs.au.dk<mailto:danvy@cs.au.dk>) Anders Møller (amoeller(a)cs.au.dk<mailto:amoeller@cs.au.dk>) Students interested in pursueing a PhD should apply at the Graduate School for Science and Technology http://talent.au.dk/phd/scienceandtechnology/ (next deadline May 1, 2015). They are encouraged to get in contact with one of us before applying. Potential postdocs should get in contact with us directly. Positions are typically for 2 years. Salary and working conditions for PhD students and postdocs are very competetive. — Lars Birkedal Head of Department of Computer Science, Professor Head of Logic and Semantics Group Department of Computer Science Aarhus University www.cs.au.dk/~birke<http://www.cs.au.dk/~birke> birkedal(a)cs.au.dk<mailto:birkedal@cs.au.dk> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Post-doc in Japan: JSPS Postdoctoral Fellowship
by Ichiro Hasuo 19 Feb '15

19 Feb '15

Dear colleagues, Let me advertise **JSPS Postdoctoral Fellowship**, a postdoctoral fellowship for foreign researchers to work in Japan, funded by the Japanese government via the funding body JSPS. https://www.jsps.go.jp/english/e-fellow/postdoctoral.html Unlike common post-doc positions in which a principal investigator (PI) gets positions and calls for applications to fill them, an application to JSPS Postdoctoral Fellowship is made jointly by a foreign researcher and a host researcher in Japan. Your first step therefore would be to contact a prospective host researcher. (So please note that I'm advertising not positions that I have, but a scheme that you can use with me or other researchers in Japan as your host. Note also that this is not an official advertisement by JSPS either :) Some further notes: - Fellowships are awarded for a period of 12 to 24 months. - The fellowship will award: * A round-trip air ticket * A monthly maintenance allowance of approx. JPY 360,000 (I'd say this is quite enough for living even in Tokyo. Believe me, Japan is not an expensive place as is commonly believed!) * A settling-in allowance of approx. JPY 200,000, overseas travel accident and sickness insurance coverage, etc. In addition you will get your own grant money of max. JPY 1,500,000 per year, for your trips, computers, books, etc. Sounds OK, doesn't it? - There are two application paths: 1) through Open Recruitment in Japan; and 2) through an Overseas Nominating Authority, including the Royal Society (UK), CNRS (France), NWO (the Netherlands), etc. https://www.jsps.go.jp/english/e-fellow/long_list.html It seems that the latter path is often less competitive. In fact the common kind of post-doc positions (a PI gets them and he/she advertises them) is somewhat rare in Japan. Therefore many researchers, including myself, are waiting for your contact on an application of JSPS Postdoctoral Fellowship! There are other funding opportunities for foreign post-docs as well; I myself would be very happy to seek opportunities for promising researchers with similar research interests. Thank you, Ichiro ----- Ichiro Hasuo Lecturer, Dept. Computer Science, The University of Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT 2015 (third announcement)
by Dirk Hofmann 15 Feb '15

15 Feb '15

Dear Colleagues, please recall that the International Category Theory Conference CT2015 will take place in Aveiro, Portugal, from Sunday, June 14 till Friday, June 19 We have updated our conference website located at ct2015.web.ua.pt with information regarding registration fee and accomodation. The Early registration fee (payed untill May 1) is 200 Euros (Students: 175 Eur), and after May 1 the Registration fee is 250 Euros (Students: 225 Euros). The registration fee includes: conference documentation, a welcome reception, lunches from Monday to Friday, coffee breaks, an excursion (Wednesday afternoon) and the conference dinner. The payment should be made by bank transfer to: UNIVERSIDADE DE AVEIRO Fiscal Identification Number: 501461108 Account number: 0836000022430 EUR IBAN: PT50 0035 0836 00000022430 30 BIC SWIFT CODE: CGDIPTPL Please write "CT2015" and the name of the participant in your money transfer form. All bank fees must be cover by the participants. After making the bank transfer, please send a bank transfer receipt to DMAT-ct2015(a)ua.pt. We have arranged rooms at some hotels (see our webpage for a list of hotels) in Aveiro at a reduced rate. If you want to get this reduced rate, you need to book by March 31. You should make the reservation directly, by email. In your reservation, please mention always "the international congress CT2015 at the University of Aveiro". I hope to see you in Portugal next June! Best regards Dirk (for the organising committee) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Colloque
by Jean-Pierre.Marquis＠umontreal.ca 15 Feb '15

15 Feb '15

Colloque Vision de lespace: hommage Alexander Grothendieck [Vision of space: in homage to Alexander Grothendieck] Universite de Montreal 20-21 fevrier 2015 Pavillon Andre Aisenstadt Local 1207 Programme: Vendredi 20 fevrier 9h00 - 10h30 : Colin McLarty : How (and why) Grothendieck simplified cohomology. 10h30 - 11h00 : pause cafe 11h00 - 12h30 : Michael Makkai: a venir 12h30 - 14h00 : lunch 14h00 - 15h30 : Jean-Jacques Szczeciniarz: Reflexions sur la revolution theorique operee par Grothendieck en geometrie algebrique 15h30 - 16h00 : pause cafe 16h00 - 17h30 : Pierre Cartier: L'invention des topos et des champs Samedi 21 fevrier 9h00 - 10h30 : Mathieu Anel: Au-dela des idees de Grothendieck 10h30 - 11h00 : pause cafe 11h00 - 12h30: Andre Joyal: Aspects geometriques et logiques des topos superieurs Pour toute information additionnelle, veuillez contacter Jean-Pierre.Marquis(a)umontreal.ca Cet evenement est subventionne en partie par le FRQSC. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ETAPS 2015 call for participation
by Tarmo Uustalu 14 Feb '15

14 Feb '15

****************************************************************** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/ ****************************************************************** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is already the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Daniel Licata (Wesleyan University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) CC invited speaker: Keshav Pingali (University of Texas, USA) FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) TACAS invited speaker: Wang Yi (Uppsala University, Sweden) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (11-12 and 18 April) -- 17 satellite workshops will take place before or after ETAPS 2015. GALOP, GaM, QAPL (11-12 April) FMSPLE, FOPARA, SynCop, VPT (11 April) DICE, FESCA, VerifyThis, WoC, WPLI (12 April) HotSpot, MBT, PLACES, TTATT, TPDP (18 April) -- REGISTRATION Early registration is until Saturday, 14 February 2015. Normal-rate registration is until Tuesday, 10 March 2015. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- London is one of the most visited and cosmopolitan cities on earth. It is a leading global city, with strengths in the arts, commerce, education, entertainment, fashion, finance, healthcare, media, professional services, research and development, tourism and transport all contributing to its prominence. It can be reached by more people, from more destinations, in less time, than any other destination in the world. -- ORGANIZERS General chairs: Pasquale Malacaria, Nikos Tzevelekos Workshop chair: Paulo Oliva Publicity chairs: Michael Tautschnig and Greta Yorsh Further organizers: Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh --- HOST INSTITUTION Queen Mary University of London -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2015(a)qmul.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CAMGSD Postdoctoral positions for 2015/2016
by Pedro Resende 11 Feb '15

11 Feb '15

Dear All, CAMGSD/IST has opened a call for 2 postdoctoral positions in Mathematics for 2015/2016, which may be of interest for some readers of this list. The positions are announced at http://camgsd.tecnico.ulisboa.pt/concursos/pd2015 and also through EMS at http://www.euro-math-soc.eu/job/camgsd-postdoctoral-positions-mathematics-2…. Best regards, Pedro Resende [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

HDRA 2015: Call for Papers
by Samuel Mimram 10 Feb '15

10 Feb '15

============================================= CALL FOR PAPERS Higher-Dimensional Rewriting and Applications (HDRA 2015) ============================================= ------------------------------------------------------------------------------- First edition of the workshop on Higher-Dimensional Rewriting and Applications 28-29 June 2015, Warsaw, Poland http://rdp15.mimuw.edu.pl/index.php?site=hdra Co-located with the RDP, RTA and TLCA conferences ------------------------------------------------------------------------------- Over recent years, rewriting methods have been generalized from strings and terms to richer algebraic structures such as operads, monoidal categories, and more generally higher-dimensional categories. These extensions of rewriting fit in the general scope of higher-dimensional rewriting theory, which has emerged as a unifying algebraic framework. This approach allows one to perform homotopical and homological analysis of rewriting systems (Squier theory). It also provides new computational methods in combinatorial algebra (Artin-Tits monoids, Coxeter and Garside structures), in homotopical and homological algebra (construction of cofibrant replacements, Koszulness property). The workshop is open to all topics concerning higher-dimensional generalizations and applications of rewriting theory, including - higher-dimensional rewriting: polygraphs / computads, higher-dimensional generalizations of string/term/graph rewriting systems, etc. - homotopical invariants of rewriting systems: homotopical and homological finiteness properties, Squier theory, algebraic Morse theory, coherence results in algebra and higher-dimensional category theory, etc. - linear rewriting: presentations and resolutions of algebras and operads, Gr??bner bases and generalizations, homotopy and homology of algebras and operads, Koszul duality theory, etc. - applications of higher-dimensional and linear rewriting and their interactions with other fields: calculi for quantum computations, algebraic lambda-calculi, proof nets, topological models for concurrency, homotopy type theory, combinatorial group theory, etc. - implementations: the workshop will also be interested in implementation issues in higher-dimensional rewriting and will allow demonstrations of prototypes of existing and new tools in higher-dimensional rewriting. Invited speakers ================ * John Baez * TBA Submission ========== Important dates --------------- * Submission: April 15, 2015 * Notification: May 6, 2015 * Final version: May 20, 2015 * Conference: 28-29 June, 2015 Submitting ---------- Submissions should consist in an extended abstract, in pdf format, approximatively 5 pages long, in standard article format. The page for uploading those is https://easychair.org/conferences/?conf=hdra2015 Proceedings ----------- The accepted extended abstracts will be made available electronically before the workshop. Program committee ================= * Vladimir Dotsenko (Trinity College, Dublin) * Yves Guiraud (INRIA / Universit?? Paris 7) * Jean-Pierre Jouannaud (??cole Polytechnique) * Philippe Malbos (Universit?? Claude Bernard Lyon 1) * Paul-Andr?? Melli??s (Universit?? Paris 7) * Samuel Mimram (??cole Polytechnique) * Tim Porter (University of Wales, Bangor) * Femke van Raamsdonk (VU University, Amsterdam) Organizers ========== * Yves Guiraud (INRIA / Universit?? Paris 7) * Philippe Malbos (Universit?? Claude Bernard Lyon 1) * Samuel Mimram (??cole Polytechnique) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0