Groups

Planetary Developers Mailing List

1–30 of 755

0 selected

Christoph LANGE

2/8/15

Two fully funded PhD positions on Answering Questions using Web Data

Fraunhofer IAIS is pleased to announce two PhD positions - fully-funded with the EU research project:

unread,

Two fully funded PhD positions on Answering Questions using Web Data

Fraunhofer IAIS is pleased to announce two PhD positions - fully-funded with the EU research project:

2/8/15

Christoph LANGE

2/8/15

PhD on Question Answering using Web Data (3 positions in Bonn, Germany)

The EIS research group <http://eis.iai.uni-bonn.de/About.html> at the University of Bonn in

unread,

PhD on Question Answering using Web Data (3 positions in Bonn, Germany)

The EIS research group <http://eis.iai.uni-bonn.de/About.html> at the University of Bonn in

2/8/15

Christoph LANGE

12/5/14

15 PhD positions on Question Answering in 4 EU countries; information event 21 Jan @ Bonn, Germany; apply by February

WDAqua (Answering Questions using Web Data), a Marie Skłodowska-Curie International Training Network

unread,

15 PhD positions on Question Answering in 4 EU countries; information event 21 Jan @ Bonn, Germany; apply by February

WDAqua (Answering Questions using Web Data), a Marie Skłodowska-Curie International Training Network

12/5/14

Christoph LANGE

10/9/14

Postdoc position on Linked Data / Enterprise Information Integration at Uni Bonn & Fraunhofer IAIS

*** One or more Post-doctoral Researcher / Research Group Leader position in Linked Data / Enterprise

unread,

Postdoc position on Linked Data / Enterprise Information Integration at Uni Bonn & Fraunhofer IAIS

*** One or more Post-doctoral Researcher / Research Group Leader position in Linked Data / Enterprise

10/9/14

Christoph LANGE

7/3/14

Several PhD positions on Linked Data / Enterprise Information Integration at Uni Bonn & Fraunhofer IAIS

*** Several PhD positions in Linked Data / Enterprise Information Integration *** at Uni Bonn &

unread,

Several PhD positions on Linked Data / Enterprise Information Integration at Uni Bonn & Fraunhofer IAIS

*** Several PhD positions in Linked Data / Enterprise Information Integration *** at Uni Bonn &

7/3/14

Michael Kohlhase

6/19/14

MathUI'14 Call for Participation (Programme Online)

Dear all (sorry for multiple copies), please consider to attend*MathUI'14*: ---------------------

unread,

MathUI'14 Call for Participation (Programme Online)

Dear all (sorry for multiple copies), please consider to attend*MathUI'14*: ---------------------

6/19/14

6/3/14

RFP: Open Access Transformation

This looks like something the KWARC group might leverage: http://www.dfg.de/foerderung/

unread,

RFP: Open Access Transformation

This looks like something the KWARC group might leverage: http://www.dfg.de/foerderung/

6/3/14

James W PITMAN (via Google Docs)

5/30/14

Ownership and control of mathematical information (planetary-dev@googlegroups.com)

I've shared an item with you. Dear Planetary-dev people. I'm not sure if this works, sharing

unread,

Ownership and control of mathematical information (planetary-dev@googlegroups.com)

I've shared an item with you. Dear Planetary-dev people. I'm not sure if this works, sharing

5/30/14

Ginev, Deyan Ivelinov, … Joe Corneli20

5/16/14

[FYI] Open-access peer-review on top of arXiv

> In the 2nd category of WDML, such attribution seems easy to > guarantee; in the 1st category

unread,

[FYI] Open-access peer-review on top of arXiv

> In the 2nd category of WDML, such attribution seems easy to > guarantee; in the 1st category

5/16/14

Michael Kohlhase

5/13/14

Final Call for Papers: MathUI'14 (New Deadline: 2014/05/22)

Dear all (sorry for multiple copies), please consider to contribute to *MathUI'14*: 9th

unread,

Final Call for Papers: MathUI'14 (New Deadline: 2014/05/22)

Dear all (sorry for multiple copies), please consider to contribute to *MathUI'14*: 9th

5/13/14

5/12/14

TrueShelf and Open Problems in Math

While sharing links, have you seen TrueShelf (Problem sharing site) http://trueshelf.com/ Open

unread,

TrueShelf and Open Problems in Math

While sharing links, have you seen TrueShelf (Problem sharing site) http://trueshelf.com/ Open

5/12/14

Michael Kohlhase

5/11/14

First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)

26th OpenMath Workshop Coimbra, Portugal July 7. 2014 co-located with CICM 2014 Submission deadline 7

unread,

First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)

26th OpenMath Workshop Coimbra, Portugal July 7. 2014 co-located with CICM 2014 Submission deadline 7

5/11/14

Joe Corneli, Aaron Krowne5

3/29/14

Let's meet! (Re: [NNexus] Where do you draw the line?)

Yikes, sorry to hear that Aaron! On Sat, Mar 29, 2014 at 4:31 PM, Aaron Krowne <akr...@gmail.com

unread,

Let's meet! (Re: [NNexus] Where do you draw the line?)

Yikes, sorry to hear that Aaron! On Sat, Mar 29, 2014 at 4:31 PM, Aaron Krowne <akr...@gmail.com

3/29/14

Deyan Ginev, Joe Corneli2

3/19/14

[NNexus] Where do you draw the line?

Deyan, thanks! I guess we need a little meta-mathematical lexicon. :-) I've been working on one

