December 2012 - Categories - categories.org.au

Partial functor
by David Leduc 16 Mar '15

16 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

Mock Theta Functions in the news
by Fred E.J. Linton 28 Dec '12

28 Dec '12

It's rare enough for mathematics to make the news at all these days that it's worth my pointing out this Ramanujan/Ono report that Yahoo News offers today, even if categories play no role: http://news.yahoo.com/mathematicians-century-old-secrets-unlocked-171554694… Cheers, -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

A new preprint "Non-pointed exactness, radicals, closure operators"
by George Janelidze 27 Dec '12

27 Dec '12

The following preprint: M. Grandis, G. Janelidze and L. M?rki, Non-pointed exactness, radicals, closure operators, Dip. Mat. Univ. Genova, Preprint 599 (2012) http://www.dima.unige.it/~grandis/GJM1.pdf can now be downloaded. Abstract: In this paper it is shown how non-pointed exactness provides a framework which allows a simple categorical treatment of the basics of Kurosh--Amitsur radical theory in the non-pointed case. This is made possible by a new approach to semi-exactness, in the sense of the first author, using adjoint functors. This framework also reveals how categorical closure operators arise as radical theories. Marco Grandis, Laszlo Marki, George Janelidze [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Types Meeting 2013 in Toulouse, 23 - 26 April: first call for contributions
by Ralph Matthes 27 Dec '12

27 Dec '12

Types Meeting 2013 Toulouse, 23-26 April 2013 http://www.irit.fr/TYPES2013/ FIRST CALL FOR CONTRIBUTIONS The 19th Conference "Types for Proofs and Programs" will take place in Toulouse, France, from 23 to 26 April 2013. The Types Meeting is a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. Invited speakers: * Steve Awodey, Department of Philosophy, Carnegie Mellon University, U.S.A. * Lars Birkedal, Department of Computer Science, Aarhus University, Denmark * Ulrich Kohlenbach, Department of Mathematics, TU Darmstadt, Germany We invite all researchers to contribute talks on subjects related to the Types area of interest. These include, but are not limited to: - Foundations of type theory and constructive mathematics; - Applications of type theory; - Dependently typed programming; - Industrial uses of type theory technology; - Meta-theoretic studies of type systems; - Proof assistants and proof technology; - Automation in computer-assisted reasoning; - Links between type theory and functional programming; - Formalizing mathematics using type theory. We would like to especially encourage talks proposing new ways of applying type theory. The talks may be based on newly published papers or work submitted for publication, but also work in progress. There are no formal pre-proceedings, but we will make available the abstract book for the conference. Meanwhile, post-proceedings are confirmed to appear in LIPIcs (Leibniz International Proceedings in Informatics), Schloss Dagstuhl, see http://www.dagstuhl.de/en/publications/lipics (the same publisher as for the last TYPES meeting in Bergen in 2011) There will be a separate call for papers, and participation in TYPES 2013 is no prerequisite for submission to the post-proceedings. TYPES 2013 is intended to be a conference in our traditional workshop style. We expect submission of short abstracts that fit on one or two pages, presenting in sufficient detail the content of the talk and its relevance for TYPES, as judged by the program committee. Submission is exclusively admitted electronically, through the EasyChair system. The submission site is https://www.easychair.org/conferences/?conf=types2013 Deadline for proposing a contributed talk: Monday, February 18 This means registering a submission to the EasyChair system, including a short text-only abstract. Deadline for the final version of the abstract: Monday, February 25 The final abstract has to be typeset in LaTeX (precise instructions will be given on the web site) and should fit on one or two pages. It is meant for inclusion into the abstract book. Notification of acceptance: Friday, March 8 The conference itself: Tuesday to Friday, April 23-26, 2013 The venue: Toulouse in the South West of France is the fourth largest city of France and a lively university center with way over 100000 students. Toulouse offers numerous inexpensive accommodations, including student residences. Thanks to our sponsors, notably Universit?? Toulouse 1 Capitole, granting the lecture hall in the city center, and IRIT (Institut de Recherche en Informatique de Toulouse) with financial support (other sources pending), we will be able to keep the participation fee moderate. Moreover, we will operate a scheme of additional fee reduction for master and PhD students (details will be given later on the web site). ----------------------------------------------------------------------- Satellite event: On Monday, April 22, the twelfth international workshop Proof, Computation, Complexity (PCC 2013) will be held on the campus of Toulouse Technical University. For the details, see the web site of TYPES 2013. ----------------------------------------------------------------------- Program Committee TYPES 2013 Jos?? Esp??rito Santo, University of Minho, Braga, Portugal Herman Geuvers, Radboud University Nijmegen, Netherlands Silvia Ghilezan, University of Novi Sad, Serbia Hugo Herbelin, PPS, INRIA Rocquencourt-Paris, France Martin Hofmann, Ludwig-Maximilians-Universit??t M??nchen, Germany Zhaohui Luo, Royal Holloway, University of London, UK Ralph Matthes, IRIT, CNRS and Univ. de Toulouse, France (co-chair) Marino Miculan, University of Udine, Italy Bengt Nordstr??m, Chalmers University of Technology, G??teborg, Sweden Erik Palmgren, Stockholm University, Sweden Andy Pitts, University of Cambridge, UK Sergei Soloviev, IRIT, Univ. de Toulouse, France (co-chair) Pawe?? Urzyczyn, University of Warsaw, Poland Tarmo Uustalu, Tallinn Technical University, Estonia [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CiE 2013 in Milan - Special Awards and Call for Papers
by S B Cooper 23 Dec '12

