April 2012 - 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

Research positions
by Maria Manuel Clementino 26 Feb '14

26 Feb '14

5-YEAR RESEARCH POSITIONS The Centre for Mathematics of the University of Coimbra (CMUC) invites applications for five 5-year research positions in all areas of Mathematics. Applicants should have a PhD in Mathematics and at least three years of post-doctoral experience, with an international-level publication record and demonstrated ability to perform independent research. Preference will be given to candidates working in one of the areas in which the members of CMUC are currently active. A very good command of English is required. The appointments will be made for three years, renewable for two more. Successful applicants are expected to develop research within the areas of interest of CMUC. They should also contribute to graduate studies, supervising students from the Department of Mathematics. The basic salary is equivalent to the index 195 of the Portuguese research career (in the order of 42 500 euros a year), in accordance with the Ciência 2008 guidelines http://alfa.fct.mctes.pt/apoios/contratacaodoutorados/edital2008 Benefits include private health insurance and social security. Applicants should send • cover sheet (available from www.mat.uc.pt/cmuc/coversheet.pdf) including names and contact information of three persons who can provide a letter of recommendation • curriculum vitae (publication list included) • a 5-year research proposal (2 pages max), emphasizing their own research goals as pdf files to cmuc(a)mat.uc.pt. The subject of the e-mail message must include the job reference C2008 FCTUC CMUC v15-v19. The deadline for applications is *September 10, 2008.* ------------------------------ More information can be found at www.mat.uc.pt

1 1

separable locale
by Thomas Streicher 17 May '13

17 May '13

Recently rereading Fourman's "Continuous Truth" I came across the term "separable locale" but could nowhere find an explanation. Does it mean a cHa A for which there exists a countable subset B such that ever a in A is the supremum of those b in B with b leq a. This would be the point free account of "second countable", i.e. having a countable basis. Of course, second countable T_) spaces are separable, i.e. have a countable dense set. Is this reading the "usual" one? Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

5 4

Call for papers GandALF 2012
by Nello Murano 29 Apr '12

29 Apr '12

[We apologize if you have received multiple copies of this message] ***************************************************************** ------ GandALF 2012 ----- ***************************************************************** Third International Symposium on Games, Automata, Logics, and Formal Verification Napoli, Italy, September 6th-8th, 2012 http://www.gandalf.unina.it ************************************************ | CALL FOR PAPERS | ************************************************ OBJECTIVES The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum o= f themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers o= n all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. LIST OF TOPICS The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Computational aspects of Game Theory Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Complex Systems (e.g., Interactive Systems, Systems Biology) Games and Automata for Verification Game Semantics Hybrid, Embedded, and Mobile Systems Verification Logical aspects of Computational Complexity Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Program Analysis and Software Verification Run-time Verification and Testing Specification and Verification of Finite and Infinite-state Systems Synthesis CO-LOCATED EVENT GAMES 2012, Annual Workshop of the ESF Networking Programme on Games for Design and Verification (http://www.games.unina.it/) INVITED SPEAKERS Alberto Policriti (University of Udine, Italy). Moreover, we plan to have two joint invited speakers with the co-located GAMES meeting. PAPER SUBMISSION Submitted papers should not exceed fourteen (14) pages using EPTCS format= , be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via EasyChair= . IMPORTANT DATES Abstract submission May 9, 2012 Paper submission May 15, 2012 Acceptance notification June 27, 2012 Final version July 15, 2012 Conference September 6-8, 2012 PROCEEDINGS The proceedings will be published by Electronic Proceedings in Theoretica= l Computer Science. A special issue of a major international journal to publish an extended and revised version of the best symposium papers is also under consideration. Revised versions of the selected papers from the previous editions lead to two special issues of the International Journal of Foundation of Computer Science and of Theoretical Computer Science, respectively. PROGRAM CHAIRS Marco Faella (Universita=92 di Napoli "Federico II", Italy) Aniello Murano (Universita=92 di Napoli "Federico II", Italy) PROGRAM COMMITTEE Veronique Bruyere (Universite' de Mons-Hainaut, Belgium) Agostino Cortesi (Universita' Ca' Foscari di Venezia, Italy) Luca de Alfaro, (University of California at Santa Cruz, USA) Kousha Etessami, (University of Edinburgh, UK) Erich Gr=E4del, (RWTH Aachen University, Germany) Arie Gurfinkel, (Carnegie Mellon University, USA) Orna Kupferman, (Hebrew Unversity, Israel) Martin Lange, (University of Kassel, Germany) Carsten Lutz, (University of Bremen, Germany) Oded Maler (CNRS-VERIMAG, University of Grenoble, France) Nicolas Markey, (LSV, CNRS & ENS Cachan, France) Anca Muscholl, (University of Bordeaux, France) Margherita Napoli, (Universita=92 di Salerno , Italy) Damian Niwinski (University of Warsaw, Poland) Carla Piazza, (University of Udine, Italy) Nir Piterman, (University of Leicester,UK) Gabriele Puppis, (University of Oxford, UK) Ramaswamy Ramanujam, (IMSC Chennai, India) Sven Schewe, (University of Liverpool, UK) Natasha Sharygina, (University of Lugano, Switzerland) Marielle Stoelinga, (University of Twente, Netherlands) Enrico Tronci, (Universita=92 di Roma "La Sapienza", Italy) Helmut Veith, (TU Vienna, Austria) Tiziano Villa, (Universita=92 di Verona, Italy) Mahesh Viswanathan, (University of Illinois, USA) STEERING COMMITTEE Mikolaj Bojanczyk (University of Warsaw, POLAND) Javier Esparza (University of Munich, GERMANY) Angelo Montanari (University of Udine, ITALY) Margherita Napoli (University of Salerno, ITALY) Mimmo Parente (University of Salerno, ITALY) Wolfgang Thomas (RWTH Aachen University, GERMANY) Wieslaw Zielonka (University of Paris7, FRANCE) ADVISORY BOARD Stefano Crespi Reghizzi (University of Milan, ITALY) Jozef Gruska (Masaryk University, CZECH REPUBLIK) Oscar H. Ibarra (University of California, USA) Andrea Maggiolo-Schettini (University of Pisa, ITALY) INFO Please visit the conference website (http://www.gandalf.unina.it) for mor= e information. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Le printemps de la logique - Paris Logical Spring
by Universal Logic 28 Apr '12

