April 2016 - Categories - categories.org.au

YaMCATS 7 University of Leicester 10 May 2016
by Paoli, Simona (Dr.) 29 Apr '16

29 Apr '16

Dear Colleagues, the next meeting of the Yorkshire and Midlands Category Seminar will take place at the University of Leicester on Tuesday 10 May 2016. This meeting will consist of a mini-course with one speaker, as follows: Speaker: Mark Weber (Macquarie University) Title: Towards a direct algebraic understanding of homotopy types. Further details of the meeting are available at the YaMCATS website http://tinyurl.com/nz69ttk The meeting is open to all and everybody is welcome. Best regards, The YaMCATS organizers Nicola Gambino (University of Leeds) Nick Gurski (University of Sheffield) Simona Paoli (University of Leicester) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

1-year teaching / research position
by Steve Awodey 29 Apr '16

29 Apr '16

PostDoc and/or Sr. Researcher Position in Homotopy Type Theory / Category Theory Carnegie Mellon University/Philosophy Department One year PostDoc and/or Senior Researcher Position in Homotopy Type Theory, start date August 1, 2016 or negotiable. The research group in Homotopy Type Theory in the Philosophy Department at Carnegie Mellon University seeks a one year postdoctoral researcher with 50% teaching duty, consisting of one course per semester on Category Theory and Categorical Logic. There is also a possibility for a visiting professor (open rank), with or without teaching duties. Position could begin August 2016 or January 2017, with a possibility of renewal for an additional year. Candidates should have a research background in relevant areas. Questions about the position can be directed to Professor Steve Awodey: awodey(a)cmu.edu. Candidates should submit a CV including teaching experience and a research statement to CMUPhilosophy(a)andrew.cmu.edu. More Information: Please visit “Why Carnegie Mellon” to learn more about becoming part of an institution inspiring innovations that change the world. A listing of employee benefits is available at: http://www.cmu.edu/jobs/benefits-at-a-glance/index.html Department URL: https://www.cmu.edu/dietrich/philosophy/ Primary Location: United States-Pennsylvania-Pittsburgh Time Type: Full Time Minimum Education Level: Doctorate or equivalent Salary: According to Rank Carnegie Mellon University does not discriminate in admission, employment, or administration of its programs or activities on the basis of race, color, national origin, sex, handicap or disability, age, sexual orientation, gender identity, religion, creed, ancestry, belief, veteran status, or genetic information. Furthermore, Carnegie Mellon University does not discriminate and is required not to discriminate in violation of federal, state, or local laws or executive orders. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016
by Jeremy.Gibbons＠cs.ox.ac.uk 26 Apr '16

26 Apr '16

SUMMER SCHOOL ON BIDIRECTIONAL TRANSFORMATIONS Lady Margaret Hall, Oxford, UK 25th to 29th July 2016 http://www.cs.ox.ac.uk/projects/tlcbx/ssbx/ TOPIC Bidirectional transformations (BX) are means of maintaining consistency between multiple information sources: when one source is edited, the others may need updating to restore consistency. BX have applications in databases, user interface design, model-driven development, and many other domains. This summer school is one of the closing activities on the "Theory of Least Change for BX" project at Oxford and Edinburgh (http://www.cs.ox.ac.uk/projects/tlcbx/) It brings together leading researchers in BX, spanning theory and practice, for a week of lectures in beautiful Oxford. It will be aimed at doctoral students in computer science, but will also be suitable for strong master's students and for researchers. LECTURERS Anthony Anjorin, University of Paderborn, DE "Bx with Triple Graph Grammars" Martin Hofmann, Ludwig-Maximilians-Universitaet Muenchen, DE "Modular Edit Lenses" Zhenjiang Hu, National Institute of Informatics, JP "Principles and Practice of Putback-based Bidirectional Programming in BiGUL" Mike Johnson, Macquarie University, AU "Mathematical Foundations of Bidirectional Transformations" Richard Paige, University of York, UK "Engineering Bidirectional Transformations" The TLCBX team, Universities of Edinburgh and Oxford, UK will introduce, say a bit about TLCBX results, and conclude VENUE The school will take place at Lady Margaret Hall (http://www.lmh.ox.ac.uk/) in leafy North Oxford, right next to the University Parks and the River Cherwell and a short walk from the City Centre. LMH is one of the constituent colleges of the University of Oxford; it was founded in 1878 as the first women's college in Oxford. Our lectures will take place in the splendid Simpkins Lee Theatre in the Pipe Partridge Building, completed in 2010. REGISTRATION Details to follow - please keep an eye on the webpage. The Summer School is financially partially supported by EPSRC, and we hope to keep costs low: an early registration fee of ?200 (or ?150 for students) if booked before the early registration deadline of 10th June, rising to ?250 (or ?200 for students) after that point. The registration fee includes lunches, coffee breaks, and a banquet one evening. We have reserved bed-and-breakfast accommodation in college, at ?62.50 per night in an ensuite room, ?58 per night standard; those rooms will be released after the early registration deadline, after which point there will be no guarantee of accommodation. Space is limited; there is room for 40 students. FURTHER INFORMATION More information is on the summer school webpage: http://www.cs.ox.ac.uk/projects/tlcbx/ssbx/ For questions about registration or administrative matters, please contact Karen.Barnes(a)cs.ox.ac.uk. For questions about academic matters, please contact any of the organizers: Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens * Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD positions at the ILLC in Amsterdam
by Benno van den Berg 25 Apr '16

