Luca Spada | 17 Dec 10:16 2014
Picon

TACL2015 call for extended abstracts

------------------------------------------------------------------------------------------------

                                    [Apologies for multiple copies]

============================================================================================
   TOPOLOGY, ALGEBRA, AND CATEGORIES IN LOGIC (TACL2015)
                                  School & Conference
 	                       Call for extended abstracts
============================================================================================
               School: 15 - 19 June 2015, University of Salerno (Italy)
               Conference: 21 - 26 June 2015, Ischia Island (Italy)

                               http://logica.dmi.unisa.it/tacl/

Scope
---------
Studying logics via semantics is a well-established and very active branch of mathematical logic, with
many applications, in computer science and elsewhere. The area is characterised by results, tools and
techniques stemming from various fields, including universal algebra, topology, category theory,
order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting
mathematical themes central to the semantic study of logics and their applications: algebraic,
categorical, and topological methods. This is the seventh conference in the series Topology, Algebra,
and Categories in Logic (TACL). Earlier instalments of this conference have been organised in Tbilisi
(2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseilles (2011), and Nashville (2013).

Starting from 2013, the conference is preceded by a one-week school.  This year the school will be held at the
campus of the University of Salerno and will include four tutorials, each consisting of 2 hour lectures
for four days.  

Featured topics
(Continue reading)

Jeremy Gibbons | 16 Dec 12:10 2014
Picon
Picon

Nominations for John C Reynolds Distinguished Dissertation Award

(On behalf of Sue Eisenbach, to whom queries should be addressed. Nomination deadline is 4th Jan. My
apologies for the short notice. -jg)

    *

Dear all,

If you have a student who has completed an outstanding programming language PhD thesis in the academic year
2014, can I recommend that the student be proposed for consideration for SIGPLAN’s best PhD award, the
John C Reynolds Doctoral Dissertation Award?

   http://www.sigplan.org/Awards/Dissertation/

As a chair of a hiring committee, I know that winning such prizes, and even being nominated for such prizes,
makes the potential candidate stand out. 

Best wishes,
Susan
--
Professor Susan Eisenbach         
Head, Department of Computing
Imperial College London
Huxley Building
South Kensington Campus
London SW7 2AZ, U.K.

Phone:+44-20 7594 8264
Fax:  +44-20 7594 8282
Web:  http://www.doc.ic.ac.uk/~susan
Email: mailto:s.eisenbach <at> imperial.ac.uk
(Continue reading)

Marino Gran | 15 Dec 21:23 2014
Picon

New Editorial Board of the "Cahiers"

Dear Colleagues,

It is a pleasure to announce that the Editorial Board of the "Cahiers de 
Topologie et Geometrie Differentielle Categoriques" will be enlarged and 
modified as follows, starting from January 2015:

Chief Editors: Ehresmann Andree, Gran Marino, Guitart Rene

Editors: Adamek Jiri, Berger Clemens, Bunge Marta, Clementino Maria Manuel, 
Janelidze Zurab, Johnstone Peter, Kock Anders, Lack Stephen, Mantovani Sandra, 
Porter Tim, Pradines Jean, Riehl Emily, Street Ross.

The "Cahiers" were created in 1957 under the initial title "Seminaire 
Ehresmann. Topologie et Geometrie Differentielle", published in the series of 
the "Seminaires de l'Institut Henri Poincare". Starting from Volume II, they 
appeared as an independent publication, the title becoming "Cahiers de 
Topologie et Geometrie Differentielle" in 1966. In 1984 the present name 
"Cahiers de Topologie et Geometrie Differentielle Categoriques" was chosen, 
underlying the continuity with the origin of the journal, and also the natural 
change consisting in placing category theory at the centre of the journal. The 
"Cahiers" is a journal which, since its foundation, is under the only 
responsibility of its Chief-Editor(s). Since 1975, this journal has only lived 
thanks to its subscriptions, without any external subvention or material help.

The enlargement of the Editorial Board aims at including a new generation of 
mathematicians and opening the journal to some new research areas where 
category theory is developing and is being applied. The main research subject 
of the journal remains pure category theory, together with its applications in 
topology, differential geometry, algebraic geometry, universal algebra, 
homological algebra, and algebraic topology.
(Continue reading)

Dan Christensen | 15 Dec 16:14 2014
Picon

postdoctoral positions at U. Western Ontario

[Please forward as appropriate.]

UWO plans to hire several postdocs to start in 2015, with an
application deadline of January 5.  I have included the ad below.

Applicants in higher category theory, homotopy type theory, homotopy
theory and its applications, and other areas represented in the
department would be particularly welcome.

Our department has a very active postdoctoral program.  There are
currently 12 postdoctoral fellows, many of whom will be continuing
next year, so there will be a lot going on.  We also have a busy
seminar schedule with many visitors.  More information about the
department is available at  http://www.math.uwo.ca/

The positions have a reduced teaching load of just two half-courses.
A "half-course" is a 13-week course meeting for 3 or 4 hours each week.
Note also that the cost of living in London is quite low.

Feel free to direct any questions to either Rick Jardine or myself.

-------------

The University of Western Ontario Department of Mathematics

Postdoctoral Fellowships

The Department of Mathematics at the University of Western Ontario has
three postdoctoral positions available, in any area of Mathematics
that is represented within the Department.
(Continue reading)

Bob Rosebrugh | 16 Dec 04:13 2014
Picon

BOUNCE categories <at> mta.ca: Approval required: (fwd)

From: Marino Gran <marino.gran <at> uclouvain.be>
Subject: New Editorial Board of the "Cahiers"
Date: Mon, 15 Dec 2014 21:23:39 +0100
To: categories <at> mta.ca

Dear Colleagues,

It is a pleasure to announce that the Editorial Board of the "Cahiers de 
Topologie et Geometrie Differentielle Categoriques" will be enlarged and 
modified as follows, starting from January 2015:

Chief Editors: Ehresmann Andree, Gran Marino, Guitart Rene

Editors: Adamek Jiri, Berger Clemens, Bunge Marta, Clementino Maria 
Manuel, Janelidze Zurab, Johnstone Peter, Kock Anders, Lack Stephen, 
Mantovani Sandra, Porter Tim, Pradines Jean, Riehl Emily, Street Ross.

The "Cahiers" were created in 1957 under the initial title "Seminaire 
Ehresmann. Topologie et Geometrie Differentielle", published in the series 
of the "Seminaires de l'Institut Henri Poincare". Starting from Volume II, 
they appeared as an independent publication, the title becoming "Cahiers 
de Topologie et Geometrie Differentielle" in 1966. In 1984 the present 
name "Cahiers de Topologie et Geometrie Differentielle Categoriques" was 
chosen, underlying the continuity with the origin of the journal, and also 
the natural change consisting in placing category theory at the centre of 
the journal. The "Cahiers" is a journal which, since its foundation, is 
under the only responsibility of its Chief-Editor(s). Since 1975, this 
journal has only lived thanks to its subscriptions, without any external 
subvention or material help.

(Continue reading)

Alessio Guglielmi | 14 Dec 17:47 2014
Picon

3.5-year PhD positions from October 2015 at the University of Bath

We offer 3.5-year PhD positions in mathematics and theoretical computer science. Applicants should have
or expect to gain at least the equivalent of a 2.1 BSc/MSc in a relevant subject area and must satisfy RCUK
residency rules for the full studentship (fees + stipend).

Deadline: 28 February 2015, but applications are processed as they are received.

Research team:

     Mathematical Foundations of Computation
     (Proofs, Categories, Semantics, Geometry, Computer Algebra and Cryptography)
     http://www.bath.ac.uk/comp-sci/research/mathematical-foundations/

Institution:

     University of Bath

Potential supervisors:

     Russell Bradford   http://is.gd/Y5XgCG
     Paola Bruscoli     http://cs.bath.ac.uk/pb
     James Davenport    http://staff.bath.ac.uk/masjhd
     Alessio Guglielmi  http://alessio.guglielmi.name
     Willem Heijltjes   http://cs.bath.ac.uk/~wbh22
     Jim Laird          http://cs.bath.ac.uk/~jl317
     Guy McCusker       http://cs.bath.ac.uk/~gam23
     John Power         http://is.gd/U82foN
     Nicolai Vorobjov   http://people.bath.ac.uk/masnnv/

To apply, including information on prerequisites:
     http://www.bath.ac.uk/science/graduate-school/research-programmes/phd-computer-science/
(Continue reading)

Fred E.J. Linton | 13 Dec 10:19 2014
Picon
Picon

Achieving "neither P nor not P"

Here's a thought that may seem a bit off-topic, having more to do, 
at first glance, with "paradoxical" logic than with categories.

Eleven years ago, for a conference in Bangalore [1], I was trying to 
present natural-seeming examples of statements P each illustrating 
another of the four distinct, mutually exclusive, jointly exhaustive, 
and individually indispensable "logical possibilities" thought available 
for P in the logic of the Hindu catuskoti, or Tetralemma principle: that,
given P, one have either P, or ~P, or both P and ~P, or neither P nor ~P.

(Note that an Aristotelean would hold that already P and ~P are mutually 
exclusive and jointly exhaustive, so that the last two are simply false,
hence utterly dispensable.)

The only illustrations I could come up with back then for a P with 
"neither P nor ~P" always struck me as somewhat artificial; so that 
I was greatly heartened, recently, to stumble on a far more natural 
illustration as outgrowth of a discussant's sardonic comment, concluding 
his remarks on how contemporary web page design strategies needed to be 
modified to take into account the fact that *touch* is more and more 
replacing *mouse cursor and click* as the user interface of choice: 

"Change is good."

Well, he didn't mean it, of course: he said it entirely tongue-in-cheek. 
But it hit me: that's a superb illustration of a P with "neither P nor ~P":
for, in fact (in my view), such "change" is neither good nor not good -- it 
just is, and may need to be accommodated :-) ).

