February 2013 - 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

Ackermann Award 2013 - Call for Nominations
by Anuj Dawar 23 Mar '13

23 Mar '13

ACKERMANN AWARD 2013 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Eligible for the 2013 Ackermann Award are 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.2011 and 31.12.2012. The deadline for submission is 15 April 2013. Submission details follow below. Nominations can be submitted from 1 January 2013 on and should be sent to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar(a)cl.cam.ac.uk The Award The 2013 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL (CSL'13), 2-5 September 2013, in Torino (Italy). The award consists of * a diploma, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * travel support to attend the conference. The jury is entitled to give more (or less) than one award per year. Jury The jury consists of: * Thierry Coquand (Chalmers University of Gothenburg); * Anuj Dawar (University of Cambridge), the president of EACSL; * Thomas A. Henzinger (IST Austria); * Daniel Leivant (Indiana University, Bloomington); * Damian Niwinski (University of Warsaw); * Luke Ong (University of Oxford), LICS representative; * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Wolfgang Thomas (RWTH, Aachen). How to submit The candidate or his/her supervisor has to 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 faculty or researchers in equivalent positions (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 (scanned as pdf-file or faxed). The submission should preferably be sent by e-mail as attachments to 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: Prof. 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/ ]

2 1

BCTCS 2013: call for participation. More student bursaries now available!
by Guy McCusker 27 Feb '13

27 Feb '13

British Colloquium for Theoretical Computer Science Bath, UK 24th-27th March 2013 http://cs.bath.ac.uk/bctcs2013 SECOND CALL FOR PARTICIPATION AND CONTRIBUTED TALKS *** NEW!! 6 additional student bursaries available. Apply by March 7th 2013. *** *** Deadline for booking on-campus accommodation: March 5th 2013. Five rooms left! *** Deadline for abstract submission: 10th March 2013 Deadline for registration: 10th March 2013 The 29th British Colloquium for Theoretical Computer Science will be hosted by the Department of Computer Science, University of Bath, from 24th to 27th March 2013. The purpose of BCTCS is to provide a forum in which researchers in theoretical computer science can meet, present research findings, and discuss developments in the field. It also aims to provide an environment in which PhD students can gain experience in presenting their work, and benefit from contact with established researchers. We are pleased to announce that a further 6 fully-funded PhD Student Bursaries are available, covering UK travel, accommodation at the on-campus rate, and full registration. It is easy to apply for one. Please see the website for details. The scope of the colloquium includes all aspects of theoretical computer science, including automata theory, algorithms, complexity theory, semantics, formal methods, concurrency, types, languages and logics. Both computer scientists and mathematicians are welcome to attend, as are participants from outside of the UK. The colloquium features both invited and contributed talks. This year's invited speakers are Susanne Albers, Humboldt-Universität zu Berlin, the LMS-sponsored keynote speaker in Discrete Mathematics Samson Abramsky, University of Oxford Assia Mahboubi, INRIA - École Polytechnique Angela Wallenburg, Altran UK. Participants wishing to give 30 minute contributed talks may simply to submit a title and abstract (100--300 words) by the deadline given below. Further details are available from the Colloquium website: http://cs.bath.ac.uk/bctcs2013 Important dates: 18/1/2013: Registration open 18/1/2013: Abstract submissions open 5/3/2013: Deadline for booking on-campus accommodation 7/3/2013: EXTENDED!! Deadline for application for bursaries 10/3/2013: Deadline for registration 10/3/2013: Deadline for submission of abstracts 24 - 27/3/2013: Colloquium [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CALCO 2013: Deadline Extension
by Alexandra Silva 26 Feb '13

26 Feb '13

[Apologies for multiple copies] *** -------------------- DEADLINE EXTENSION ------------------------- *** To allow for some delays in submission of papers to CALCO 2013, the deadline has been moved by one week. See the new dates in the call for papers below and at the CALCO'13 web page http://coalg.org/calco13/ ========================================================================= CALL FOR PAPERS: CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2013 Warsaw, Poland http://coalg.org/calco13/ ========================================================================= Abstract submission: March 1, 2013 Paper submission: March 8, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland. -- INVITED SPEAKERS -- Andrej Bauer - University of Lubljana, Sl Miko??aj Boja??czyk - Warsaw University, PL Neil Ghani - University of Strathclyde, UK Damien Pous - CNRS, ENS-Lyon, F -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra -- NEW TOPICS -- This edition of CALCO will feature two new topics, and submission of papers on these topics is especially encouraged. * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As with previous editions, the proceedings will be published in the Springer LNCS series. Final papers should be no more than 15 pages long in the format specified by Springer (see http://www.springer.de/comp/lncs/authors.html) It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2013 -- BEST PAPER AND BEST PRESENTATION AWARDS -- For the first time, this edition of CALCO will feature two kinds of awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- PROGRAMME COMMITTEE -- Luca Aceto - Reykjavik University, Iceland Ji???? Ad??mek - TU Braunschweig, D Lars Birkedal - IT University of Copenhagen, DK Filippo Bonchi - CNRS, ENS-Lyon, F Corina Cirstea - University of Southhampton, UK Bob Coecke - University of Oxford, UK Andrea Corradini - University of Pisa, I Mai Gehrke - Universit?? Paris Diderot - Paris 7, F H. Peter Gumm - Philipps University Marburg, D Gopal Gupta - University of Texas at Dallas, USA Ichiro Hasuo - Tokyo University, Japan Reiko Heckel - University of Leicester, UK (cochair) Bart Jacobs - Radboud University Nijmegen, NL Ekaterina Komendantskaya - University of Dundee, Scotland, UK Barbara K??nig - University of Duisburg-Essen, D Jos?? Meseguer - University of Illinois, Urbana-Champaign, USA Marino Miculan - University of Udine, I Stefan Milius - Friedrich-Alexander Universit??t Erlangen-N??rnberg, D (cochair) Larry Moss - Indiana University, Bloomington, USA Till Mossakowski - DFKI Lab Bremen and University of Bremen, D Prakash Panangaden - McGill University, Montreal, Canada Dirk Pattinson - Australian National University, AUS Dusko Pavlovic - Royal Holloway, University of London, UK Daniela Petrisan - University of Leicester, UK John Power - University of Bath, UK Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL Lutz Schr??der - Friedrich-Alexander Universit??t Erlangen-N??rnberg, D Monika Seisenberger - Swansea University, UK Sam Staton - University of Cambridge, UK Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL Pawel Sobocinski - University of Southampton, UK Yde Venema - University of Amsterdam, NL Uwe Wolter - University of Bergen, NO -- ORGANISING COMMITTEE -- Bartek Klin (University of Warsaw, Poland) Andrzej Tarlecki (University of Warsaw, Poland) -- LOCATION -- Warsaw, the capital of Poland, is a lively city with many historic monuments and sights, but also with a thriving business district. It is easily accessible via two airports: the main Chopin Airport, used by most international carriers, and the recently open Warsaw Modlin Airport (30 minutes away by rail), used by budget airlines. -- SATELLITE WORKSHOPS -- CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired by Monika Seisenberger (Swansea University). The workshop is dedicated to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. Attendance at the workshop is open to all - it is anticipated that many CALCO conference participants will want to attend the CALCO Early Ideas workshop (and vice versa). A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO Tools, will be held alongside the main conference, chaired by Lutz Schr??der (Friedrich Alexander Universit??t Erlangen-N??rnberg). Papers of this workshop will be included in the CALCO proceedings. -- CALCO Early Ideas Overview -- The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. The list of topics of particular interest is shown on the main CALCO 2013 page. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be available at the workshop. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calcoearlyideas2013 The use of LNCS style is strongly encouraged. After the workshop, authors will have the opportunity to submit a full 10-15 page paper on the same topic. The reviewing will be carried out by the CALCO Early Ideas PC, with the support of the CALCO PC. The volume of selected papers will be available online. Authors will retain copyright, and are also encouraged to disseminate the results by subsequent publication elsewhere. http://coalg.org/calco13/workshops.html#ei -- CALCO Early Ideas Dates -- 2-page short contribution submission: May 27, 2013 Notification for short contribution: June 24, 2013 Final short contribution due: July 15, 2013 CALCO Early Idead Workshop: September 2, 2013 10-15 page paper submission: October 15, 2013 Notification for paper: December 15, 2013 Final paper version due: January 15, 2014 -- CALCO Early Ideas Program Committee -- Bartek Klin, University of Warsaw, Poland John Power, University of Bath, UK Monika Seisenberger, Swansea University, UK (chair) -- CALCO-Tools Overview -- CALCO-Tools will take place on the same dates as the main CALCO conference, with no overlap between the technical programmes of the two events. Topics of interest include systems, prototypes, and tools developed specifically for the design, checking, execution, and verification of (co)algebraic specifications, but also tools targeting different application domains while making core or interesting use of (co)algebraic techniques. Tool submissions should not exceed 5 pages in LNCS format. The accepted tool papers will be included in the final proceedings of the conference. The tools should be made available on the web at the time of submission. Each submission will be evaluated by at least three reviewers; one or more of the reviewers will be asked to download and use the tool. At least one of the authors of each tool paper must attend the conference to demo the tool. http://coalg.org/calco13/workshops.html#tools -- CALCO-Tools Dates -- Paper submission: April 8, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- CALCO-Tools Programme Committee -- Einar Broch Johnsen, University of Oslo, Norway Mark Hills, CWI Amsterdam, The Netherlands Barbara K??nig, University of Duisburg-Essen, Germany Dorel Lucanu, Alexandru Ioan Cuza University, Romania Dominik Luecke, CWI Amsterdam, The Netherlands Till Mossakowski, DFKI, Germany Lutz Schr??der, Friedrich-Alexander Universit??t Erlangen-N??rnberg, Germany (chair) Alexandra Silva, Radboud University Nijmegen and CWI Amsterdam, The Netherlands -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant conference or workshop chairs. Queries related to the organisation should be emailed to calco2013(a)mimuw.edu.pl . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc positions at UNAM
by quico＠matem.unam.mx 23 Feb '13

23 Feb '13

Dear Categorists, there are, at the Instituto de Matem?ticas at UNAM, Mexico City, some postdoctoral positions for one year, renewable for another year. The deadline for the ones that start in September 2013 is this coming February 28, but there will be another opportunity for the ones that start in March 2014. There is some information at the Instituto's web page www.matem.unam.mx The candidate must be under 36 years old at the beginning of the postdoc, must have obtained the doctorate within three years of the beginning of the postdoc, and must have published or accepted articles in respectable journals (I'd say TAC). I would prefer it if the candidate has some affinity with the work on categories done at the Instituto (that is, basically, with what I do). If you know some good, promising, suitable young categorist, please refer them to me. Francisco Marmolejo quico(a)matem.unam.mx [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Final announcement (with programme): Workshop on Algebra, Coalgebra and Topology
by Cai Wingfield 23 Feb '13

23 Feb '13

******************************************************************** Workshop on Algebra, Coalgebra and Topology (part of the Wessex Theory Seminar) University of Bath Friday 1 March 2013 ******************************************************************** The Technische Universitaet Dresden is one of the world's leading centres in clone theory. An abstract clone, with nullary operations, is a mild rephrasing of what category theorists call a Lawvere theory. They are also equivalent to finitary monads, but the equivalence with the latter is far more than mild rephrasing. The notions of abstract clone and Lawvere theory have been developed for several decades largely independently of each other. Much of the development of Lawvere theories has been done in the UK, in recent years primarily in association with the University of Cambridge. Duality has been studied for both, with notions such as coclone, comodel and coalgebra prominent. Both have interacted with computer science, and both have involved relationships with topology. Several of the key researchers in the two fields will meet for a workshop at the University of Bath on Friday 1 March. Before lunch, Mike Behrisch, Sebastian Kerkhoff and Martin Schneider from Dresden will speak on clone theory, explaining the background and current research, with a view towards categories. After lunch, Jiri Adamek and Martin Hyland will speak from a category theoretic perspective; and late in the afternoon, we will have talks more broadly about the topic from Nicolai Vorobjov, Uday Reddy, James Davenport and Sam Staton. We would like to invite others to participate too. If you are interested in coming, please contact Cai Wingfield (C.A.J.Wingfield(a)bath.ac.uk) Website: http://go.bath.ac.uk/wessex20 PROGRAMME: 10:30 - 11:00 Mike Behrisch "A gentle introduction to clones, their Galois theory, and applications" 11:00 - 11:30 Sebastian Kerkhoff "(Concrete) clones and Pol-Inv vs (Models of) Lawvere theories and ???" 11:30 - 12:00 Martin Schneider "Clones and invariant relations in categories" 1:30 - 2:15 Jiri Adamek "Nondeterministic Closure Automata" 2:15 - 3:00 Martin Hyland "Algebraic theories: a general bicategorical approach" 3:30 - 4:00 Nicolai Vorobjov "Monotone functions and maps" 4:00 - 4:30 Uday Reddy "Automata theory for program semantics" 4:30 - 5:00 James Davenport "What can algebra tell us about pedagogical correctness?" 5:00 - 5:30 Sam Staton "Abstract clones enriched in presheaf categories" Abstracts can be viewed on the website for the event (http://go.bath.ac.uk/wessex20) VENUE: The meeting will be held in the (very pleasant) department lounge of the Department of Computer Science, East Building, University of Bath http://www.bath.ac.uk/about/gettinghere/maps/index.html. By lucky coincidence, the Bath Literature Festival (http://bathlitfest.org.uk) and Bristol Jazz and Blues Festival (http://bristoljazzandbluesfest.com/) will both be happening on the 1st and the days following. REGISTRATION FEE: There is no registration fee, but the meeting will be held on a pay-your-own-everything basis. We will show you suitable places for morning and afternoon teas and for lunch, either sit-down or take-away. TRAVEL FUNDING: The workshop will be part of the Wessex Theory Seminar, so there is a (very) small amount of travel funding available to those people working at Wessex sites go.bath.ac.uk/wessex20. If you would like to apply for it, please email Guy McCusker (G.A.McCusker(a)bath.ac.uk) ACCOMMODATION: Few people are likely to need accommodation for a one-day meeting, but if you do and need help, please contact us, although you can probably find it as easily on the web as we can, for instance via http://visitbath.co.uk/. You are strongly advised to book accommodation soon, as the Bath Literature Festival starts that day and much of the accommodation we normally recommend is already sold out. Participants might also be interested in the Bristol Jazz Festival, which runs 1-3 May: Bristol is a short train ride from Bath. PROCEEDINGS: We plan to publish an ENTCS post-proceedings of the workshop if we receive a reasonable number of high quality submissions of relevant articles. We can discuss details at the time. The one caveat is that Elsevier now charges $50/paper for publishing in ENTCS, which we may need to pass on to successful authors. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on Opetopes in March 2013
by Marek Zawadowski 20 Feb '13

20 Feb '13

Dear Categorists, I am organizing a Workshop on Opetopes, Opetopic Sets, and Opetopic Categories at the University of Warsaw. It will be held in two parts: March 8-9 and March 15-16, 2013. You can find more information on the page http://mimuw.edu.pl/~zawado/Conferences/Opetopes2013.html If you are interested to come, please let me know. Best regards, Marek Zawadowski [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Adjoints for symmetric cubical categories (On weak cubical categories, III)
by Marco Grandis 20 Feb '13

20 Feb '13

The following preprint is available M. Grandis, Adjoints for symmetric cubical categories (On weak cubical categories, III), Dip. Mat. Univ. Genova, Preprint 601 (2013). http://www.dima.unige.it/~grandis/CubAdj.pdf Abstract. Extending a previous article (with R. Paré) on adjoints for double categories, we deal here with weak symmetric cubical categories (of infinite dimension). Also here, a general 'cubical adjunction' has a colax cubical functor left adjoint to a lax one. This cannot be viewed as an adjunction in some bicategory, because composing lax and colax morphisms destroys all comparisons. However, as in the case of double adjunctions, cubical adjunctions live in an interesting double category; this now consists of weak symmetric cubical categories, with lax and colax double functors as horizontal and vertical arrows, linked by suitable double cells. With best regards to colleagues and friends Marco Grandis [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0