May 2015 - Categories - categories.org.au

3 tensors in a 2-category ?
by Eduardo J. Dubuc 31 May '15

31 May '15

Hello, I have posted a question in Mathoverflow, here is the direct link: http://mathoverflow.net/questions/208009/3-possible-tensors-in-2-categories I followed this way to ask the question to cat-list because the .pdf version can not be attached. best regards Eduardo Dubuc. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

British Logic Colloquium 2015
by Anuj Dawar 29 May '15

29 May '15

Registration is now open: http://www.newton.ac.uk/event/blc-2015 BRITISH LOGIC COLLOQUIUM Cambridge, England 2-4 September 2015 http://www.newton.ac.uk/event/blc-2015 The 2015 meeting of the British Logic Colloquium will be held in Cambridge on 2nd-4th September. It will be preceded by BLC PhD day (1st-2nd September). This is a general Logic meeting covering a variety of topics within mathematical, philosophical and computer science logic. The meeting will include ten invited talks (speakers listed below) and a number of contributed talks. Anyone wishing to contibute a talk should send an abstract (of about 250 words) to blc-2015(a)cl.cam.ac.uk by 15 July, 2015. Invited speakers: Andreas Blass (Michigan) Victoria Gitman (New York) Ian Pratt-Hartman (Manchester) Alexander Kechris (Pasadena) Jonathan Kirby (East Anglia) Agi Kurucz (London) Itay Neeman (Los Angeles) Arno Pauly (Cambridge) Andrew Pitts (Cambridge) Mehrnoosh Sadrzadeh (London) Bursaries There is a limited number of bursaries available for students who wish to attend. A bursary will provide a subsidy for travel and accommodation costs. Applications for bursaries should be accompanied by a short paragraph stating your affiliation, the name of your supervisor and a brief description of your research; priority will be given to those contributing a talk in either the PhD day or the main BLC meeting. Deadline: 15 July. PhD Day The BLC PhD day provides an opportunity for postgraduates to meet and discuss their research or area of interest with fellow young logicians. If you wish to attend the PhD day, please email blc-2015-phd(a)maths.cam.ac.uk, including your Name, Affiliation and whether or not you would like to present a talk or a poster. Programme Committee: Anuj Dawar (Cambridge, chair) Thomas Forster (Cambridge) Martin Hyland (Cambridge) Benedikt L??we (Amsterdam/Hamburg) Dugald Macpherson (Leeds) Philip Welch (Bristol) The meeting is supported by the London Mathematical Society, the Isaac Newton Institute for Mathematical Sciences and Robinson College, Cambridge. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

New Doctoral Program on Logical Methods in Computer Science (LogiCS)
by list-announcer＠dbai.tuwien.ac.at 29 May '15

29 May '15

Funded Doctoral Positions in Computer Science TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering (i) computational logic, and applications of logic to (ii) databases and artificial intelligence as well as to (iii) computer-aided verification. THE PROGRAM LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification. FACULTY MEMBERS M. Baaz A. Biere R. Bloem A. Ciabattoni U. Egly T. Eiter C. Fermueller R. Grosu A. Leitsch M. Ortiz R. Pichler S. Szeider H. Tompits H. Veith G. Weissenbacher The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 12 associated members who further strengthen the research and teaching activities of the college. Details are provided on http://logic-cs.at/faculty/ POSITIONS AND FUNDING We are looking for 1 doctoral students per faculty member, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/) The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. CURRENT RESEACH AREAS At the moment we are particularly looking for people in the following areas: * Answer Set Programming * Concurrency * Description Logic * Database Theory * Model Checking * Proof Theory and Automated Deduction * QBF Solving HOW TO APPLY Detailed information about the application process is available on the LogiCS web-page http://logic-cs.at/phd/ The applicants are expected to have completed an excellent diploma or master's degree in computer science, mathematics, or a related field. Candidates with comparable achievements will be considered on a case-by-case basis. Applications by the candidates need to be submitted electronically. Next application Deadline: July 1, 2015. LOGIC IN AUSTRIA Austria has a highly active and successful logic in computer science community. Recent activities include: vsl2014.at Vienna Summer of Logic, the Largest Conference in the History of Logic www.arise.or.at Austrian Research Network in Rigorous Systems Engineering vcla.at Vienna Center for Logic and Algorithms kgs.logic.at International Kurt Goedel Society HIGHEST QUALITY OF LIFE The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. For further information please contact: info(a)logic-cs.at [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

