Haskell - Haskell

This forum is an archive for the mailing list haskell@haskell.org (more options) Messages posted here will be sent to this mailing list.
The Haskell Mailing List
1234 ... 153
Topics (5346)
Replies Last Post Views
14 Jan 2021 at 5pm CET - ZOOM - Public Vienna World Logic Day Lecture with Georg Gottlob - Knowledge Processing, Logic, and the Future of AI by Mihaela Rozman
0
by Mihaela Rozman
2nd Call for Participation: BOB 2021 (February 26, online) by Stefan Wehr-2
0
by Stefan Wehr-2
PEPM 2021 - Call for Participation by Sam Lindley
0
by Sam Lindley
[TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021) by Peter Achten
0
by Peter Achten
fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13) by Andrei Popescu
0
by Andrei Popescu
Nominations close Jan 11th for the Haskell Foundation Board by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
[TFPIE'21] Third and Final Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021) by Peter Achten
0
by Peter Achten
SEIT-2020 CfPs: The 10th International Conference on Sustainable Energy Information Technology (August 9-12, 2020, Leuven, Belgium) by Aneta Poniszewska-Ma...
19
by Aneta Poniszewska-Ma...
PhD position in Software Language Engineering @ University of Amsterdam by Thomas van Binsberge...
0
by Thomas van Binsberge...
[FNC-2021] CFP: 16th International Conference on Future Networks and Communications. Leuven, Belgium (Aug 9-12, 2021) by Wim Ectors
0
by Wim Ectors
[ANNOUNCE] Glasgow Haskell Compiler 8.10.3 released by Ben Gamari-3
0
by Ben Gamari-3
[TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021) by Peter Achten
0
by Peter Achten
[EDI40-2021] FINAL DEADLINE CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021) by Wim Ectors
0
by Wim Ectors
The 18th International Conference on Mobile Systems and Pervasive Computing by Orven Llantos
0
by Orven Llantos
CFP - The 3rd International Workshop on EXplainable and TRAnsparent AI and Multi-Agent Systems (EXTRAAMAS 2021) by Yazan Mualla
0
by Yazan Mualla
Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture by Mihaela Rozman
0
by Mihaela Rozman
[MEDI 2021] Call for Workshops by Samir ouchani
0
by Samir ouchani
[TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021) by Peter Achten
0
by Peter Achten
Call for Participation: BOB 2021 (February 26, online, early-bird until Dec 31) by Stefan Wehr-2
0
by Stefan Wehr-2
2020 Haskell.org Call for Nominations by jasper van der jeugt
0
by jasper van der jeugt
Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) by Yazan Mualla
0
by Yazan Mualla
CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) by Yazan Mualla
0
by Yazan Mualla
two posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020 by Andrei Popescu
0
by Andrei Popescu
Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) by Yazan Mualla
0
by Yazan Mualla
CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) by Yazan Mualla
0
by Yazan Mualla
[EDI40-2021] CFP: 4th International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (March 23-26, 2021) by Wim Ectors
0
by Wim Ectors
Last Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13] by Stefan Wehr-2
0
by Stefan Wehr-2
Post-doc position at Chalmers Univ. on Functional Programming by Alejandro Russo
0
by Alejandro Russo
Call for Workshop Proposals: ICFP 2021 by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
CFP - The 5th International Workshop on Agent-based Modeling and Applications with SARL (SARL-21) by Yazan Mualla
0
by Yazan Mualla
Invitation to the 3rd European Forum for the SARL Users and Developers (EuSarlCon-21) by Yazan Mualla
0
by Yazan Mualla
Journal of Functional Programming - Call for PhD Abstracts by Graham Hutton-2
0
by Graham Hutton-2
trouble building ghc-8.10.2 from source by Scott N. Walck
0
by Scott N. Walck
2nd Call for Contributions: BOB 2021 [Feb 26, Deadline Nov 13] by Stefan Wehr-2
0
by Stefan Wehr-2
Second Call for Presentations: PriSC 2021 @ POPL 2021 by PriSC PC Chairs
0
by PriSC PC Chairs
1234 ... 153