28 Apr '12

Logic-in-Question - La logique en Question International Workshop - Atelier International de Logique Paris Sorbonne, May 2-3 Mai, 2012 Every spring people meet in Paris to talk about logic ... Chaque printemps on se rencontre à Paris pour discuter de logique ... http://www.logic-in-question.org/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MacLane at Colloque Henri Poincare
by David Roberts 25 Apr '12

25 Apr '12

Dear all, Does anyone know how I could get my hands on S. MacLane, Constructions Simpliciales Acycliques, Colloque Henri Poincar\'e, Paris 1954. or help me get a copy? It seems to be fairly rare. Thanks in advance, David Roberts [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for abstracts: Fourth Workshop on Formal Topology, Ljubljana, June 15-19 2012
by Andrej Bauer 23 Apr '12

23 Apr '12

***** CALL FOR ABSTRACTS ***** FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop) June 15-19 2012 Ljubljana (Slovenia) http://4wft.fmf.uni-lj.si/ SUBMISSION OF EXTENDED ABSTRACTS ================================ Short abstracts should be submitted via http://4wft.fmf.uni-lj.si/submissions/ The deadline for submissions is May 2nd. We may be able to accept late submissions, but please note that are only able to hold free hotel rooms until May 5th. If you are planning to attend, make a hotel reservation early, as described on the workshop web site. You can cancel it without incurring any costs, as long as you do it well before the reservation date. FOURTH WORKSHOP ON FORMAL TOPOLOGY (4WFTop) =========================================== The workshop on formal topology is an international meeting dedicated to formal topology and related topics, including constructive and computable topology, point-free topology, and other generalizations of topology. This is the fourth of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first three have been held in Padua (1997), Venice (2002), and Padua (2007). The workshop is colocated with the Workshop on Higher Dimensional Algebra, Categories and Types which will take place on June 20, 20012. See the workshop website for details. IMPORTANT DATES May 2 - deadline for abstract submissions May 4 - notification of accepted contributions May 5 - deadline for guaranteed hotel availability June 15 - 4WFTop tutorial day June 16-19 - 4WFTop workshop June 20 - HDACT workshop KEYNOTE SPEAKERS * Per Martin-Löf (Stockholm University) * Ieke Moerdijk (Radboud University Nijmegen) * Vladimir Voevodsky (Institute of Advanced Studies) INVITED SPEAKERS * Olivia Caramello (University of Cambridge) * Francesco Ciraulo (University of Padua) * Hajime Ishihara (Japan Advanced Institute of Science and Technology) * Davorin Lešnik (TU Darmstadt) * Claudio Sacerdoti Coen (University of Bologna) * Alex Simpson (University of Edinburgh) * Bas Spitters (Radboud University Nijmegen) * Paul Taylor (United Kingdom) PROGRAM COMMITTEE * Andrej Bauer (chair, University of Ljubljana) * Thierry Coquand (Chalmers University) * Maria Emilia Maietti (University of Padua) * Giovanni Sambin (University of Padua) * Peter Schuster (co-chair, University of Leeds) SUBMISSIONS Submissions of short abstracts are accepted through easychair.org, see http://www.easychair.org/conferences/?conf=4wftop TUTORIAL DAY June 15th 2012 will be dedicated to tutorials on topics in and around formal topology, suitable for researchers and graduate students without in-depth knowledge of the area. They will be given by: * Thierry Coquand (Chalmers University) * Erik Palmgren (Stockholm University) * Giovanni Sambin (University of Padua) * Steven Vickers (University of Birmingham) For further information on the workshop visit http://4wft.fmf.uni-lj.si/ The workshop is supported by: * Faculty of Mathematics and Physics at the University of Ljubljana * Institute of mathematics, physics and mechanics, Ljubljana * Department of Mathematics, University of Padua, Italy [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD studentship available
by Jeffrey Herschel Giansiracusa 23 Apr '12

