[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
involvement.
Best wishes
Norbert
-------------------------------------------------------------------------------
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