Enjoy! And cheers, -- Fred
(Continue reading)

Jiří Rosický | 13 Dec 10:02 2014
Picon

research positions

The Eduard Cech center had been established in 2005 and, since 2012, it  continues as the national
research center focusing its attention to interactions between algebra, geometry, and mathematical
physics. The participating institutions are Faculty of Science of Masaryk University in Brno,
Faculty of Mathematics and Physics of the Charles University in Prague, Institute of Physics
of the Academy of Sciences of the Czech Republic and the Mathematics Institute of the Silesian
University in Opava (see http://eci.sci.muni.cz).

The Center invites applications for several research positions commencing during the academic year
2015/2016 at the date depending on mutual agreement. The positions are initially for one year
with a possibility of extension. The candidates must be recent PhD's and should submit a letter
of application accompanied by a CV, list of publications and an outline of their research project
to Professor Jiri Rosicky (rosicky <at> math.muni.cz) not later than

                                        March 15, 2015.

They should also arrange for at least 2 letters of recommendation (one can be from a Czech
mathematician) to be mailed directly to rosicky <at> math.muni.cz before March 15, 2015. The successful
applicants will be notified as soon as possible but not later than April 30, 2015.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Harley Eades III | 12 Dec 22:56 2014
Picon

Open problems

Hi, everyone.

Dee Roytenberg’s email pushed me to write an email I have been wanting to write
for a bit.

One thing I have been trying to do recently is figure out what the major (and minor)
open problems are with respect to applications of category theory to CS.   I am very
new to this area, and getting an idea of what folks are working on, and what problems
people feel are important will help young researchers learns where to concentrate 
their efforts.

I am thinking perhaps we could compile a list of research topics/open problems in
this area.  I hope some of the experts who read this mailing list would like to add 
their thoughts.

To start us off here are a few that I know of:

1. Homotopy type theory
     - The study of a new interpretation of intensional type theory based in homotopy 
        theory. This line of research has a lot of interesting problems that need to be
        solved, and as applications in the design and analysis of functional programming 
        languages, and software verification. 

2. Databases
     - David Spivak has done a lot of great work applying category theory to the design
       and analysis of databases.  I am not sure what the current major open problems are.

3. Security
     - Dusko Pavlovic currently has a number of projects related to security that use category
       theory either explicitly or are inspired by categorical concepts.  I have read a few of
(Continue reading)

Dee Roytenberg | 11 Dec 23:12 2014
Picon

Re: Applications of (higher) category theory to computer science

Many thanks to everyone who replied, with enough suggestions to fill a
bookshelf!

On Thu, Dec 11, 2014 at 4:45 PM, Kyle Marek-Spartz
<kyle.marek.spartz <at> gmail.com> wrote:
> It's not a book, but the Typeclassopedia, particularly the instances
> sections, might be relevant:
>
> https://www.haskell.org/haskellwiki/Typeclassopedia
>
> Dee Roytenberg writes:
>
>> Dear colleagues,
>>
>> Could someone recommend a good text on the subject? I am aware of the book
>> by Barr and Wells; however, unlike that book, which is intended for
>> computer scientists who want to learn category theory, I am looking for
>> something, in a way, opposite: a source for those who know category theory
>> but not much of computer science.
>>
>> Many thanks in advance.
>>
>> - Dee
>
> --
> Kyle Marek-Spartz

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

(Continue reading)

Dee Roytenberg | 11 Dec 14:38 2014
Picon

Applications of (higher) category theory to computer science

Dear colleagues,

Could someone recommend a good text on the subject? I am aware of the book
by Barr and Wells; however, unlike that book, which is intended for
computer scientists who want to learn category theory, I am looking for
something, in a way, opposite: a source for those who know category theory
but not much of computer science.

Many thanks in advance.

- Dee

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


Gmane