Katrin Auer (Wien) „Political Correctness“ – Ideologischer Code,

Source URL: www.oezp.at

On Hate Speech and the Politically Correct: Comments to Students at the University of North Dakota School of Law Dr. Jack Russell Weinstein

Source URL: www.und.edu

• Social philosophy
• Etiquette
• Political correctness
• Postmodernism
• Satire
• Sociolinguistics
• Hate speech
• Freedom of speech
• Rights
• Censorship
• Ethics
• Philosophy

STUDIA UNIV. BABES ¸ –BOLYAI, INFORMATICA, Volume L, Number 1, 2005

Source URL: www.cs.ubbcluj.ro

• Formal methods
• Program logic
• Logic in computer science
• Predicate transformer semantics
• Formal verification
• Algorithm
• KeY
• Correctness
• Invariant
• Mathematics
• Applied mathematics
• Theoretical computer science

Susanne Nies (Hg.) Political Correctness in der (inter)nationalen Politik. Zu Genese

Source URL: www.oei.fu-berlin.de

Microsoft PowerPoint - ESWEEK08-final-pdf.ppt

Source URL: www-verimag.imag.fr

• Computer science
• Concurrency
• Model checking
• Logic in computer science
• Correctness
• Temporal logic
• Software development process
• Formal verification
• Formal methods
• Theoretical computer science
• Applied mathematics

Human Values not Family Values Human Values Not Family Values

Source URL: www.ucu.org.uk

• Sexual orientation
• Family
• Conservatism
• Family values
• Political correctness
• Sociology
• Homosexuality
• LGBT social movements
• Lesbian
• Human sexuality
• Human behavior
• Gender

STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of

Source URL: mizar.org

• Automated proof checking
• Theoretical computer science
• Applied mathematics
• Mizar and Alcor
• Mizar
• Mathematics
• Proof theory
• Tarski–Grothendieck set theory
• Correctness
• Mizar system
• Formal methods
• Ursa Major constellation

NAG Numerical Routines Quality, flexibility, robustness and correctness These are the fundamental qualities of the NAG

Source URL: www.nag.co.uk

• Software
• Numerical Algorithms Group
• Numerical software
• Linear programming
• Numerical analysis
• Mathematical optimization
• Maple
• Nag
• Algorithm
• Applied mathematics
• Operations research
• Mathematics

Verification Condition Generation via Theorem Proving John Matthews1 , J Strother Moore2 , Sandip Ray2 , and Daron Vroon3

Source URL: www.cs.utexas.edu

• Formal methods
• Programming idioms
• Computability theory
• Mathematical logic
• Formal verification
• ACL2
• Recursion
• Correctness
• Isabelle
• Theoretical computer science
• Applied mathematics
• Computer programming

Total Creation of a Software Project Correctness by Construction:

Source URL: www.crosstalkonline.org

• Software development process
• Software engineering
• Formal methods
• Systems engineering
• Personal Software Process
• Software testing
• Computer security
• Source lines of code
• Reliability engineering
• Software development
• Computing
• Software