Frédéric Blanqui's useful links

Useful links

Homepages

Personal list Middeldorp DBLP

Bibliographies

Teams and laboratories

Conferences

Lists: Gramlich DBLP LNCS LNIM
TLCA RTA LICS Types FroCoS LPAR

Journals

Mailing lists

Types Rewriting Coq CoLoR Caml CWN

Associations

SPECIF ASTI SMAI GDD CNU
AFUL APRIL FSF-France FSF

Languages & Tools

Free software: FSF Linux Apache
Licenses: CeCILL GPL LGPL
Lists: Wiedijk QSL
Proof assistants: Coq Matita Isabelle Mizar
Interfaces: ProofGeneral
Proof databases: Coq CoLoR HELM MathWeb
Problem databases: TPTP TPDB
Certification tools: Why Rainbow Focalize Zenon
Programming languages: OCaml Moca
Rewriting languages: Maude CafeOBJ TOM Elan
Termination checkers: AProVE TTT2 CiME
MatchBox TORPA Jambox MU-Term Cariboo
Completion tools: mkbTT Waldmeister CiME
Confluence checkers: ACP
Development tools: CVS SVN Make
Web: W3C
HTML X2.0 4.01 valid valid tutorial chars
XML 1.1 valid valid tutorial
Parsers: PXP Expat XML-Light
Programming: XDuce CDuce OCamlDuce
XSD valid valid tutorial
CSS 2.1 valid tutorial
XSLT 2.0 tutorial Saxon
LaTeX: Project Navigator

Scientific websites

Travel

FlightStats SkyScanner Airway Expedia
Anyway Go-Voyages Nouvelles-Frontières
LastMinute STA-Travel
Sky Team Air France AirNZ EasyJet
Ctrip Elong LionAir AirAsia JetStar
Spanair Twinjet Luxair Ryanair AerLingus
Trains: RATP RER SNCF TER DB UK
China: TCG CTG
Bus: Eurolines NationalExpress
Car: EasyCar Ada Avis
Météo: France Beijing Nancy Sézanne
Paris Le Luc Guadalajara
Maps: ViaMichelin Mappy Google
Hotels: EtapHotel Formule1
Currency converters: xe x-rates fxtop
World Electric Guide

Miscellaneous

Pages jaunes Codes postaux Indicatifs
Dictionaries: CNRTL TLFi HyperDictionary
Dictionary.com ARTFL
Translators: OQLF WordReference
Encyclopedia: Wikipedia CIA Factbook
Hoaxbuster AFIS Interstices ErNeSt

Prizes

free hit counter script

Last updated on 9 January 2012. Come back to main page.