GI

43rd annual meeting of the German Informatics Society – Applying Mechanised Reasoning in Economics Koblenz

http://informatik2013.de/

Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts

http://www.cs.bham.ac.uk/research/projects/formare/events/informatik2013/

Tutorial at Informatik 2013 – Computer science adapted to humans, organization and the environment, 43rd annual meeting of the German Informatics Society (Gesellschaft fuer [...]

First CiE-IFCoLog Student Session

First CiE-IFCoLog Student Session

18-23 June 2012, University of Cambridge.

In conjunction with CiE 2012, TURING CENTENARY CONFERENCE – How the World Computes

Important Dates 21 May 2012: Submission deadline 31 May 2012: Author notification 21 June 2012: Student Session Programme The session will be held on Thursday, 21 June, at the Cockcroft Lecture Theater, [...]

Faculty Positions: Larnaca

Faculty Positions in Computer Science Intercollege Larnaca Cyprus

Submissions: 13 May 2010

http://www.intercollege-larnaca.com

The Department of Computer Science of Intercollege Larnaca invites applications for full-time faculty at the Assistant and Associate Professor level, to teach undergraduate and postgraduate courses in some of the following areas:

* Algorithms and Theory of Computation * Databases [...]

Intercollege Larnaca Cyprus

Faculty Positions in Computer Science Intercollege Larnaca Cyprus

Submissions: Thursday, 13 May 2010

www.intercollege-larnaca.com

The Department of Computer Science of Intercollege Larnaca invites applications for full-time faculty at the Assistant and Associate Professor level, to teach undergraduate and postgraduate courses in some of the following areas:

Algorithms and Theory of Computation Databases Computer Architecture Operating [...]

Letter of Protest from the International Federation of Computational Logic

Dear Prof Jan Palmowski, Head of School for Arts and Humanities Prof Rich Trainor, Principal of Arts and Science Prof Keith Hoggart, Vice Principal of Arts and Sciences Mr Chris Mottershead, Vice Principal of Research and Innovation King’s College, London

I am writing to express the concern of the International Federation for Computational Logic for [...]

Citing URLs with BibLaTeX and AUCTeX

I recently switched to BibLaTeX and also convinced Michael. Key advantages are: a huge supply of entry types and fields, comprehensive customizability, better Unicode awareness, and an exhaustive documentation. Among the best features is that one can now properly cite URLs. Not only is the url field supported (and displayed!) for almost all entry types, [...] [...]

Readably and economically printing LNCS papers

The LNCS format does not print nicely on A4, because the LNCS book pages are much smaller. However, most preprints, your own LNCS papers, and papers you get for reviewing are formatted for A4. Printing one page per sheet wastes a lot of paper for the wide margin, but when you print two pages per [...] [...]

Shiny and productive to-do notes in LaTeX

I found the ultimate setup for to-do notes in LaTeX (of which my current thesis draft has a lot). Traditionally, I’ve been using Michael’s ednotes, but they didn’t look nice and they destroyed the page break by creating footnotes when enabled. Then, I switched to Henrik Skov Midtiby’s todonotes, which look great (thanks to TikZ), [...] [...]