23 Dec '12

************************************************************************ CiE13 CALL FOR PAPERS AND SPECIAL AWARDS: CiE 2013: The Nature of Computation: Logic, Algorithms, Applications Milan, Italy July 1 - 5, 2013 http://cie2013.disco.unimib.it IMPORTANT DATES: Submission Deadline for LNCS: 20 January 2013 Notification of authors: 4 March 2013 Deadline for final revisions: 1 April 2013 CiE 2013 is the ninth conference organised by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011) and Cambridge (2012). The Nature of Computation is meant to emphasize the special focus of CIE13 on the unexpected and strong changes that studies on Nature have brought in several areas of mathematics, biology, physics, and computer science. Starting from Alan Turing, research on Nature with a computational perspective has produced novel contributions, giving rise even to new disciplines. AWARDS: Springer-Verlag has graciously funded two awards that will be given during the CiE 2013 Conference. Best student paper: This prize will be awarded for the best student paper presented at CiE 2013, as judged by the Program Committee. A prize of 500 euros will be given to the author(s) of the best student-authored paper (or split between more than one paper if there is a tie). In order to be considered, a paper has to be submitted in the category 'Regular paper (eligible for best student paper award)' on EasyChair. Papers are eligible if all of its authors are full-time students at the time of submission. Best paper on Natural Computing: The prize consists of the four volumes of the Handbook of Natural Computing (see http://cie2013.disco.unimib.it/awards/) This prize will be awarded to the best paper on Natural Computing presented at CiE 2013, as judged by the Program Committee. A paper is eligible if its main topic falls within the scope of Natural Computing, roughly defined as the set of fields studied in the above handbook. The Program Committee is the only judge of the relevance of a paper within the Natural Computing scope. The authors of a paper eligible for the award must indicate this in the submission notes. INVITED SPEAKERS Ulle Endriss (University of Amsterdam) Lance Fortnow (Georgia Institute of Technology) Anna Karlin (University of Washington) Bernard Moret (Ecole Polytechnique Federale de Lausanne) Mariya Soskova (Sofia University) Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University) TUTORIAL SPEAKERS Gilles Brassard (Universite de Montreal) Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and University of Colorado at Boulder) SPECIAL SESSIONS on Algorithmic Randomness organizers: Mathieu Hoyrup, Andre Nies Data Streams and Compression organizers: Paolo Ferragina, Andrew McGregor Computational Complexity in the Continuous World organizers: Akitoshi Kawamura, Robert Rettinger Computational Molecular Biology organizers: Alessandra Carbone, Jens Stoye Computation in Nature organizers: Mark Delay, Natasha Jonoska History of Computation organizers: Gerard Alberts, Liesbeth De Mol PROGRAM COMMITTEE: * Gerard Alberts (Amsterdam) * Luis Antunes (Porto) * Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris) * Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape Town, co-chair) * Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa) * Stephen Cook (Toronto ON) * S Barry Cooper (Leeds) * Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest) * Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan) * Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans) * Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI) * Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam) * Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin) * Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt) * Sonja Smets (Amsterdam) * Susan Stepney (York) * S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam) The PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) in computability related areas to submit their papers (in PDF format, max 10 pages using the LNCS style) for presentation at CiE 2013. The submission site https://www.easychair.org/conferences/?conf=cie2013 is open. We particularly invite papers that build bridges between different parts of the research community. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it Website: http://cie2013.disco.unimib.it ************************************************************************ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TAMC 2013 in Hong Kong: Second Call for Papers
by S B Cooper 23 Dec '12