John Nash (†)
by Linton, Fred 26 May '15

26 May '15

>>From the NYT ( http://www.nytimes.com/2015/05/25/science/john-nash-a-beautiful-mind-subjec… ): > John Forbes Nash, Jr., ... born on June 13, 1928, ... was > killed, along with his wife, in a car crash on Saturday in ... > a taxi on the New Jersey Turnpike in Monroe Township ... > driver lost control ... hit a guardrail and another car ... . He had > ... shared a Nobel Prize in 1994 ... [and was now] returning home > from ... a trip to Norway, where [he] had received the Abel Prize > from the Norwegian Academy of Science and Letters. A few more weeks and he'd have reached the age of 87. RiP. -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

'Dérivateurs à Barcelone' 2nd announcement
by Fernando Muro 25 May '15

25 May '15

Dear colleagues, We are pleased to announce that the web of the conference 'D??rivateurs ?? Barcelone???, to be held in the University of Barcelona from Tuesday 1 to Friday 4 September 2015, is already active: We welcome registrations! http://www.ub.edu/Derivateurs2015/ Best regards, ??? The organizing committee Leo Alonso (Santiago de Compostela) Carles Casacuberta (Barcelona) Ana Jerem??as (Santiago de Compostela) Georges Maltsiniotis (Jussieu) Fernando Muro (Sevilla) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ICALP/LICS 2015: Call for Participation
by Andrzej Murawski 22 May '15

22 May '15

***** Call for Participation ***** ***** ICALP/LICS 2015 in KYOTO (July 4-10, 2015) ***** EARLY REGISTRATION DEADLINE: June 12 (local time) http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 Joint Conference of The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) and The Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in July 6-10, 2015, in Kyoto. Eleven invited talks and about 240 papers on all areas of theoretical computer science and logic in computer science will be presented at Grand Prince Hotel Kyoto. Also, seven workshops will take place at Kyoto University on July 4 and 5. INVITED SPEAKERS Piotr Indyk (MIT, USA) Ken-ichi Kawarabayashi (NII, Japan) Daniel Kifer (Pennsylvania State University, USA) Valerie King (University of Victoria, Canada) Thomas Moscibroda (Microsoft Research and Tsinghua University, China) Anca Muscholl (Université Bordeaux, France) Peter O'Hearn (Facebook and University College London, UK) Luke Ong (University of Oxford, UK) Andrew Pitts (University of Cambridge, UK) Geoffrey Smith (Florida International University, USA) Ryuhei Uehara (JAIST, Japan) WORKSHOPS Workshop on Logic and Computational Complexity (LCC 2015) Workshop on Natural Language and Computer Science 3 (NLCS 3) Workshop on Quantum Computational Complexity (QCC) Workshop on Realistic Models for Algorithms in Wireless Networks (WRAWN) Workshop on Syntax and Semantics for Low-Level Languages (LOLA 2015) Workshop on the Verification of Higher-Order Programs (HOPA) Young Researchers Forum on Automata, Languages and Programming (YR-ICALP 2015) REGISTRATION The registration page and the hotel reservation page are already open. The early registration deadline is June 12 (local time). For more details please visit our conference webpage: http://www.kurims.kyoto-u.ac.jp/icalp-lics2015 Looking forward to seeing you in Kyoto! Local Organizers: Masahito Hasegawa (Kyoto University) Atsushi Igarashi (Kyoto University) Kazuo Iwama (Kyoto University) Kazuhisa Makino (Kyoto University) CONTACT icalp-lics2015(a)kurims.kyoto-u.ac.jp [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MFPS XXXI/CALCO 2015 : Call for Participation
by fabio.zanasi＠ens-lyon.fr 19 May '15

19 May '15

