Add tutorial page at /goblint route

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot

package-lock.json

@@ -6,6 +6,7 @@ import { OverviewComponent } from './overview/overview.component';
 import { PapersComponent } from './papers/papers.component';
 import { AuthorsComponent } from './authors/authors.component';
 import { PagenotfoundComponent } from './pagenotfound/pagenotfound.component';
+import { GoblintComponent } from './goblint/goblint.component';
 
 const routes: Routes = [
   { path: '', component: HomeComponent  },
@@ -14,6 +15,7 @@ const routes: Routes = [
   { path: 'overview', component: OverviewComponent },
   { path: 'papers', component: PapersComponent },
   { path: 'people', component: AuthorsComponent },
+  { path: 'goblint', component: GoblintComponent },
   { path: '**', component: PagenotfoundComponent }
 ];
 

src/app/app-routing.module.ts

@@ -12,6 +12,7 @@ import { AppRoutingModule } from './app-routing.module';
 import { NavbarComponent } from './navbar/navbar.component';
 import { AuthorsComponent } from './authors/authors.component';
 import { PagenotfoundComponent } from './pagenotfound/pagenotfound.component';
+import { GoblintComponent } from './goblint/goblint.component';
 
 @NgModule({
   declarations: [
@@ -22,7 +23,8 @@ import { PagenotfoundComponent } from './pagenotfound/pagenotfound.component';
     DownloadsComponent,
     NavbarComponent,
     AuthorsComponent,
-    PagenotfoundComponent
+    PagenotfoundComponent,
+    GoblintComponent
   ],
   imports: [
     BrowserModule,

src/app/app.module.ts

@@ -0,0 +1,25 @@
+<div class="row d-flex justify-content-center">
+  <h2 class="m-5">Mixed Flow-Sensitive Static Analysis: Engineering Modularity</h2>
+</div>
+
+<div class="row d-flex justify-content-center">
+  <p>
+    Helmut Seidl<sup>1</sup>, Vesal Vojdani<sup>2</sup>, Julian Erhard<sup>3</sup>, and Michael Schwarz<sup>4</sup>
+  </p>
+</div>
+
+<div class="row d-flex justify-content-center">
+  <ol>
+    <li>Technical University of Munich, Garching, Germany</li>
+    <li>University of Tartu, Estonia</li>
+    <li>CISPA Helmholtz Center for Information Security, Saarbrücken, Germany</li>
+    <li>National University of Singapore, Singapore</li>
+  </ol>
+</div>
+
+<div class="row d-flex justify-content-center mt-4">
+  <p>
+    Welcome to our tutorial at FM 2026. Closer to the date, we will publish useful information,
+    such as an instruction on how to install Goblint. We're looking forward to you joining us.
+  </p>
+</div>

src/app/goblint/goblint.component.html

@@ -0,0 +1,25 @@
+import { ComponentFixture, TestBed } from '@angular/core/testing';
+
+import { GoblintComponent } from './goblint.component';
+
+describe('GoblintComponent', () => {
+  let component: GoblintComponent;
+  let fixture: ComponentFixture<GoblintComponent>;
+
+  beforeEach(async () => {
+    await TestBed.configureTestingModule({
+      declarations: [ GoblintComponent ]
+    })
+    .compileComponents();
+  });
+
+  beforeEach(() => {
+    fixture = TestBed.createComponent(GoblintComponent);
+    component = fixture.componentInstance;
+    fixture.detectChanges();
+  });
+
+  it('should create', () => {
+    expect(component).toBeTruthy();
+  });
+});

src/app/goblint/goblint.component.scss

@@ -0,0 +1,15 @@
+import { Component, OnInit } from '@angular/core';
+
+@Component({
+  selector: 'app-goblint',
+  templateUrl: './goblint.component.html',
+  styleUrls: ['./goblint.component.scss']
+})
+export class GoblintComponent implements OnInit {
+
+  constructor() { }
+
+  ngOnInit(): void {
+  }
+
+}

src/app/goblint/goblint.component.spec.ts

@@ -34,6 +34,9 @@
         <li class="nav-item" routerLinkActive="active">
           <a routerLink="/people" class="nav-link waves-light" mdbWavesEffect>People</a>
         </li>
+        <li class="nav-item" routerLinkActive="active">
+          <a routerLink="/goblint" class="nav-link waves-light" mdbWavesEffect>Tutorial</a>
+        </li>
         <li class="nav-item" routerLinkActive="active">
           <a href="https://www.cs.cit.tum.de/pl/impressum/" target="_blank" class="nav-link waves-light" mdbWavesEffect>Imprint</a>
         </li>