agda@lists.chalmers.se

0

replies

The 2018 Federated Logic Conference - Workshop Announcement

started 2017-10-26 22:07:37 UTC

2017-10-26 22:07:37 UTC

Andrzej Murawski

0

replies

[ANNOUNCE] Standard library 0.14

started 2017-10-25 14:06:17 UTC

2017-10-25 14:06:17 UTC

Matthew Daggitt

0

replies

AIM XXVI - Budapest, 29 Jan -- 3 Feb 2018

started 2017-10-23 20:21:20 UTC

2017-10-23 20:21:20 UTC

Ambrus Kaposi

0

replies

CfP <Programming> 2018: Research Papers Third Submission Deadline

started 2017-10-20 21:30:30 UTC

2017-10-20 21:30:30 UTC

Sylvia Grewe

0

replies

TYPES 2017 post-proceedings DEADLINE EXTENDED

started 2017-10-20 17:04:01 UTC

2017-10-20 17:04:01 UTC

Ambrus Kaposi

0

replies

PriSC'18 deadline extended by 1 week

started 2017-10-20 14:21:31 UTC

2017-10-20 14:21:31 UTC

Dominique Devriese

0

replies

Fwd: [FP] FW: Google Internships in Programming Languages, Compilers, and Software Engineering (2018)

started 2017-10-19 20:53:03 UTC

2017-10-19 20:53:03 UTC

Andreas Abel

1

reply

Use the ring solver with an abstract ring

started 2017-10-18 19:51:10 UTC

2017-10-18 21:53:29 UTC

Andreas Abel

1

reply

No Agda AIM meeting any more?

started 2017-10-18 05:11:28 UTC

2017-10-18 14:57:31 UTC

Andreas Abel

0

replies

Final call for Secure Compilation presentations (PriSC Workshop @ POPL'18)

started 2017-10-16 12:13:16 UTC

2017-10-16 12:13:16 UTC

Dominique Devriese

1

reply

Help with With-permutations.

started 2017-10-12 21:25:25 UTC

2017-10-13 03:37:23 UTC

Apostolis Xekoukoulotakis

0

replies

TYPES 2017 post-proceedings call for papers

started 2017-10-10 19:58:14 UTC

2017-10-10 19:58:14 UTC

Ambrus Kaposi

4

replies

decidable equality in algebra

started 2017-10-05 23:58:14 UTC

2017-10-06 12:45:20 UTC

Bas Spitters

0

replies

Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations

started 2017-10-04 18:28:53 UTC

2017-10-04 18:28:53 UTC

Anders Mortberg

0

replies

Journal of Functional Programming - Call for PhD Abstracts

started 2017-10-02 13:47:03 UTC

2017-10-02 13:47:03 UTC

Graham Hutton

5

replies

Can intuitionistic type theory express derivations of physical equations more strictly?

started 2017-09-28 17:38:11 UTC

2017-09-30 17:09:55 UTC

Hidekazu IWAKI

10

replies

`with' in standard functions

started 2017-09-24 16:46:32 UTC

2017-09-28 16:16:16 UTC

Sergei Meshveliani

0

replies

PEPM 2018 Final Call for Papers

started 2017-09-28 09:21:35 UTC

2017-09-28 09:21:35 UTC

PEPM Workshop

3

replies

Cannot apply injectivity

started 2017-09-21 14:47:07 UTC

2017-09-22 20:22:35 UTC

Jesper Cockx

3

replies

Agda code in slides

started 2017-09-21 22:42:04 UTC

2017-09-22 20:20:01 UTC

Sergei Meshveliani

2

replies

common super-structure

started 2017-09-15 18:27:37 UTC

2017-09-21 15:42:30 UTC

Sergei Meshveliani

1

reply

on standard library

started 2017-09-19 00:26:25 UTC

2017-09-19 13:18:13 UTC

Nils Anders Danielsson

0

replies

DoCon-A-2.00 announce

started 2017-09-18 18:25:58 UTC

2017-09-18 18:25:58 UTC

Sergei Meshveliani

1

reply

Should we create an issue to track the status of Cubical?

started 2017-09-18 10:49:27 UTC

2017-09-18 13:06:01 UTC

Andrea Vezzosi

2

replies

[ cubical ] : Questions on PathP on Sets.

started 2017-09-15 08:16:14 UTC

2017-09-15 18:37:14 UTC

Apostolis Xekoukoulotakis

0

replies

Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)

started 2017-09-15 16:14:52 UTC

2017-09-15 16:14:52 UTC

Dominique Devriese

18

replies

Bezonas helpon !

started 2017-08-06 21:23:25 UTC

2017-09-14 19:34:50 UTC

Serge Leblanc

0

replies

The University of Strathclyde’s Global Talent Programme - Security and Data Sciences

started 2017-09-14 15:23:15 UTC

2017-09-14 15:23:15 UTC

Robert Atkey

10

replies

[ANNOUNCE] Agda 2.5.3

started 2017-09-09 04:57:01 UTC

2017-09-10 23:08:28 UTC

Andrés Sicard-Ramírez

1

reply

failure to solve b/c undecidable? custom meta solvers?

started 2017-09-08 03:59:12 UTC

2017-09-08 10:45:55 UTC

Ulf Norell