Aktivera hjälpmedelsläget
Inaktivera hjälpmedelsläget
Hoppa över menyflikskommandon
Hoppa till huvudinnehåll
University of Gothenburg Chalmers University of Technology
In English
  • Medarbetare, Logik och typer.
    Utbildning
    Forskning
    Samverkan
    Om Chalmers
    Data- och informationsteknik
    • Utbildning
      • Grundutbildning
        • Kandidatprojekt
        • Master's programmes
        • Master's Thesis
        • Lars Pareto-stipendiet
        • Studieexpedition, studievägledning
        • Tentamensinfo/Exams
      • Forskarutbildning
    • Forskning
      • Forskningsprojekt
      • Forskarutbildning
    • Centrum
    • Organisation
      • Ledningsgrupp
      • Data Science och AI
        • Medarbetare, Data Science och AI
      • Datorteknik
        • Medarbetare, Datorteknik
        • Cadence Academic Network
      • Formella metoder
        • Medarbetare, Formella Metoder
      • Funktionell programmering
        • Medarbetare, Funktionell programmering
      • Informationssäkerhet
        • Medarbetare, Informationssäkerhet
      • Interaktionsdesign
        • Medarbetare, Interaktionsdesign
        • Forskning
      • Logic and Types
        • Medarbetare, Logik och typer.
      • Nätverk och system
        • Medarbetare, Nätverk och system
      • Software Engineering
        • Medarbetare, Software Engineering
      • Data Science forskningsingenjörer
      • Verksamhetsstöd
      • Institutionsråd
      • Lokal samverkan
    • Kontakt
      • Personal
      • Hitta till Data- och informationsteknik
    • Kalendarium
    • Nyheter
    • Årsberättelse
  • In English
  • Start
    • Skip Navigation Links
  • Institutioner
  • Data- och informationsteknik
  • Organisation
  • Logic and Types
    •
    Följ oss Chalmers tekniska högskola officiella facebooksida Chalmers tekniska högskola officiella instagramkonto Chalmers tekniska högskola officiella twitterkonto för nyheter Chalmers tekniska högskola officiella youtubekanal Chalmers tekniska högskola officiella LinkedInkonto
Institutioner
  • Utbildning
    • Grundutbildning
      • Kandidatprojekt
      • Master's programmes
      • Master's Thesis
      • Lars Pareto-stipendiet
      • Studieexpedition, studievägledning
      • Tentamensinfo/Exams
    • Forskarutbildning
  • Forskning
    • Forskningsprojekt
    • Forskarutbildning
  • Centrum
  • Organisation
    • Ledningsgrupp
    • Data Science och AI
      • Medarbetare, Data Science och AI
    • Datorteknik
      • Medarbetare, Datorteknik
      • Cadence Academic Network
    • Formella metoder
      • Medarbetare, Formella Metoder
    • Funktionell programmering
      • Medarbetare, Funktionell programmering
    • Informationssäkerhet
      • Medarbetare, Informationssäkerhet
    • Interaktionsdesign
      • Medarbetare, Interaktionsdesign
      • Forskning
    • Logic and Types
      • Medarbetare, Logik och typer.
    • Nätverk och system
      • Medarbetare, Nätverk och system
    • Software Engineering
      • Medarbetare, Software Engineering
    • Data Science forskningsingenjörer
    • Verksamhetsstöd
    • Institutionsråd
    • Lokal samverkan
  • Kontakt
    • Personal
    • Hitta till Data- och informationsteknik
  • Kalendarium
  • Nyheter
  • Årsberättelse
Huvudbild (750px bred, 340px hög)
Huvudbildens bildtext
Huvudbildens upphovsman

Logik och typer

Vid avdelningen bedrivs forskning som berör områden inom logik och semantik för program.
Read more in English.

Publicerad: må 19 nov 2018.

Meddelande till sidansvarig

Var god fyll i ett meddelande

  • Start
    • Skip Navigation Links
  • Institutioner
  • Data- och informationsteknik
  • Organisation
  • Logic and Types
    •
    Följ oss Chalmers tekniska högskola officiella facebooksida Chalmers tekniska högskola officiella instagramkonto Chalmers tekniska högskola officiella twitterkonto för nyheter Chalmers tekniska högskola officiella youtubekanal Chalmers tekniska högskola officiella LinkedInkonto

Data- och informationsteknik - Chalmers tekniska högskola och Göteborgs universitet - Telefon: 031-772 10 00