23 Dec '12

=========================================================================== SECOND CALL FOR PAPERS: TAMC 2013 The 10th Annual Conference on Theory and Applications of Models of Computation Hong Kong, China, 20-22 May 2013 http://www.cs.hku.hk/tamc2013/ =========================================================================== The 10th Annual Conference on Theory and Application of Models of Computation (TAMC 2013 http://www.cs.hku.hk/tamc2013/) will be held in Hong Kong, China, from May 20 to May 22, 2013. TAMC aims at bringing together a wide range of researchers with interests in computational theory and applications. Hong Kong is situated on China's south coast and is famous for its skyline. Hong Kong was a colony of the British Empire until 1997 when it was returned to China. It now thrives under the principle of "one country, two systems", enjoying a high degree of authority and independent judiciary. Hong Kong is often described as "East meets West" and is one of the world's leading international financial centers. Come and visit Asia's vibrant world city (www.discoverhongkong.com/eng/index.jsp) and join the conference at the University of Hong Kong (according to 2012 QS World University Rankings HKU ranked 23rd in the world and 1st in Asia). The main themes of the conference are computability, complexity, and algorithms. Typical but not exclusive topics of interest include: algebraic computation algorithmic coding theory algorithmic number theory approximation algorithms automata theory circuit complexity computability theory computational biology, and biological computing computational complexity computational game theory computational logic computational geometry continuous and real computation cryptography data structures design and analysis of algorithms distributed algorithms fixed parameter tractability graph algorithms information and communication complexity learning theory natural computation network algorithms, networks in nature and society online algorithms optimization parallel algorithms privacy and security property testing proof complexity quantum computing randomness, pseudo-randomness randomized algorithms streaming algorithms IMPORTANT DATES - Submission deadline : 11:59 pm EST January 11, 2013 Notification of authors : February 22, 2013 Final versions deadline : March 8, 2013 Submission page: https://www.easychair.org/conferences/?conf=tamc2013. Conference Chair: Francis Chin (The University of Hong Kong) Program Chair: Lap Chi Lau (The Chinese University of Hong Kong) Luca Trevisan (Stanford University) Program Committee: Andrej Bogdanov (The Chinese University of Hong Kong) Hubert Chan (University of Hong Kong) Ho-Lin Chen (National Taiwan University) Jianer Chen (Texas A&M University) Ning Chen (Nanyang Technological University) Wei Chen (Microsoft Research Asia) Xi Chen (Columbia University) Francis Chin (The University of Hong Kong, Chair) Marek Chrobak (UC Riverside) Nicola Galesi (Universita di Roma La Sapienza) Naveen Garg (IIT Dehli) Navin Goyal (Microsoft Research India) Nick Harvey (University of British Columbia) Rahul Jain (National University of Singapore) David Jao (University of Waterloo) Ken-ichi Kawarabayashi (National Institute of Informatics, Japan) Jochen Konemann (University of Waterloo) Amit Kumar (IIT Delhi) Lap Chi Lau (The Chinese University of Hong Kong, Co-chair) Jian Li (Tsinghua University) Rachel Lin (MIT and The Chinese University of Hong Kong) Pinyan Lu (Microsoft Research Asia) Mohammad Mahdian (Google Research) Seffi Naor (Technion University) Krzysztof Onak (IBM Research) Periklis Papakonstantinou (Tsinghua University) Seth Pettie (University of Michigan) Atri Rudra (University at Buffalo, The State University of New York) Alexander Russell (University of Connecticut) Piotr Sankowski (University of Warsaw) Rahul Santhanam (University of Edinburgh) Anastasios Sidiropoulos (UIUC) Mohit Singh (Microsoft Research Redmond) Man Cho Anthony So (The Chinese University of Hong Kong) John Steinberger (Tsinghua University) Luca Trevisan (Stanford University, Co-chair) Laszlo Vegh (London School of Economics) David Woodruff (IBM Research) Ke Yi (Hong Kong University of Science and Technology) Qin Zhang (IBM Research and Indiana University) Submission instructions: * Authors should submit an extended abstract (not a full paper), online at: https://www.easychair.org/conferences/?conf=tamc2013 * The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work. * The length of the extended abstract should not exceed ten (10) letter-sized pages (not including bibliography and appendices.) * Submitted papers must describe work not previously published. They must not be submitted simultaneously to another conference with refereed proceedings. * Research that is already submitted to a journal may be submitted to TAMC13, provided that (a) the PC chair is notified in advance that this is the case, and (b) it is not scheduled for journal publication before the conference. Proceedings: The TAMC proceedings will be published in the Lecture Notes in Computer Science Series by Springer (http://www.springer.com/lncs) Authors of accepted papers are expected to present their work at the conference. Special issues of the leading journals 'Theoretical Computer Science' and 'Mathematical Structures in Computer Science', devoted to a selected set of accepted papers of the conference, are planned. Steering Committee: Manindra Agrawal (Indian Institute of Technology, Kanpur, India) Jin-Yi Cai (University of Wisconsin - Madison, USA) S. Barry Cooper (University of Leeds, Leeds, UK) John Hopcroft (Cornell University) Angsheng Li (Chinese Academy of Sciences) Local Organising Committee: Hubert Chan, H.F. Ting, Zhang Yong =========================================================================== Contact: tamc(a)cs.hku.hk =========================================================================== [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT2013
by Steve Lack 22 Dec '12

