Useful links
Homepages
Personal list
Middeldorp
DBLP
Bibliographies
HAL-INRIA
HAL-CCSD
INRIA
DBLP
CiteSeer
arXiv
CCSB
Microsoft
ArnetMiner
Pierre Lescanne's page of hardly accessible papers
List of all papers published at RTA with their abstract
LNCS
LNIM
Teams and laboratories
Deducteam
[sem]
Parsifal
[sem]
PPS
[sem]
πr
2
LM
[sem]
CPR
[sem]
Toccata
[sem]
LSV
[sem]
LIENS
[sem]
Contraintes
[sem]
LIX
Gallium
[sem]
Marelle
[sem]
LORIA-FM
[sem]
Pareo
[sem]
LIMD
[sem]
Plume
[sem]
FP
[sem]
[blog]
Centre d'Alembert
Conferences
DBLP
TLCA
RTA
LICS
Types
FroCoS
LPAR
IJCAR
CSL
ICFP
POPL
Forthcoming schools
Journals
DBLP
IC
JSC
JFP
MSCS
JACM
TCS
JAR
LMCS
ToC
FI
TOCL
Mailing lists
Types
Rewriting
Coq
CoLoR
Caml
CWN
Languages & Tools
Free software:
FSF
Linux
Apache
Licenses:
CeCILL
GPL
LGPL
Lists:
Wiedijk
Proof assistants:
Coq
Matita
Isabelle
Mizar
Proof checkers:
Dedukti
Interfaces:
ProofGeneral
Proof databases:
Coq
CoLoR
HELM
MathWeb
Problem databases:
TPTP
TPDB
Certification tools:
CeTA
Rainbow
CiME3
Why3
Zenon
Focalize
Programming languages:
OCaml
Moca
Rewriting languages:
Maude
CafeOBJ
TOM
Elan
Termination checkers:
AProVE
TTT2
CiME3
MatchBox
TORPA
Jambox
MU-Term
Completion tools:
mkbTT
Waldmeister
CiME
Confluence checkers:
ACP
Development tools:
GIT
SVN
CVS
Make
Web:
W3C
Unicode:
Charts
HTML
X2.0
4.01
valid
valid
tutorial
XML
1.1
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
TUG
CTAN
TeXmacs
Scientific websites
Termination portal
[
competition
]
RTA list of open problems
TLCA list of open problems
Rewriting
[biblio]
Logical Frameworks
[biblio]
Mechanized Reasoning
Tree Automata
MathArchives
MathWorld
Les-Maths.net
Histoire de l'informatique
Genealogy
Biographies
History
HoTT
nLab
nCat
Stanford Encyclopedia of Philosophy
MathOverflow
Travel
FlightStats
SkyScanner
Airway
Expedia
Go-Voyages
Nouvelles-Frontières
LastMinute
STA-Travel
SkyTeam
AirFrance
AirNZ
EasyJet
Ctrip
Elong
LionAir
AirAsia
JetStar
Spanair
Twinjet
Luxair
Ryanair
AerLingus
Trains:
RATP
Transilien
SNCF
TER
DB
UK
China:
TCG
Bus:
Eurolines
NationalExpress
Car:
EasyCar
Ada
Avis
Weather:
France
Meteociel
Beijing
Sézanne
Nancy
Palaiseau
Guadalajara
Climate:
HolidayCheck
Weather-and-climate
WorldClimate
WorldWeather
Maps:
ViaMichelin
Mappy
Google
Hotels:
AccorHotels
IbisBudget
Formule1
Currency converters:
xe
x-rates
fxtop
World Electric Guide
Time
Vacances scolaires
Jours fériés
Conseils aux voyageurs
Taux
Forfaits journaliers
Miscellaneous
Pages jaunes
Codes postaux
Indicatifs
Dictionaries:
CNRTL
TLFi
HyperDictionary
Dictionary.com
ARTFL
Translators:
OQLF
WordReference
Encyclopedia:
Wikipedia
CIA Factbook
Hoaxkiller
Hoaxbuster
AFIS
Interstices
ErNeSt
Associations
SIF
ASTI
SMAI
CNU
AFUL
APRIL
FSF-France
FSF
Prizes
SIF
ASTI
Le Monde
ERCIM
EACSL
Beth
EATCS
CNRS
Académie
Turing
Nevanlinna
Fields
Abel
Gauss
Nobel
Last updated on 11 January 2016.
Come back to main page
.