Theoretical Computer Science

Lewis, R. Y., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 15-26 12 p.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Number theory

Polynomials

A verified prover based on ordered resolution

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 152-165 14 p.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Specifications

Extending a brainiac prover to lambda-free higher-order logic

Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Higher-order Logic

Data structures

Algorithms and Data Structures

Higher Order

Theorem proving

Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)

Blanchette, J. C., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 1-13 13 p.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Genome-wide meta-analysis identifies new loci and functional pathways influencing Alzheimer's disease risk

Jansen, I. E., Savage, J. E., Watanabe, K., Bryois, J., Williams, D. M., Steinberg, S., Sealock, J., Karlsson, I. K., Hägg, S., Athanasiu, L., Voyle, N., Proitsi, P., Witoelar, A., Stringer, S., Aarsland, D., Almdahl, I. S., Andersen, F., Bergh, S., Bettella, F., Bjornsson, S. & 33 othersBrækhus, A., Bråthen, G., de Leeuw, C., Desikan, R. S., Djurovic, S., Dumitrescu, L., Fladby, T., Hohman, T. J., Jonsson, P. V., Kiddle, S. J., Rongve, A., Saltvedt, I., Sando, S. B., Selbæk, G., Shoai, M., Skene, N. G., Snaedal, J., Stordal, E., Ulstein, I. D., Wang, Y., White, L. R., Hardy, J., Hjerling-Leffler, J., Sullivan, P. F., van der Flier, W. M., Dobson, R., Davis, L. K., Stefansson, H., Stefansson, K., Pedersen, N. L., Ripke, S., Andreassen, O. A. & Posthuma, D., Mar 2019, In : Nature Genetics. 51, 3, p. 404-413 10 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Meta-Analysis

Alzheimer Disease

Genome

Proxy

Genes

Activities 2000 2015

30 Membership
17 Lecture / Presentation
10 Editorial work

Regularity-Preserving but not Reflecting Encodings

C.A. Grabmayer (Speaker)

9 Jul 2015

Activity: Lecture / Presentation › Academic

hogere orde en erste orde (ter ere van het afscheid van Vincent van Oostrom van de Universiteit Utrecht)

C.A. Grabmayer (Speaker)

2 Jul 2014

Activity: Lecture / Presentation › Academic

Nested Term Graphs

C.A. Grabmayer (Speaker)

13 Jul 2014

Activity: Lecture / Presentation › Academic

Maximal Sharing in the Lambda Calculus with Letrec

C.A. Grabmayer (Speaker)

1 Sep 2014

Activity: Lecture / Presentation › Academic

Theoretical Computer Science (Journal)

B. Jacobs (Member of editorial board), M. Niqui (Member of editorial board), J.J.M.M. Rutten (Member of editorial board), A. Silva (Member of editorial board)

2011

Activity: Peer review and Editorial work › Editorial work › Academic