22 Dec '12

Dear Category Theorists, This is a reminder that CT2013 will be taking place in Sydney next year. The conference will be held at Macquarie University from 7-13 July, and the invited speakers are Eugenia Cheng (Sheffield) Pieter Hofstra (Ottawa) Zurab Janelidze (Stellenbosch) Emily Riehl (Harvard) Mike Shulman (IAS) Ross Street (Macquarie). There will also be a workshop on Applications of Category Theory taking place the week before the conference, with lectures by Marcelo Aguiar (Texas A&M) Richard Garner (Macquarie) Scott Morrison (Australian National University) Mike Shulman (IAS). More information about both conference and workshop can be found at the conference website. http://web.science.mq.edu.au/groups/coact/seminar/ct2013/ Those coming thinking of coming to Australia from far away may be interested to know of another meetin taking place the week after CT2013 http://gaia.ltumathstats.com/ entitled Workshop on General Algebra and its Applications (in celebration of Brian Davey's 65th birthday and retirement). We look forward to welcoming you all to Macquarie! Best wishes, Steve Lack (for the organizing committee). [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TbiLLC 2013: 1st Call for Papers
by ILLC 21 Dec '12

21 Dec '12

*********************************************************************** 1st Call for Papers THE TENTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION 23-27 September 2013 Georgia Website: http://www.illc.uva.nl/Tbilisi/Tbilisi2013 *********************************************************************** CALL FOR PAPERS The Tenth International Tbilisi Symposium on Language, Logic and Computation will be held on 23-27 September 2013 in Georgia. The Programme Committee invites submissions for contributions on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. Areas of interest include, but are not limited to: * Algorithmic game theory * Computational social choice * Constructive, modal and algebraic logic * Formal models of multiagent systems * Historical linguistics, history of logic * Information retrieval, query answer systems * Language evolution and learnability * Linguistic typology and semantic universals * Logic, games, and formal pragmatics * Logics for artificial intelligence * Natural language syntax, semantics, and pragmatics Authors can submit an abstract of four pages (including references) at the EasyChair conference system here: http://www.easychair.org/conferences/?conf=tbillc2013 PROGRAMME The programme will include the following invited lectures and tutorials. Tutorials: Logic: Rosalie Iemhoff (Utrecht) Language: Daniel Altshuler (Duesseldorf) Computation: Samson Abramsky (Oxford) Invited Lectures: Balder ten Cate (Santa Cruz) Agata Ciabattoni (Vienna) Thomas Colcombet (Paris) Galit Sassoon (Jerusalem) Alexandra Silva (Nijmegen) Sergei Tatevosov (Moscow) WORKSHOPS There will also be a workshop on Algebraic Proof Theory organized by A. Ciabattoni and R. Iemhoff and a workshop on Aspect organized by D. Altshuler, D. Hole and S. Tatevosov. PUBLICATION INFORMATION Post-proceedings of the symposium will be published in the LNCS series of Springer. IMPORTANT DATES Submission deadline: May 1, 2013 Notification: July 1, 2013 Final abstracts due: August 1, 2013 Registration deadline: September 1, 2013 Symposium: September 23-27, 2013 Programme and submission details can be found at: http://www.illc.uva.nl/Tbilisi/Tbilisi2013/ ********************************************************************* [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0