[Haskell] FormaliSE 2024 - Call for Papers

2023-11-03 Thread Abhishek Tiwari
A. Furia, USI Lugano (Switzerland) * Antónia Lopes, University of Lisbon (Portugal) # Artifact Evaluation Chairs * Tom van Dijk, University of Twente (The Netherlands) * Raúl Pardo, IT University of Copenhagen (Denmark) # Social Media Chairs * Abhishek Tiwari, University of Passau (Germany) * Paulo S

[Haskell] [Deadline Extension] FormaliSE 2024 - Call for Papers

2023-12-03 Thread Abhishek Tiwari
van Dijk, University of Twente (The Netherlands) * Raúl Pardo, IT University of Copenhagen (Denmark) ## Social Media Chairs * Abhishek Tiwari, University of Passau (Germany) * Paulo Santos, Carnegie Mellon University (USA) ## Program Committee * Wolfgang Ahrendt, Chalmers University of Tec