Norbert Preining

Introduction to Gödel Logics
Course at the Fourth Tbilisi Summer School in Logic and Language, September 2008. Tbilisi, Georgia. PDF

[2008-09-29 | /Work/Talks] permanent link

Dublin, the city of books
I just came back from the beautiful (and expensive) city of Dublin. And I must say I am honestly impressed what great collections of nice books they have there. There is of course the Book of Kells, written around 800.

But then there is the Chester Beatty Library which is a jewel. Quoting from their web site:

Egyptian papyrus texts, beautifully illuminated copies of the Qur’an, the Bible, European medieval and renaissance manuscripts are among the highlights of the collection. Turkish and Persian miniatures and striking Buddhist paintings are also on display, as are Chinese dragon robes and Japanese woodblock prints. In its diversity, the collection captures much of the richness of human creative expression from about 2700 BC to the present day.

Go and visit it, it is wonderful. I even saw a book printed by Aldus.

And best of the travel, I visited a country I have never been, so my hit counter increased by one.

[2008-09-18 | /Travel] permanent link

Höhenmedizinischer Spezialkurs Sommer
9.8.-15.8.2008
Wieder eine tolle Woche mit vielen Ärzten am Steingletscher.

[2008-08-09 | /Mountains/Guide] permanent link

Berühmte Ötztaler Gipfel mit Besteigung des Similaun, 3606 m (Summit Club)
13.-19.8.2007
Auf “Ötzis” Spuren: nur Ihre Ausrüstung ist besser als die des Eismanns. Erleben Sie den attraktivsten Teil der Ötztaler Alpen mit 6 Dreitausendern.

[2008-07-13 | /Mountains/Guide] permanent link

Mont Blanc (Mammut Alpine School)
29.6.-4.7.2008
Der höchste Berg Europas ist immer ein beliebtes Ziel.

[2008-06-29 | /Mountains/Guide] permanent link

Continuous Fraissé Conjecture
Talk at the Dipartimento di Filosofia e Scienze Sociali, Università di Siena. May 2008, Siena, Italy. PDF

[2008-05-28 | /Work/Talks] permanent link

Quantified Propositional Gödel Logics.
Talk at Logical Models of Reasoning and Computation LMRC08, May 2008, Steklov Institute, Moscow, Russia. PDF

[2008-05-08 | /Work/Talks] permanent link

Finally Guide
After long years I finished all the exams and can call myself Federal Mountain Guide. It took quite some time, especially since the Austrians didn’t want me (Viennese mountaineers are not very welcomed in western Austria), but in fact I am happy, the courses in Germany were much better and useful than anything I know of the Austrians’. Well, at least the Austrians started to make courses in Chamonix some years ago, a big step forward to learn to know some real mountains … more to come on this topic.

[2008-05-04 | /Mountains] permanent link

The new TeX Live installer
(Joint work with Siep Kroonenberg and Reinhard Kotucha). We presented the new TeX Live installer, based on the new package infrastructure. It includes a text based as well a graphical user interface. Among other new features, installing TeX Live from the internet is now possible. It should work on all platforms supported by TeX Live.

[2008-04-30 | /TeX] permanent link

TeX Live’s new infrastructure.
Many things have changed in the TeX Live world, and finally we got network installation and updates. Basic for all this is the new infrastructure. A quite detailed talk on its basics was given on the Bachotek 2008. in April 2008. The slides of the talks can be found here: PDF.

[2008-04-30 | /TeX] permanent link

TeX Live’s new infrastructure.
Talk at the BachoTeX 2008, April 2008. Bachotek, Poland. PDF

[2008-04-30 | /Work/Talks] permanent link

The new TeX Live installer.
Talk together with Siep Kroonenberg and Reinhard Kotucha at the BachoTeX 2008, April 2008. Bachotek, Poland. PDF

[2008-04-30 | /Work/Talks] permanent link

Frühjahrsskitouren im Raurisertal (Summit Club)
23.3.2008-29.3.2008
WUnderbare Skitouren nicht nur auf Sonnblick und Hocharn, gepaart mit gutem Essen und einer urigen Unterbringung.