>>From June 22, in a galaxy far, far away... https://coalg.org/calco15/images/poster.jpg ========================================================= JOINT CALL FOR PARTICIPATION MFPS XXXI 31st Conference on the Mathematical Foundations of Programming Semantics June 22 - 25, 2015 http://events.cs.bham.ac.uk/mfps31/ CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science June 24 - 26, 2015 http://coalg.org/calco15/ In cooperation with ACM SIGLOG Nijmegen, Netherlands ========================================================== Early registration deadline: June 14, 2015 ========================================================== -- SCOPE -- MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighbouring areas. 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), Winchester (UK, 2011) and Warsaw (Poland, 2013). -- INVITED SPEAKERS -- Invited speaker of MFPS and CALCO * Andy Pitts - University of Cambridge, UK MFPS invited speakers * Thierry Coquand - Chalmers University of Technology, Sweden * Paul B. Levy - University of Birmingham, UK * Guy McCusker - University of Bath, UK * Sam Staton - Radboud University, Nijmegen, NL CALCO invited speakers * Chris Heunen - University of Oxford, UK * Matteo Mio - CNRS, ENS Lyon, FR * Daniela Petrisan - Radboud University, Nijmegen, NL -- PROGRAMME AND SATELLITE EVENTS -- The detailed programme will appear soon on the conference web sites: http://events.cs.bham.ac.uk/mfps31/ (MFPS) https://coalg.org/calco15/ (CALCO) *MFPS special sessions* MFPS will host four special sessions: * Game semantics, organised by Andrzej Murawski, Warwick * Concurrent separation logic, organised by Philippa Gardner, Imperial College * Nominal techniques, organised by Daniela Petrisan, Radboud * Algebraic effects, organised by Matija Pretnar, Ljubljana The special session will include an invited tutorial talk, delivered by the session organiser. *CALCO Early Ideas workshop* CALCO 2015 will run together with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions at the end of each conference day. Additional information is available at https://coalg.org/calco15/ei.html . -- REGISTRATION -- To register for MFPS/CALCO, please fill out the registration form available at https://limesurvey.science.ru.nl/index.php/118286/lang-en . The following registration Fees are applied. Normal Late Both MFPS and Calco Non-Students ???230 ???250 Students ???160 ???180 MFPS only or Calco only Non-Students ???160 ???180 Students ???100 ???120 SIGLOG members attending MFPS and/or Calco receive a discount on the registration fee: ???20 for student members, and ???30 for professional members. The yearly rate for SIGLOG membership is $15 for students, and $25 for professionals. The deadline for normal registration is Sunday, June 14. After this date, the late registration fee will be applied. The registration fee can be paid by bank transfer or by credit card (Visa or Mastercard). Payment by bank transfer is strongly encouraged. Within the SEPA area, bank transfers are free of change. We will be sponsoring 5 free student registrations. Anyone interested please contact alexandra(a)cs.ru.nl. We are also proud to be a family-friendly conference: any participant who requires support for childcare to be able to attend the conference should contact us. Additional information on registration and hotel information can be found at http://mfpscalco2015.cs.ru.nl/ . -- LOCATION -- Nijmegen is the oldest city in the Netherlands and celebrated its 2,000th year of existence in 2005. It is situated in the eastern province of Gelderland, quite near to the German border. The latin name for Nijmegen, `Noviomagus??, is a reminder of its Roman past. `Noviomagus?? means `new market?? and refers to the right to hold a market as granted by the Romans. In the days of Charlemagne, the city was called `Numaga??; later on, this became `Nieumeghen?? and `Nimmegen??. However, citizens born and bred in Nijmegen speak affectionately of `Nimwegen??. Nijmegen is one of the warmest cities of the Netherlands, especially during summer, when the highest temperatures in the country are usually measured in the triangle Roermond ??? Nijmegen ??? Eindhoven. The lack of north-south oriented mountain ranges in Europe make this area prone to sudden shifts in weather, giving the region a semi-continental climate. Conference venue for MFPS/CALCO is the majestic *Art Cinema Lux* (http://lux-nijmegen.nl/) located in the city center of Nijmegen. -- SIGLOG Anti-harassment Policy -- The open exchange of ideas and the freedom of thought and expression are central to the values and goals of SIGLOG. They require an environment that recognizes the inherent worth of every person and group. They flourish in communities that foster mutual understanding and embrace diversity. For these reasons, SIGLOG is committed to providing a harassment-free conference experience, and implements the ACM policy against harassment (see http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment…) Conference participants violating these standards may be sanctioned or expelled from the meeting, at the discretion of the conference organizers. Conference organizers are requested to report serious incidents to the SIGLOG Chair. ========================================================= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FMCS 2015 - Final Announcement
by Philip Mulry 13 May '15

13 May '15

