March 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

CFP: IFCoLog-CIE Student Session
by Michael Gabbay 01 Apr '12

01 Apr '12

Call for Papers First IFCoLog-CIE Student Session 18-23 June 2012, University of Cambridge. In conjunction with CiE 2012, TURING CENTENARY CONFERENCE How the World Computes =================================================================== Important Dates --------------- * 11 May 2012: Submission deadline * 31 May 2012: Author notification * 18-23 June 2012: Student Sessions The contributions and program will be available online before the event. Scope ----- The CiE-IFCoLog student sessions is an initiative to encourage undergraduate and master students to present their research projects at high profile computer science events, and offer a good opportunity for undergraduate and masters students to interact with more senior researchers. In 2012 CiE is celebrating the life achievements of Alan Turing and we believe that being involved in this event, will be an exciting opportunity for young people contemplating a research career. Topics ------ The CiE-IFCoLog student sessions will consider papers in all aspects of computability and foundations of computer science, as well as well as papers exploring the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. See CiE's CFP for a list of topics: http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/give-page.php?42 More details about the event will become available in http://www.ifcolog.net/?page_id=6149 Submission and Publication -------------------------- Authors are invited to submit an extended abstract (max. 5 pages). Papers should be written in English, and submitted in PostScript or PDF format, using the EasyChair class style. After the student session, authors of accepted submissions will be asked to submit a final version to be published in a biannual issue of the IFCoLog workshop series. Submission is through the Easychair website: https://www.easychair.org/conferences/?conf=cieifcologss2012 Programme Committee ------------------- Sandra Alves Edwin Brady Maribel FernÃ¡ndez Michael Gabbay Ian Mackie Andrew Pits Pedro Vasconcelos Contact ------- Sandra Alves:sandra@dcc.fc.up.pt Michael Gabbay:michael.gabbay@kcl.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CFP: 6th Scottish Category Theory seminar
by Neil.Ghani＠cis.strath.ac.uk 31 Mar '12

31 Mar '12

