[tex-live] Better ways to find packages and documentation

Norbert Preining preining at logic.at
Wed Jul 4 22:14:42 CEST 2007

Hi all,

On Mit, 04 Jul 2007, Arthur Reutenauer wrote:
>   If you mean me, I'm afraid I couldn't be of much help; I'm only a
> former student and do not have much contacts with the faculty staff
> anymore. Although... what is that talk Norbert is supposed to give
> exactly (I'm sorry, I was not following ;-)?

On Mit, 04 Jul 2007, Florent Rougon wrote:
> Yes, I meant you. :)

Mathematical logic, esp. many-valued logics
Kripke frames, intuitionistic logic
proof theory
geometry and proof theory

No need to actually invite me, if I need an invitation I have enough
colleagues at Paris VII to invite me ;-) In fact I have been several
times in Paris for cooperations. Pity that it was before my TeX/Debian

Best wishes


Dr. Norbert Preining <preining at logic.at>        Vienna University of Technology
Debian Developer <preining at debian.org>                         Debian TeX Group
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
HULL (adj.)
Descriptive of the smell of a weekend cottage.
			--- Douglas Adams, The Meaning of Liff

More information about the tex-live mailing list