FMCS 2015 23rd Workshop on Foundational Methods in Computer Science Colgate University, Hamilton, NY, USA June 4-7, 2015 http://cs.colgate.edu/~phil/FMCS2015.html FINAL ANNOUNCEMENT Foundational Methods in Computer Science is an annual workshop bringing together researchers in mathematics and computer science with a focus on the application of category theory in computer science. Location This year's meeting will be hosted in the Department of Computer Science at Colgate University located in Hamilton, NY. Program There will be an informal welcoming reception on the evening of June 4. The scientific program starts on June 5, and consists of tutorials, invited talks, and contributed talks. There will be an excursion on one of the afternoons. The meeting ends midday on June 7th. Information on submission of abstracts for contributed talks can be found on the workshop website. Research Talks There will be some invited presentations, but the majority of the talks are solicited from the participants. If you wish to give a talk please indicate on the registration form by May 1. Student support Graduate student participation is particularly encouraged at FMCS. Students will pay a reduced registration fee. Limited financial support may also be available to students. Those interested should email the local organizer as soon as possible and no later than May 1. Registration, Housing & Travel Details on registration, housing and directions can be found on the workshop website. Anyone interested in attending or contributing a talk can also email the local organizer at pmulry at colgate dot edu. The workshop website can be found at http://cs.colgate.edu/~phil/FMCS2015.html Organizing committee: Robin Cockett (Calgary) Geoff Cruttwell (Mount Allison) Pieter Hofstra (Ottawa) John MacDonald (UBC) Phil Mulry (Colgate) Dorette Pronk (Dalhousie) Bob Rosebrugh (Mount Allison) Robert Seely (McGill) Local Arrangements: Philip Mulry --- This email has been checked for viruses by Avast antivirus software. http://www.avast.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

'Dérivateurs à Barcelone’ conference announcement
by Fernando Muro 08 May '15

08 May '15

The conference 'Dérivateurs à Barcelone’, on Grothendieck derivators, will take place in the University of Barcelona from Tuesday 1 to Friday 4 September 2015. The list of speakers is: Denis-Charles Cisinski (Toulouse) Martin Gallauer Alves de Souza (Zurich) Moritz Groth (MPIM) Fritz Hörmann (Freiburg) Georges Maltsiniotis (Jussieu) Kate Ponto (Kentucky) George Raptis (Regensburg) Jan Stovicek (Prague) Gonçalo Tabuada (MIT) (confirmation pending) It will have a workshop format with introductory talks during the first day. Hence, anyone potentially interested in derivators can catch up on the talks on the current state of the art and applications planned for the following days. There will be room for a very limited amount of contributed talks. We can also offer some grants covering lodging and/or the conference fee (75€). A web page with this and other relevant information will be ready very soon, but you can already register by sending an email to congres.dab2015(a)ub.edu indicating: Full name: Institution: Do you need help to find an accommodation? If so, please indicate your expected arrival/departure dates: Would you like to present a contributed talk? Would you like to apply for a grant? Best regards, — The organizing committee Leo Alonso (Santiago de Compostela) Carles Casacuberta (Barcelona) Ana Jeremías (Santiago de Compostela) Georges Maltsiniotis (Jussieu) Fernando Muro (Sevilla) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD position available
by Alex Simpson 08 May '15

08 May '15

I would be happy to receive applications for the position below from students with an interest in category theory. --- A position is available for a PhD student at the University of Ljubljana in the general research area of modelling and reasoning about computational effects. The precise topic is flexible, and will be decided in combination with the student. The PhD will be supervised by Alex Simpson who is Professor of Computer Science at the Faculty of Mathematics and Physics: http://www.fmf.uni-lj.si/si/imenik/32646/ The position will be funded by the EffMath project (see http://math.andrej.com/wp-content/uploads/2014/11/description.pdf) Full tuition & stipend will be provided. Applicants should have a master's (or equivalent) degree in either mathematics or computer science, and possess some background knowledge relevant to the project area. No knowledge of the Slovene language is required. The student will officially enrol in October 2015 at the University of Ljubljana, which is the largest university in Slovenia. There is an active research group in foundations of computer science at the Faculty of Mathematics and Physics, which includes Andrej Bauer, Matija Pretnar, Alex Simpson and a number of PhD students. As a city, Ljubljana is a beautiful and lively cultural centre, and Slovenia is a welcoming and picturesque country. Interested candidates should contact me by email (Alex.Simpson(a)fmf.uni-lj.si) as soon as possible. Please include a short CV and a statement of interest. Thanks, Alex [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0