============== Call for Participation 6th Scottish Category Theory Seminar 2pm, Friday 25 May ============== Category theory is a relatively new branch of mathematics which seeks to understand abstract mathematical structure. At its core, category theory contains a synthesis of algebraic, logical and geometric intuitions. This allows for both diverse applications and innovative insights in areas including pure mathematics, computer science, physics etc. The Scottish Category Theory Seminar provides a forum for discussion of all aspects of category, be they straight category theory or applications to other scientific fields. Our sixth meeting takes place on Friday 25 May 2012 and is focussed on the exciting developments that have taken place recently in Higher Dimensional Category Theory and its applications in homotopy theory and type theory. We intend the meeting to be attractive to mathematicians, computer scientists, physicists etc., and thus have aimed for talks which will be of interest to a broad audience of people who are curious about the latest developments in Higher Dimensional Category Theory. Speakers Thomas Streicher (University of Darmstadt), On Univalent Foundations Ondrej Rypacek (Kings College, London), A syntactical approach to weak omega-groupoids Simona Paoli (University of Leicester) n-typical n-fold groupoids Eric Finster (Ecole Polytechnique De Lausanne), Revising the Opetopes: Applications in Computer Science and Type Theory The meeting will take place at the Department of Computer and Information Sciences of the University of Strathclyde (Room 14.15, Livingston Tower, 26 Richmond Street, Glasgow). Refreshments will be available from 1pm and the talks start at 2pm. More details can be found at personal.cis.strath.ac.uk/~ng/SCT/sct250512.html The meeting will be followed by drinks in a nearby pub (from 17.30) and then dinner at a local restaurant (from 18.30). You are politely requested to contact us (email scotcats(a)cis.strath.ac.uk) by Friday 11 May if you are intending to attend the meeting and/or if you are intending to come to dinner so we can cater appropriately. The meeting has been sponsored by SICSA. ScotCats Organisers Neil Ghani Tom Leinster Alex Simpson [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Plug for "Topology and Groupoids"
by Ronnie Brown 31 Mar '12

31 Mar '12

I hope it is OK to the list to make another plug for my book "Topology and Groupoids" ISBN: 1-4196-2722-8 available from amazon.com at $31.99 new. Not having the usual services of a publisher, I have to do the publicity myself, and I notice some university libraries do not have a copy. . There is a review for the Mathematical Association of America at http://mathdl.maa.org/mathDL/19/?pa=reviews&sa=viewBook&bookId=69421 which ends: " /Topology and Groupoids/ is an impressive work which should be given a wide circulation. " If it is not in your library, please recommend it! It is being used as a course text in several places (Harvard, Zululand, ...). The first part of the book is a geometric approach to general topology, with an emphasis on motivation for definitions and theorems and on topologies defined so as to be able to construct continuous functions, i.e. a categorical approach. The second part of the book shows that much of 1-dimensional homotopy is well expressed using the language of groupoids, for example: the van Kampen theorem for the non-connected case, e.g. the circle, leading to a proof of the Jordan Curve Theorem; basics of combinatorial groupoid theory; operations of the fundamental groupoid on sets of homotopy classes, leading to a gluing theorem for homotopy equivalences; covering spaces, related to covering morphisms of groupoids; orbit spaces, related to orbit groupoids (for a discontinuous action on a Hausdorff which is nice locally, the fundamental groupoid of the orbit space is the orbit groupoid of the fundamental groupoid); There are over 500 exercises, 114 figures, numerous diagrams. Many other features of the book are not available in other texts, for example fibrations of groupoids, and the associated exact sequences; a convenient category of spaces in the non-Hausdorff case. For more details, see www.bangor.ac.uk/r.brown/topgpds.html Ronnie Brown [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on Higher Dimensional Algebras, Categories and Types
by Neil.Ghani＠cis.strath.ac.uk 30 Mar '12

30 Mar '12

================================ Call For Short Abstracts Workshop on Higher Dimensional Algebras, Categories, and Types June 20, Ljubljana, Slovenia ================================ The importance of higher dimensional structure for mathematics and computer science has been recognized for a long time. However, recent connections between homotopy theory and type theory have spurred new activity that is connecting previously unrelated topics. The workshop will be a place for meeting and dissemination of ideas between researchers from different areas who all use higher dimensional structures. Invited speakers: Thorsten Altenkirch Steve Awodey Emily Riehl To contribute a lecture please submit a 1 page A4 extended abstract through easychair. easychair.org/account/signin.cgi?fail=1;conf=hdact12 Submission deadline Sun April 15 (short extension possible on request) Author notification Sun April 29 Program Committee Nicola Gambino Neil Ghani Zhaohui Luo Erik Palmgren Randy Pollack Urs Schreiber Bas Spitters Thomas Streicher There will be a registration fee of E50 to cover costs which can be paid in cash at the event. There will be no separate post-proceedings for HDACT, as there is already an excellent venue for such papers: the MSCS special issue 'From Type Theory and Homotopy Theory to Univalent Foundations' Further information can be found at 4wft.fmf.uni-lj.si/hdact/ The workshop takes place straight after the Fourth Workshop on Formal Topology, details of which can be found at 4wft.fmf.uni-lj.si/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

WADT 2012: Final Call for Papers
by WADT 2012 28 Mar '12

28 Mar '12

(We apologize for multiples copies) ====================================================================== FINAL CALL FOR PAPERS WADT 2012 21st International Workshop on Algebraic Development Techniques http://maude.sip.ucm.es/wadt2012 June 7-10, 2012, Salamanca, Spain ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Model-driven development - Graph transformations, term rewriting and proof systems - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification WORKSHOP FORMAT AND LOCATION The workshop will take place over four days, Thursday to Sunday, at Colegio Mayor Arzobispo Fonseca in the center of Salamanca. Presentations will be selected on the basis of submitted abstracts. Three talks will be given by invited speakers. INVITED SPEAKERS Roberto Bruni. Universita di Pisa, Italy Francisco Duran. Universidad de Malaga, Spain Kim G. Larsen. Aalborg University, Denmark IMPORTANT DATES Submission deadline for abstracts: April 2, 2012 Notification of acceptance: April 20, 2012 Final abstract due: May 18, 2012 Workshop in Salamanca: June 7-10, 2012 SUBMISSIONS The scientific program of the workshop will include presentations of recent results and ongoing research. The presentations will be selected on the basis of the submitted abstracts according to originality, significance, and general interest. The abstracts have to be submitted electronically according to the instructions published on the workshop homepage. PROCEEDINGS The final versions of the selected abstracts will be included in a flash drive for the workshop participants. After the workshop, selected authors will be invited to submit full papers for the refereed proceedings, which will be published as a volume of Lecture Notes in Computer Science (Springer). SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3, and is sponsored by IFIP TC1, Universidad Complutense de Madrid, Universidad de Salamanca, Ministerio de Economia y Competitividad, and IMDEA Software. WADT STEERING COMMITTEE Michel Bidoit (France) Andrea Corradini (Italy) Jose Fiadeiro (UK) Rolf Hennicker (Germany) Hans-Jorg Kreowski (Germany) Till Mossakowski (Germany) [chair] Fernando Orejas (Spain) Francesco Parisi-Presicce (Italy) Grigore Rosu (United States) Andrzej Tarlecki (Poland) ORGANIZING COMMITTEE Narciso Marti Oliet (Spain) Miguel Palomino Tarjuelo (Spain) Gustavo Santos Garcia (Spain) CONTACT INFORMATION Email: wadt2012 at fdi.ucm.es Homepage: http://maude.sip.ucm.es/wadt2012 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

announcement: research positions
by Jiri Rosicky 28 Mar '12

28 Mar '12

Eduard Cech center had been established in 2005 and, since 2012, it continues as the national research center focusing its attention to interactions between algebra, geometry, and mathematical physics. The participating institutions are Faculty of Science of Masaryk University in Brno, Faculty of Mathematics and Physics of the Charles University in Prague, Institute of Physics of the Academy of Sciences of the Czech Republic and the Mathematics Institute of the Silesian University in Opava (see http://eci.sci.muni.cz) The Center invites applications for several research positions commencing during the academic year 2012/2013 at the date depending on mutual agreement. The positions are initially for one year with a possibility of extension. The candidates must be recent PhD's and should submit a letter of application accompanied by a CV, list of publications and an outline of their research project to Jiri Rosicky (rosicky(a)math.muni.cz) not later than May 15, 2012. They should also arrange for at least 2 letters of recommendation (one can be from a Czech mathematician) to be mailed directly to rosicky(a)math.muni.cz before May 15, 2012. The successful applicants will be notified as soon as possible but not later than June 30, 2012. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Relational and Algebraic Methods in Computer Science - CfP
by Peter Höfner 28 Mar '12

28 Mar '12

2nd CALL FOR PAPERS 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13) 17--21 September 2012, Cambridge University, UK http://www.cl.cam.ac.uk/conference/ramics13/ Scope ----- We invite submissions in the general area of Relational and Algebraic Methods in Computer Science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. Particular topics of interest for the conference cover, but are not limited to: * Algebraic approaches to • specification, development, verification, and analysis of programs and algorithms • computational logic, in particular logics of programs, modal and dynamic logics, interval and temporal logics • semantics of programming languages * Applications in fields such as • relational formal methods such as B or Z, tabular methods • information systems • graph theory and combinatorial optimisation • games, automata and language theory • spatio-temporal reasoning, knowledge acquisition • preference and scaling methods, computational social choice, social software * Theoretical foundations and supporting tools, including • mechanised and automated reasoning, decision procedures • process algebras, fixed point calculi, idempotent semirings, quantales, allegories • dynamic algebras, cylindric algebras and their applications in computing History ------- Since 1994, the RelMiCS meetings on Relational Methods in Computer Science have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The AKA workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference until 2009. Since 2011, joint RAMiCS conferences continue to encompass the scope of both RelMiCS and AKA. The predecessors of this conference were held in Dagstuhl (January 1994), Parati (September 1995), Hammamet (January 1997), Warsaw (September 1998), Québec (January 2000), Dagstuhl (February 2001), Oisterwijk (October 2001), Malente (April 2003), St. Catherines (January 2005), Manchester (September 2006), Frauenwörth (April 2008), Doha (November 2009), and Rotterdam (June 2011). Student Program --------------- The conference will be accompanied by a PhD training program. Details will be published in due time in a special call and on the conference website. Important Dates --------------- Title and abstract submission: April 23 2012 Submission of full papers: April 30 2012 Notification: June 15 2012 Final versions due (firm deadline): July 10 2012 Conference Sept. 17-21 2012 Programme Committee ------------------- Rudolf Berghammer (Kiel, Germany) Jules Desharnais (Laval U., Canada) Harrie de Swart (Rotterdam, Netherlands) Marc Frappier (Sherbroooke, Canada) Hitoshi Furusawa (Kagoshima, Japan) Timothy G. Griffin (Cambridge, UK; General Chair) Peter Höfner (NICTA, Australia) Ali Jaoua (Doha, Qatar) Peter Jipsen (Chapman U., USA) Wolfram Kahl (McMaster U., Canada; PC Chair) Larissa Meinicke (U. Queensland, Australia) Bernhard Möller (Augsburg, Germany) Peter O'Hearn (Queen Mary U., UK) José Nuno Oliveira (U. Minho, Portugal) Ewa Orłowska (Warsaw, Poland) Damien Pous (INRIA Grenoble, France) Holger Schlingloff (Berlin, Germany) Gunther Schmidt (Munich, Germany) Renate Schmidt (Manchester, UK) Georg Struth (Sheffield, UK) George Theodorakopoulos (Derby, UK) Michael Winter (Brock U., Canada) Steering Committee ------------------ Rudolf Berghammer, Kiel, Germany Jules Desharnais, Laval U., Canada Harrie de Swart, Rotterdam, Netherlands Ali Jaoua, Doha, Qatar Bernhard Möller, Augsburg, Germany Ewa Orlowska, Warsaw, Poland Gunther Schmidt, Munich, Germany Renate Schmidt, Manchester, UK Michael Winter, Brock U., Canada Organising Committee -------------------- Timothy G. Griffin, Cambridge, UK: Conference Chair, Local Organiser Peter Höfner, NICTA, Australia: Publicity Wolfram Kahl, McMaster U., Canada: PC Chair The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0