unread,

[NNexus] Where do you draw the line?

Deyan, thanks! I guess we need a little meta-mathematical lexicon. :-) I've been working on one

3/19/14

Joe Corneli, … Deyan Ginev6

2/22/14

Fwd: ShareLaTeX is now open source!

The things you discover while you go through their (ShareLaTeX's) current GitHub issues...

unread,

Fwd: ShareLaTeX is now open source!

The things you discover while you go through their (ShareLaTeX's) current GitHub issues...

2/22/14

Joe Corneli, Bruce Miller2

2/3/14

rendering mathml with a text-based browser

On 02/01/2014 09:05 AM, Joe Corneli wrote: > I wonder... what are the prospects of getting

unread,

rendering mathml with a text-based browser

On 02/01/2014 09:05 AM, Joe Corneli wrote: > I wonder... what are the prospects of getting

2/3/14

Joe Corneli, Mihnea Iancu5

11/29/13

jobad - localcomments module

Thanks Mihnea! Our concern is less about having the greatest version of localcomments, and more about

unread,

jobad - localcomments module

Thanks Mihnea! Our concern is less about having the greatest version of localcomments, and more about

11/29/13

Joe Corneli, Ginev, Deyan Ivelinov2

11/16/13

did I mention this work from Gowers to you?

Hi Joe, Well what they have is pretty analogous to our book concept in the first place, isn't it?

unread,

did I mention this work from Gowers to you?

Hi Joe, Well what they have is pretty analogous to our book concept in the first place, isn't it?

11/16/13

11/13/13

neat github issue trick: task lists

See: https://github.com/KWARC/planetary/issues/439 Syntax is: - [ ] My uncompleted list item - [x]

unread,

neat github issue trick: task lists

See: https://github.com/KWARC/planetary/issues/439 Syntax is: - [ ] My uncompleted list item - [x]

11/13/13

Joe Corneli, … Mihnea Iancu8

11/11/13

JOBAD integration - a simple question

Dear all: We have a new volunteer interested in working on Planetary, Murray, whom I've CC'ed

unread,

JOBAD integration - a simple question

Dear all: We have a new volunteer interested in working on Planetary, Murray, whom I've CC'ed

11/11/13

Ginev, Deyan Ivelinov

10/31/13

RE: fiduswriter - the funding edition

Hi Joe, First, congratulations on your new position and best of success! Maybe we see each other in

unread,

RE: fiduswriter - the funding edition

Hi Joe, First, congratulations on your new position and best of success! Maybe we see each other in

10/31/13

10/4/13

possibly interesting: fiduswriter, a collaborative editor with math support

You can try it online, only in chrome though. Some discussion about MathJaX features here: http://

unread,

possibly interesting: fiduswriter, a collaborative editor with math support

You can try it online, only in chrome though. Some discussion about MathJaX features here: http://

10/4/13

Christoph LANGE

10/3/13

2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning'

Call for Papers for a Special Issue of MATHEMATICS IN COMPUTER SCIENCE ENABLING DOMAIN EXPERTS TO USE

unread,

2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning'

Call for Papers for a Special Issue of MATHEMATICS IN COMPUTER SCIENCE ENABLING DOMAIN EXPERTS TO USE

10/3/13

10/2/13

informative comments on website design

http://meta.slashdot.org/story/13/10/01/1849218/come-try-out-slashdots-new-design-in-beta

unread,

informative comments on website design

http://meta.slashdot.org/story/13/10/01/1849218/come-try-out-slashdots-new-design-in-beta

10/2/13

9/27/13

Wikimedia Individual Engagement Grant: PlanetMath Books Project

Dear Planetary Dev Team: Raymond Puzio and I have put together a technically-focused grant proposal

unread,

Wikimedia Individual Engagement Grant: PlanetMath Books Project

Dear Planetary Dev Team: Raymond Puzio and I have put together a technically-focused grant proposal

9/27/13

Joe Corneli, Deyan Ginev8

9/7/13

little green plus

A quick question on StackOverflow seems to reveal the "right way" to do this: http://api.

unread,

little green plus

A quick question on StackOverflow seems to reveal the "right way" to do this: http://api.

9/7/13

9/5/13

google analytics module installed on PM

Dear all, particularly Constantin: We had talked about installing an open source analytics system,

unread,

google analytics module installed on PM

Dear all, particularly Constantin: We had talked about installing an open source analytics system,

9/5/13

Joe Corneli, Deyan Ginev7

9/4/13

latest editor deployed on PM

Hi Joe, I can only sympathize with you for having to deal with JS dependency hell, especially having

unread,

latest editor deployed on PM

Hi Joe, I can only sympathize with you for having to deal with JS dependency hell, especially having

9/4/13

9/3/13

fyi: drush development moved to github

Just noticed this today, it's cool: https://github.com/drush-ops/drush/issues

unread,

fyi: drush development moved to github

Just noticed this today, it's cool: https://github.com/drush-ops/drush/issues

9/3/13

9/2/13

flaws in the latex/nnexus conversion logic & rich text / plain text behavior

NNexus is called as a sub-process of LaTeXML, and LaTeXML is only triggered when the rich text editor

unread,

flaws in the latex/nnexus conversion logic & rich text / plain text behavior

NNexus is called as a sub-process of LaTeXML, and LaTeXML is only triggered when the rich text editor

9/2/13

Search

Clear search

Close search

Google apps

Main menu