[2008-03-23 | /Mountains/Guide] permanent link

Höhenmedizinischer Spezialkurs Winter
8.3.-14.3.2008
Wieder eine tolle Woche mit vielen Ärzten in der Bernina am Berninahospiz.

[2008-03-08 | /Mountains/Guide] permanent link

Schneeschuh-Paradies Fanesalpe (Summit Club)
2.3.2008-8.3.2008
Sonnenverwöhnte Schneeschuhwanderungen in wunderbarer Umgebung.

[2008-03-02 | /Mountains/Guide] permanent link

Traverse of the Totes Gebirge with skis
The last 4 days a friend of mine and me did a nice traverse of the Totes Gebirge in Styria. For four days we didn’t see any human being, but a lot of wildlife. A great area, but in full winter with a lot of snow it was hard work. Günther made a lot of nice photos, a selection can be found here.

[2007-12-19 | /Mountains] permanent link

Fragments of Gödel Logics
Talk at Two and beyond - Barcelona-Vienna Workshop on Truth-Functional Logics, November 2007. Barcelona, Spain.

[2007-11-21 | /Work/Talks] permanent link

First Order Gödel logics.
M. Baaz, N. Preining, and R. Zach. APAL 147:23-47, 2007. PDF.

[2007-10-29 | /Work/Publications] permanent link

Linear Kripke Frames and Gödel Logics.
A. Beckmann, N. Preining. JSL 71(1):26-44, 2007. PDF.

[2007-10-29 | /Work/Publications] permanent link

TeX Live’s new infrastructure.
Talk at the GuIT Meeting 2007, October 2007. Pisa, Italy. PDF

[2007-10-20 | /Work/Talks] permanent link

TeX Live’s new infrastructure.
N. Preining. ArsTeXnica, 4:69-73, 2007. PDF.

[2007-10-20 | /Work/Publications] permanent link

TeX Live’s new infrastructure.
I have been working a lot on creating a new infra structure for TeX Live. Since we have now completely switched to this new infra structure I gave a talk at the GuIT Meeting 2007 in October 2007. The slides of the talks can be found here: PDF. It is accompanied by an article in the ArsTeXnica and a preliminary version is available here: PDF.

[2007-10-20 | /TeX] permanent link

Gödel logics, Kripke frames, and beyond
Invited talk at Analytic: Workshop on Analytic Proof Systems III, October 2007. LPAR 2007, Erevan, Armenia.

[2007-10-15 | /Work/Talks] permanent link

Berühmte Ötztaler Gipfel mit Besteigung des Similaun, 3606 m (Summit Club)
5.-11.8.2007
Auf “Ötzis” Spuren: nur Ihre Ausrüstung ist besser als die des Eismanns. Erleben Sie den attraktivsten Teil der Ötztaler Alpen mit 6 Dreitausendern.

[2007-08-05 | /Mountains/Guide] permanent link

Sechs berühmte Walliser Viertausender mit Signalkuppe, 4554 (Summit Club)
29.7.-4.8.2007
Sechs berühmte Viertausender in einer Woche. Am 5. Tag kehren Sie in der höchstgelegenen Hütte der Alpen, in der Capanna Margherita, auf der Signalkuppe, ein.

[2007-07-29 | /Mountains/Guide] permanent link

Grand Combin, 4314 m und Montblanc, 4810 m (Summit Club)
22.-28.7.2007
Exklusive Westalpentour mit optimaler Montblanc-Vorbereitung

[2007-07-22 | /Mountains/Guide] permanent link

Gut akklimatisiert auf den Montblanc (Summit Club)
15.-21.7.2007
Der höchste Berg der Alpen ist Ihr herausragendes Ziel. Aber, Akklimatisation ist der halbe Gipfelsieg. Deshalb werden vor dem Montblanc zwei Aufbautouren absolviert. Dabei sind schon die beiden “Trainingsberge” Aiguille du Tour und Mont Blanc du Tacul die Reise wert.

[2007-07-15 | /Mountains/Guide] permanent link