25 Apr '16

Dear category theorists, The ILLC currently has two PhD positions available at the Faculty of Science starting on 1 September 2016 (or as soon after that as possible). Applications are now invited from excellent candidates wishing to conduct research in an area within ILLC that fits naturally in the Faculty of Science. The deadline for applications is 15 May 2016. More information can be found via the ILLC web page, or directly on http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-176… or www.academictransfer.com/33520 Interested candidates should not hesitate to contact me if they have questions. Best wishes, Benno van den Berg [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Ph.D. Position in Security Modeling at IRISA in Rennes, France
by Barbara Kordy 22 Apr '16

22 Apr '16

Looking for a Ph.D. thesis that combines computer security and mathematics? IRISA, the computer science laboratory of Rennes in France, seeks to hire an outstanding Ph.D. student to perform research in the field of formal modeling and analysis of security. The position is within the project entitled "Attack-Defense Trees for Computer Security: Formal Modeling of Preventive and Reactive Countermeasures". Description of work --------------------- Attack-defense trees constitute a methodology to represent how an attacker may compromise a system and how a defender can protect it against potential attacks. The project's objective is to increase the expressive power of attack-defense trees by integrating reactive countermeasures into the formalism. The main tasks of the Ph.D. student will be to - Develop mathematical foundations for attack-defense trees distinguishing between protective and reactive countermeasures; - Propose quantitative evaluation techniques for attack-defense trees with protective and reactive countermeasures; - Validate the extended model in real-life case studies performed in collaboration with industry; - Co-supervise master students. A detailed description of the thesis topic is available at http://people.irisa.fr/Barbara.Kordy/vacancies.php Candidate's profile -------------------- The candidate is expected to have: - A Master degree in computer science or mathematics; - A proven interest in formal methods and formal modeling; - Excellent written and oral English skills. Background in computer security will be a plus. Knowledge of French is not required. Work environment ----------------- We offer a three year appointment funded by the French Ministry of Higher Education and Research. The successful candidate will participate in the activities of the Embedded Security and Cryptography (EMSEC) research team (http://www.irisa.fr/emsec/) co-led by Prof. Dr. Gildas Avoine and Prof. Dr. Pierre-Alain Fouque. The student will be supervised jointly by Dr. Barbara Kordy (http://people.irisa.fr/Barbara.Kordy/) and Prof. Gildas Avoine (http://www.avoine.net/) IRISA (https://www.irisa.fr/en) is located in Rennes at the heart of the beautiful Brittany region in the north-west of France. Rennes is situated 60km from the Atlantic Ocean, 60km from the UNESCO World Heritage Site of Mont Saint-Michel, and 70km from the charming city of Saint Malo. Direct high-speed rail service (TGV) connects Rennes with the center of Paris within 2 hours and with the France's largest international airport Paris Charles de Gaulle (CDG) within 3 hours. Application --------------- Applications should be written in English and include the following documents: - Motivation letter clearly explaining the candidate's interest in the proposed topic and his/her fit to the position; - Curriculum Vitae (including contact information, education and work experience, short description of the master thesis, list of publications, etc.); - Transcript of grades from all university-level courses taken; - Contact information for 2 referees. Applications will be considered on a rolling basis until the position is filled. Documents should be submitted by e-mail to Dr. Barbara Kordy (barbara.kordy(a)irisa.fr) Contact information ----------------------- For further inquiries please contact Dr. Barbara Kordy (barbara.kordy(a)irisa.fr) For more information about this vacancy please check http://people.irisa.fr/Barbara.Kordy/vacancies/PhD_16.pdf [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Survey of math publishing priorities
by David Roberts 21 Apr '16

21 Apr '16

[Note from moderator: This may be interesting to some readers, but as suggested, is not for further discussion. Thanks, Bob ] Dear all, [this is not exactly on-topic, but it impacts us all, and I ask the moderator to let this through, though not for the purposes of discussion.] The below-linked survey is looking for maximum coverage to determine the attitudes among the mathematical community to publishing in order to inform developments that will ideally lead to positive changes. Note that you do not have to have strong views on publishing to fill it out, the idea is to get an *accurate* view, not just one of the vocal minority. Many thanks, David === Dear colleague: please answer this *anonymous* survey if and only if you have been involved with a mathematical journal as editor, reviewer/referee, author or reader in the last 3 years. By "mathematical" we also mean to include theoretical computer science journals and disciplinary journals used by applied mathematicians. Essentially, any journal covered by Mathematical Reviews qualifies. This survey is run by Mark Wilson (mcw(a)cs.auckland.ac.nz) on behalf of an international group of researchers and librarians interested in improving overall performance of the publication system in mathematics and other subjects. Its results will be made public later this year. Our estimate for completion time is 15 minutes. I've invited you to fill out the form Survey of mathematical publishing priorities. To fill it out, visit: https://docs.google.com/forms/d/1r4LBUJk1VF9e4Dl4aXgS4fW-O8HR9yz1cqmXdzz0Cj… -- David Roberts http://ncatlab.org/nlab/show/David+Roberts [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

3 PhD studentships available
by Mehrnoosh Sadrzadeh 20 Apr '16

20 Apr '16

The School of Electronic Engineering and Computer Science (EECS) of Queen Mary University of London has 3 PhD studentships available for applicants of any nationality. Details are available here; the deadline for application is 6th May: http://www.jobs.ac.uk/job/ANK779/phd-studentships-in-electronic-engineering… The school has a Computational Linguistics lab, at the intersection of our Theoretical Computer Science and Cognitive Science research groups, and we are happy to discuss proposals in computational linguistics and natural language processing, particularly relating to our research in dialogue modelling and compositional distributional semantics. Please see our web pages for more information, and contact either Matthew Purver or Mehrnoosh Sadrzadeh with any questions: http://compling.eecs.qmul.ac.uk Best, Matthew Purver - http://www.eecs.qmul.ac.uk/~mpurver/ Mehrnoosh Sadrzadeh - http://www.eecs.qmul.ac.uk/people/view/33472/dr-mehrnoosh-sadrzadeh Computational Linguistics Lab - http://compling.eecs.qmul.ac.uk/ Cognitive Science Research Group - http://cogsci.eecs.qmul.ac.uk/ Theory Research Group - http://theory.eecs.qmul.ac.uk School of Electronic Engineering and Computer Science Queen Mary University of London, London E1 4NS, UK [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc positions at CMUC, Coimbra
by Maria Manuel Clementino 19 Apr '16

19 Apr '16

================= POSTDOC POSITIONS ================= The Centre for Mathematics of the University of Coimbra invites applications for three one-year Postdoctoral research grants, starting September 2016. For more information see the announcement in the following address: http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=75274 Application deadline: June 3, 2016. Regards, Maria Manuel Clementino [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MFPS 2016, CMU May 23-26, REGISTRATION NOW OPEN
by Lars Birkedal 19 Apr '16

19 Apr '16

Dear All, The 32nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII) will take place on the campus of the Carnegie Mellon University, Pittsburgh, USA, between 23 and 26 May 2016. REGISTRATION, LOCAL INFORMATION, and SCHEDULE IS NOW ONLINE AT http://conferences.au.dk/mfps-2016/ I hope to see you in Pittsburgh! Lars Birkedal (PC Chair for MFPS 2016) ######################################################################## To unsubscribe from the MFPS-L list, click the following link: https://listserv.tulane.edu/cgi-bin/wa?SUBED1=MFPS-L&A=1 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Final announcement for program on higher structures at MATRIX
by Philip Hackney 19 Apr '16

19 Apr '16

This is the final call for registrations for the program on higher structures in geometry and physics to be held at MATRIX [http://www.matrixatmelbourne.org.au] (a new research institute outside of Melbourne, VIC, Australia) from June 5 — 18, 2016. Registration should be done at [http://www.matrixatmelbourne.org.au/events/higher-structures-in-geometry-an…] by April 30. Workshop June 6 — 10. Higher Structures. Clark Barwick: Parametrised Higher Category Theory and Parametrised Higher Algebra Philip Hackney & Marcy Robertson: infinity properads Ralph Kaufmann: Feynman categories Martin Markl: Operad-like structures, pasting schemes and graph complexes Emily Riehl: weak complicial sets Victor Turchin: Embedding calculus and the little discs operads Conference June 15 — 17. Higher Structures: Advances. Best regards, Philip Hackney and Marcy Robertson [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0