August 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

Symmetric monoidal coclosed but not compact closed?
by Mike Stay 01 Sep '13

01 Sep '13

Can anyone give me an example of a symmetric monoidal coclosed category that is not compact closed? To be clear, monoidal coclosed means (- tensor X) is *right* adjoint to the internal hom [X, -]. -- Mike Stay - metaweta(a)gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 1

Lambekfest: Update
by Robert Seely 28 Aug '13

28 Aug '13

The CRM has published its official website for the meeting on the 21st September - the information may be found here: http://www.crm.math.ca/Lambek13/ (If your English is better than your French, just click on "English" when visiting the page!) Note that you are asked to register - this is for information only, and rest assured that there is no registration fee for the meeting. -- <rags(a)math.mcgill.ca> <www.math.mcgill.ca/rags> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Eilenberg Centenary talk slides
by Fred E.J. Linton 25 Aug '13

25 Aug '13

Greetings. It's been suggested I offer the URL http://tlvp.net/~fej.math.wes/Eilenbg100-2013/Talk.HTMLs/talk.001.htm as where to find the slides for the talk I gave at the recent Warsaw Eilenberg100 Fest. [Move through them by clicking the URH " >> " marks.] Links to that URL with link text "epimorphisms in groups" (or the like) will help encourage Google and its competitors better to index that page. Cheers, -- Fred Linton [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Lambekfest 2013 (temporary webpage)
by Robert Seely 23 Aug '13

23 Aug '13

As announced a short while ago, there will be a one-day celebration of Jim Lambek's 90th year at the CRM in Montreal, on Saturday, 21 September, 2013. There have been some minor delays at the CRM in getting a meeting website up (vacation times, etc), so as an interim measure, we have created the following page http://www.math.mcgill.ca/rags/seminar/Lambekfest2012/Lambekfest2012.html to give interested folks whatever information we have, esp about location, hotels, etc. The link above will point to the official CRM page, once that is ready for publication. (We'll also announce new information here, as appropriate.) It would help us prepare for the reception (and room size) if those interested in attending could let us know asap - an email to Robert Seely <rags(a)math.mcgill.ca> would suffice. Thanks! The organizers : Prakash Panangaden (McGill University) Philip Scott (University of Ottawa) Robert A.G. Seely (McGill University) -- <rags(a)math.mcgill.ca> <www.math.mcgill.ca/rags> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014
by Kristin Yvonne Rozier 22 Aug '13

22 Aug '13

CALL FOR PAPERS: Formal Methods 2014 (FM 2014) 19th International Symposium on Formal Methods Singapore, May 14-16, 2014 http://www.comp.nus.edu.sg/~pat/FM2014/ FM 2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work. SCOPE AND TOPICS It will have the goal of highlighting the development and application of formal methods in connection with a variety of disciplines such as medicine, biology, human cognitive modeling, human automation interactions and aeronautics, among others. FM 2014 particularly welcomes papers on techniques, tools and experiences in interdisciplinary frameworks, as well as on experience with practical applications of formal methods in industrial and research settings, experimental validation of tools and methods as well as construction and evolution of formal methods tools. The broad topics of interest for FM 2014 include but are not limited to: Interdisciplinary formal methods: techniques, tools and experiences demonstrating formal methods in interdisciplinary frameworks. Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome problems, lead to improvements in design or provided new insights. Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools. Authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. Role of formal methods in software and systems engineering: development processes with formal methods, usage guidelines for formal methods, method integration. Authors are encouraged to demonstrate that process innovations lead to qualitative or quantitative improvements. Theoretical foundations: all aspects of theory related to specification, verification, refinement, and static and dynamic analysis. Authors are encouraged to explain how their results contribute to the solution of practical problems. PAPER SUBMISSION Papers will be evaluated by at least three members of the Program Committee. They should be in Springer LNCS format and describe, in English, original work that has not been published or submitted elsewhere. Papers should be submitted through the FM 2014 EasyChair web site at: http://www.easychair.org/conferences/?conf=fm2014 Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science. IMPORTANT DATES Abstract due: November 7, 2013 Full papers due: November 14, 2013 Acceptance / Rejection Notification: February 1, 2014 Industry Track Submission: January 16, 2014 Industry Track Notification: February 16, 2014 Camera-ready: February 25, 2014 Main Conference Date: May 14-16, 2014 Tutorial / Workshops Date: May 12-13, 2014 CALL FOR TUTORIALS, WORKSHOPS and DOC SYMPOSIUM The organizing committee of FM 2014 thus invites proposals for half- or full-day tutorials in the broad area of formal methods. Proposals from industry practitioners or academics are very welcome; proposals for tutorials on applications of formal methods to challenging problems are particularly welcome. All tutorials should focus on providing participants with the opportunity to learn new techniques, new application domains, and insightful uses of formal methods. Details on the call for tutorials can be found at http://www.comp.nus.edu.sg/~pat/FM2014/cft.html We are also inviting people to submit proposals for workshops. The purpose of the workshops is to provide an informal setting for workshop participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These workshops may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of workshops relating to different varieties of formal models. Details on the call for workshops can be found at http://www.comp.nus.edu.sg/~pat/FM2014/cfp4w.html A Doctoral Symposium will be held on 12-13th May in conjunction with the FME Symposium FM2014. This aims to provide a helpful environment in which selected doctoral students can present and discuss their ongoing work, meet other students working on similar topics and receive helpful advice and feedback from a panel of researchers and academics. Details on the call for doctoral sympisum can be found at http://www.comp.nus.edu.sg/~pat/FM2014/cfd.html ORGANIZATION COMMITTEE General Chair Jin Song Dong, National University of Singapore, Singapore. Program Committee Co-Chairs Cliff B Jones, Newcastle University, United Kindom. Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa. Jun Sun, Singapore University of Technology and Design, Singapore. Doc Symposium Co-Chair Annabelle McIver, Macquarie University, Australia. Workshop Chair Shengchao Qin, University of Teesside, United Kindom. Publicity Chair Jonathan Bowen, London South Bank University, United Kindom. Kenji Taguchi, AIST, Japan. Tutorial Chair Richard Paige, University of York, United Kindom. -- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Research Computer Scientist / USA | ~||~ |NASA \ NASA Ames Research Center |______| ~~ |______| Phone: (650) 604-3197 (__||__) Fax: (650) 604-3594 /_\ /_\ !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/ Any opinions expressed in this email are my own. --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on Quantum Mathematics and Computation, Oxford, October 1-4 2013
by Jamie Vicary 22 Aug '13