Italo Calvino: Le città invisibili
Everyone which has fallen in love with travelling should read this book:

Arrivando a ogni nuova città il viaggiatore ritrova un suo passato che non sapeva più d’avere: l’estraneità di ciò che non sei più t’aspetta al varco nei luoghi estranei e non posseduti.

[…] I futuri non realizzati sono solo rami del passato. Rami secchi.

[…] L’altrove è uno specchio in negativo. Il viaggiatore riconosce il poco che è suo, scoprendo il molto che non ha avuto e non avrà.

Italo Calvino: Le città invisibili

[2007-07-12 | /Travel] permanent link

Completeness of a Hypersequent Calculus for some first-order Gödel Logics with delta
Talk at the Moscow-Vienna Workshop on Logic and Computation 2007, July 2007. Vienna, Austria. PDF

[2007-07-02 | /Work/Talks] permanent link

A Guide to Quantified Propositional Gödel Logics.
Talk at Order, Algebra, Logics, June 2007. Vanderbilt University, Nashville, USA.

[2007-06-14 | /Work/Talks] permanent link

Towel Day 25. May 2007
A tribute to Douglas Adams, don’t leave your bed without a towel!

Here is a photo of mine in front of a church in Barcelona (if I am right) at one of the last towel days:

[2007-05-25 | /Fun] permanent link

Talk on TeX (Live) on Debian
On the (very nice) EuroBachoTeX 2007 I have given a talk on TeX (Live) on Debian. For the full proceedings I will submit a full article, and in addition I put up the slides of the presentation here: eurotex07-talk.pdf

[2007-05-04 | /TeX] permanent link

TeX Live on Debian
Talk at the EuroBachoTeX 2007, April 2007. Bachotek, Poland. PDF

[2007-04-30 | /Work/Talks] permanent link

L’odissèa del mio ritorno - o storia di un’amore crepata
Il mio tempo in Italia è finito, ma il ritorno era un po’ una odissèa:

Martedì pomeriggio, dopo mi è riuscito a mettere tutta la roba (piu o meno tutto) dentro la mia piccolina macchina, dopo i ultimi abbracci di Maria, finalmente sono partito.

See more ...

[2007-04-08 | /Italia] permanent link

La burocrazia italiana e Andrea Camilleri e me …
Un po’ tempo fa mi serviva un modulo per la richiesta di disoccupazione, e lo aspettavo per piu di un mese.

Così ho scritto una email alla signora risponsabile …

---

Egregia Signora XXXXXXX,

il sottoscritto Preining Norbert, fu Konrad Preining e di Helga Musil, nato a Vienna (provincia di Vienna, Austria), alli 24 del mese di novembre del 1971 e quivi residente in via Stalloreggi 69, di professione ricercatore in matematica osò di sottoporre alla generosità e alla benevolenza di Sua Eccellenza il Rettore della Università degli Studi di Siena la richiesta di firmare il modulo DS22 da presentare al ufficio INPS.

Non avendo, certo per un banale disguido, ricevuto risposta veruna dall’Officio che Sua Eccellenza tanto equamente presiede, il sottoscritto si trova nell’assoluta necessità di dover umilimente rinnovare la domanda.

Gratissimo per la benigna attenzione che Lei e Sua Eccellenza saprà dedicare alla mia richiesta e profondamente iscusandomi per il disturbo arrecato alle Vostre Alte Funzioni, mi professo devot.mo in fede

Norbert Preining

---

E come sapevo (ricordate che sono Viennese e quindi sono abituato a questi coglioniti), 20min dopo è arrivata la risposta:

---

Egr. Dr. Preining, Le comunico che il modulo è tornato stamani dalla firma del Rettore, quindi può passare a ritirarlo. Saluti XXXXXXXXXXXXXX

---

Allora che abbiamo imparato dalla questa storia: Siete cortesissimi e tutto sara facile …

E grazie a Andrea Camilleri per la questa lettera dal suo libro La concessione del telefono che ho deturpato un po!

[2007-04-02 | /Italia] permanent link