23 Apr '12

PhD studentship in algebraic topology Swansea University Mathematics Department, College of Science Applications are invited for a PhD studentship in algebraic topology, funded by the EPSRC, to work on "Moduli spaces from a topological point of view" with Dr Jeffrey Giansiracusa at Swansea University, within the Mathematics Department. The studentship is funded for three years and is available for a start date of 1 October 2012 (or earlier if desired). The studentship will cover tuition fees at the Home/EU rate plus a stipend of approximately £13,590 per annum based on the standard EPSRC rate. PROJECT DESCRIPTION Moduli spaces are important and beautiful geometric objects that touch many areas of pure mathematics. This project aims to study moduli spaces arising in low dimensional topology and algebraic geometry through the powerful lens of homotopy theory. The student will work closely with Dr. Giansiracusa to study compactifications, decompositions into elementary pieces, and applications to topological quantum field theory, low-dimensional topology, and tropical geometry, and algebraic geometry over the 'field with one element'. The project will begin in the area of topology, but could easily head towards algebraic geometry, category theory or in other directions depending on interests. REQUIREMENTS Applicants should either already have graduated with or expect to graduate by the end of 2011/12 academic year with a 1st class or upper 2nd class honours degree in mathematics, or an equivalent qualification from abroad. Please note, there is no residency/nationality restriction, but the funding will only cover fees at the home/EU rate. TO APPLY The deadline for receipt of applications is 22nd May at noon. Applicants should send a CV and a covering letter with names of referees directly to the Department by email or post. The address is: Dr Jeffrey Giansiracusa Department of Mathematics Swansea University Singleton Park Swansea SA2 8PP j.h.giansiracusa(a)swansea.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Reminder: Workshop on Category Theory
by Workshop on Category Theory 21 Apr '12

21 Apr '12

=============================================================== Workshop on Category Theory In honour of George Janelidze, on the occasion of his 60th birthday =============================================================== Universidade de Coimbra, Portugal July 9-13, 2012 Deadlines: Registration: April 30, 2012 Abstract submission: May 31, 2012 ------------------------------------------------------------------- For updated information on registration, abstract submission, accommodation and travel information please consult the conference webpage at www.mat.uc.pt/~workCT The Organizers: Maria Manuel Clementino Marino Gran Jorge Picado Manuela Sobral Lurdes Sousa [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc position in proof theory in Marseille, IML
by quatrini＠iml.univ-mrs.fr 20 Apr '12

20 Apr '12

[Apologies for multiple posting] The French ANR project LOGOI is inviting applications for a postdoctoral position within the team Logique de la Programmation (LDP) of the Institut de MathÈmatiques de Luminy (IML) in Marseille, France. Context ------- The LOGOI project pursues the programme of Geometry of Interaction (GoI), which aims at a reconstruction of logic from interaction as the primitive notion, considered as an abstract counterpart of cut elimination. This programme has started together with linear logic and has evolved since its early days, from the limited case of multiplicatives to recent developments involving the theory of operator algebras and providing a strikingly new perspective on implicit complexity via light logics. The goals of the LOGOI project are on one side to better understand and refine the current theory of GoI, and on the other side to draw on the novel tools and concepts provided by this framework, in order to propose a new structured approach to proof theory and its connections with other areas of computer science. Post Doctoral Position ---------------------- This is a full-time research position for one year, with a possible one-year extension. It is expected to start at the beginning of fall 2012 (between 1 Sep. and 1 Nov.). Research will take place at the IML in Marseille. The successful applicant will contribute to the main areas of the LOGOI project research effort: geometry of interaction, ludics, proof theoretical aspects of computation. Possible connections with other fields of proof theory and computer science are also of interest. The post-doc is of course expected to participate to group activities (workshops, meetings, tutorials) both of the LOGOI project and the LDP team. Requirements ------------ Applicants must hold a PhD degree in computer science or mathematics, and should have a strong background in logic and proof theory. Skills in an additional area of computer science (complexity, concurrency, programming language semantics, etc.) are very welcome. If the PhD thesis is not defended yet, the candidate must provide the planned defence date and the composition of the thesis committee. Knowledge of French is not required. Application ----------- To apply, please send an email to logoi-postdoc(a)iml.univ-mrs.fr, including your current CV, a link to a list of your publications, and a research statement summarizing your research activities and goals (preferably two pages at most). You might also include the names of up to two references. The deadline for applications is 20 june 2012, but early expression of interest is encouraged. More Information ---------------- Logoi: http://www.logoi.fr/ IML: http://iml.univ-mrs.fr/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0