22 Aug '13

Dear all, We invite you to attend the inaugural research workshop of the Centre for Quantum Mathematics and Computation at the University of Oxford, on October 1-4, 2013. The workshop will have plenary talks by Steve Awodey, John Baez, Alexander Beilinson, Lucien Hardy, Martin Hyland, Dana Scott, Vladimir Voevodsky, and Anton Zeilinger, along with contributed talks and a problem session. The workshop is one of four Clay Research Workshops occurring in Oxford that week (including one on Number Theory and Physics, and one on Computational Intractability) along with the Clay Research Conference and the conference celebrating the opening of the new Oxford Mathematics building. The workshop page, including a link for registration, is at http://www.claymath.org/workshops/QMAC/ where a schedule will soon be available. Information about the Clay Research Conference and the other Clay research workshops taking place at the same time is available at http://www.claymath.org/CRC13/ and information about the new building conference is at http://www.maths.ox.ac.uk/new-building/opening Information about the QMAC Centre can be found at the Centre homepage, http://www.qmac.ox.ac.uk/ The workshop is funded by the Clay Mathematics Institute and the Engineering and Physical Sciences Research Council. Some limited funding for travel and accommodation is available. Inquiries regarding the workshop may be directed to cdouglas(a)maths.ox.ac.uk. Best wishes, the organizing committee. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

postdoc grants in Portugal
by Maria Manuel Clementino 17 Aug '13

17 Aug '13

Our national Foundation for Sciences and Technology http://www.fct.pt/index.phtml.en accepts applications for postdoctoral grants until September 19, 2013: http://www.fct.pt/apoios/bolsas/concursos/individuais2013.phtml.en The Regulations can be found at http://www.fct.pt/apoios/bolsas/concursos/individuais2013 [in Portuguese]. In order to apply the candidate needs the support of a supervisor, working in a Portuguese university. If you're interested, please send me an email. Maria Manuel Clementino <mmc(a)mat.uc.pt> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Daniel M. Kan, 1927-2013
by Joyal, André 08 Aug '13

08 Aug '13

>>From Clark Barwick, forwarded -------------------------------- Dear colleagues and friends, On Sunday, 4 August, 2013, Daniel M. Kan died peacefully at his home in Newton, MA, surrounded by his family. It was his 86th birthday. There was a small burial service Monday afternoon. Dan received his Ph.D in 1955, and after short-term positions at Columbia, Princeton, and Hebrew University, he joined the Department of Mathematics at MIT in 1959, where he remained until his retirement in 1993. Dan continued to do mathematics until the last week of his life. In his long career, Dan published more than 70 papers with 15 coauthors. His lifelong mathematical pursuit was abstract homotopy theory, and many of his ideas were so natural and flexible that they quickly became incorporated into the very fabric of algebraic topology. He supervised 15 Ph.D students (all of them at MIT), and he influenced many more through his unique seminar in algebraic topology, which today is known as the Kan Seminar. Clark _______________________________________________ ALGTOP-L mailing list [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 2