Gounot and Schubert in the Bar
Yesterday something strange happened: After half a day fighting with the Italian bureaucrazy I return to bar next to the university for a coffee. While sipping this elixier of life, another man enters, he looks completely normal, I would have classified him as blue-collar.

In Austria the barman and the client would discuss football, the weather, skiing, whatever. What happens here - and what made me nearly fall from my seat - the two start chatting about the last concert in this or that church, about the quality of the singers, about what they themselves have sung, about the difference between Gounot’s and Schubert’s Ave Maria, and in between the sing - and I must say they sung very well - various parts from the two different Ave Marias.

Impressive life at the bar in Italy, isn’t it?

[2007-02-06 | /Italia] permanent link

Many-valued logics and Gödel logics — a short introduction.
Talk at the lecture series `Aspetti Costruttivi della Logica’ (in Italian), January 2007. Dipartimento di Filosofia e Scienze Sociali, Università di Siena, Italy.

[2007-01-30 | /Work/Talks] permanent link

Le sottigliezze della lingua italiana
Eccone alcune particolarmente interessanti:

Un cortigiano: un uomo che vive a corte
Una cortigiana: una mignotta

Un massaggiatore: un Kinesiterapista
Una massaggiatrice: una mignotta

Un professionista: un uomo che conosce bene la sua professione
Una professionista: una mignotta

Un uomo di strada: un uomo duro
Una donna di strada: una mignotta

Un uomo senza morale: un politico
Una donna senza morale: una mignotta

Un uomo pubblico,: un uomo famoso, in vista
Una donna pubblica: una mignotta

Un uomo facile: un uomo con il quale è facile vivere
Una donna facile: una mignotta

Un intrattenitore: un uomo socievole affabulatore
Una intrattenitrice: una mignotta

Un adescatore: un uomo che coglie al volo persone e situazioni
Un’adescatrice: una mignotta

Un uomo molto disponibile: un uomo gentile
Una donna molto disponibile: una mignotta

[2007-01-23 | /Italia/Language] permanent link

Un Sonetto per Grotte di Castro
Uno degli miei amici ha vinto una premia per un sonetto bellissimo che tratta la sua zona dintorno di Grotte di Castro. Io non volgio publicarlo, ma mi è piaciuto tantissimo, forse perchè l’amore che è cresciuta dentro di me per la zona dintorno di Siena parla anche dal questo sonetto! Grazie Claudio!

[2006-12-28 | /Italia] permanent link

Carinzia - vacance tra nemici
Qualche giorni fa sono passato tra Carinzia, questo parte di Austria dove un pazzo governa come un regno, dal un anno contra la costituzione austriaca. Haider ha tolto le cartelle bilinguali colla spegiazione che nella legge delle strade (Straßenverkehrsordnung) non sia niente detto delle cartelle bilinguali. O che cazzo, mi pare che questo cavolo non ha mai sentito niente della gerarchia delle legge.

Allora, io passo tra Carinzia senza fermarmi, senza spendere un Euro. Vacanze tra nemici! Non capisco come la maggior parte della populazione in Carinzia puo essere cosi stupido e continua votare per una fava come Haider. Grande. Nemici.

Ricordate bene, vacanze in carinzia è vacanze tra pazzi, potrei dire anche fascisti. Fate qualcos’altro! Austria è bellissima, non è necessario fermarsi in carinzia!

[2006-12-28 | /Fun] permanent link

Quantifier Elimination for Quantified Propositional Gödel Logics.
Talk at the 2. International Workshop on Analytic Proof Systems, November 2006. LPAR 2006, Phnom Penh, Cambodia.

[2006-12-11 | /Work/Talks] permanent link

Racconto vietnamese
Another report, this time from Vietnam, and again in Italian.

Allora, seque un primo racconto di Vietnam. Il racconto scorso finisceva lunedì sera, a Phnom Penh.

See more ...

[2006-12-01 | /Travel] permanent link

Racconto cambogiano II
Here is another report from Cambodia, in Italian again.

Ok, un altro racconto, questa volta piu breve, e anche menu “crime and suspense” (ok, solo poco crime)!

See more ...

[2006-11-20 | /Travel] permanent link