Programming, Logic and Intelligent Systems

Activities

Activities per year

1999 2020

• 86 Organisation and participation in conference
• 73 Lecture and oral contribution
• 72 Membership in committee, council, board
• 33 Peer review of manuscripts
• 90 More
  • 25 Membership in review committee
  • 23 Participation in workshop, seminar, course
  • 11 Visiting an external academic institution
  • 10 Examination
  • 9 Editor of Research journal
  • 6 Other
  • 4 Hosting an academic visitor
  • 1 Membership in board of company or public organisation
  • 1 Membership in research network

Activities per year

Search results

• Eighth Indian Conference on Logic and its Applications 2019 (Event)

  Torben Braüner (Member)

  1 Mar 2019 → 5 Mar 2019

  Activity: Membership › Membership in committee, council, board

• The 12th International Symposium on Frontiers of Combining Systems (Event)

  Torben Braüner (Member)

  4 Sep 2019 → 6 Sep 2019

  Activity: Membership › Membership in committee, council, board

• 9th International Joint Conference on Automated Reasoning (Event)

  Torben Braüner (Member)

  14 Jul 2018 → 17 Jul 2018

  Activity: Membership › Membership in committee, council, board

• 25th Workshop on Logic, Language, Information and Computation (Event)

  Torben Braüner (Member)

  24 Jul 2018 → 27 Jul 2018

  Activity: Membership › Membership in committee, council, board

• Ninth Methods for Modality Workshop - 2017 (Event)

  Torben Braüner (Member)

  8 Jan 2017 → 9 Jan 2017

  Activity: Membership › Membership in committee, council, board

• The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Event)

  Torben Braüner (Member)

  25 Sep 2017 → 28 Sep 2017

  Activity: Membership › Membership in committee, council, board

• Advances in Modal Logic 2016 (Event)

  Torben Braüner (Member)

  30 Aug 2016 → 2 Sep 2016

  Activity: Membership › Membership in committee, council, board

• Frontiers of Combining Systems (FroCoS 2015) (External organisation)

  Torben Braüner (Member)

  19 Sep 2015 → 24 Sep 2015

  Activity: Membership › Membership in committee, council, board

• The Ninth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT 2015) (External organisation)

  Torben Braüner (Member)

  2 Nov 2015 → 6 Nov 2015

  Activity: Membership › Membership in committee, council, board

• 6th International Joint Conference on Automated Reasoning (IJCAR 2012) (External organisation)

  Torben Braüner (Member)

  25 Jun 2012 → 29 Jun 2012

  Activity: Membership › Membership in committee, council, board

• 9th International Conference on Advances in Modal Logic (AiML 2012) (External organisation)

  Torben Braüner (Member)

  22 Aug 2012 → 25 Aug 2012

  Activity: Membership › Membership in committee, council, board

• 8th Scandinavian Logic Symposium (External organisation)

  Torben Braüner (Member)

  20 Aug 2012 → 21 Aug 2012

  Activity: Membership › Membership in committee, council, board

• Frontiers of Combining Systems (FroCoS 2011) (External organisation)

  Torben Braüner (Member)

  5 Oct 2011 → 7 Oct 2011

  Activity: Membership › Membership in committee, council, board

• The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2011) (External organisation)

  Torben Braüner (Member)

  4 Jul 2011 → 8 Jul 2011

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 May 2011 → 1 Dec 2011

  Activity: Membership › Membership in committee, council, board

• 11th Scandinavian Conference on Artificial Intelligence (External organisation)

  John Patrick Gallagher (Member)

  2011 → …

  Activity: Membership › Membership in committee, council, board

• International Workshop on Methods for Modalities (External organisation)

  Torben Braüner (Member)

  10 Nov 2011 → 12 Nov 2011

  Activity: Membership › Membership in committee, council, board

• Association for Logic Programming (External organisation)

  John Patrick Gallagher (Chairman)

  1 Aug 2010 → 10 Jul 2011

  Activity: Membership › Membership in committee, council, board

• Advances in Modal Logic (External organisation)

  Torben Braüner (Member)

  25 Aug 2010 → 29 Aug 2010

  Activity: Membership › Membership in committee, council, board

• International Symposium on Logic-based Program Synthesis and Transformation (External organisation)

  John Patrick Gallagher (Member)

  2010 → …

  Activity: Membership › Membership in committee, council, board

• International Conference on Logic Programming (ICLP’08) (External organisation)

  John Patrick Gallagher (Member)

  2010 → …

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 Nov 2010 → 31 Oct 2011

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 Jul 2010 → 30 Jun 2011

  Activity: Membership › Membership in committee, council, board

• Advances in Modal Logic (External organisation)

  Torben Braüner (Member)

  1 Jan 2010 → 31 Dec 2012

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 Nov 2010 → 31 Oct 2011

  Activity: Membership › Membership in committee, council, board

• International Workshop on Hybrid Logic (External organisation)

  Torben Braüner (Member)

  10 Jul 2010

  Activity: Membership › Membership in committee, council, board

• Association for Computing Machinery (External organisation)

  John Patrick Gallagher (Member)

  2010 → 2011

  Activity: Membership › Membership in committee, council, board

• Tenth International Symposium on Functional and Logic Programming (FLOPS 2010) (External organisation)

  John Patrick Gallagher (Member)

  2010 → …

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 Aug 2010 → 31 Jul 2011

  Activity: Membership › Membership in committee, council, board

• Styregruppe (External organisation)

  Troels Andreasen (Member)

  1 Dec 2010 → 30 Nov 2011

  Activity: Membership › Membership in committee, council, board

• International Workshop on Hybrid Logic (External organisation)

  Torben Braüner (Member)

  15 Jul 2009 → 17 Jul 2009

  Activity: Membership › Membership in committee, council, board

• The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (External organisation)

  Torben Braüner (Member)

  7 Jul 2009 → 10 Jul 2009

  Activity: Membership › Membership in committee, council, board

• Sixth International Workshop on Methods for Modalities 2009 (M4M-6 2009) (External organisation)

  Torben Braüner (Member)

  12 Nov 2009 → 14 Nov 2009

  Activity: Membership › Membership in committee, council, board

• Acm Sigplan (External organisation)

  John Patrick Gallagher (Member)

  2009 → …

  Activity: Membership › Membership in committee, council, board

• Frontiers of Combining Systems (FroCoS 2009) (External organisation)

  Torben Braüner (Member)

  16 Sep 2009 → 18 Sep 2009

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 Jul 2009 → 30 Jun 2010

  Activity: Membership › Membership in committee, council, board

• The 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) (External organisation)

  John Patrick Gallagher (Chairman)

  1 Mar 2009 → 14 Jul 2009

  Activity: Membership › Membership in committee, council, board

• Association for Computing Machinery (External organisation)

  John Patrick Gallagher (Chairman)

  1 Jun 2009 → 19 Jan 2010

  Activity: Membership › Membership in committee, council, board

• 19th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2009 (External organisation)

  John Patrick Gallagher (Member)

  2009 → …

  Activity: Membership › Membership in committee, council, board

• Methods for Modalities (External organisation)

  John Patrick Gallagher (Member)

  2009 → …

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 Aug 2009 → 31 Jul 2010

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 Aug 2008 → 31 Jul 2009

  Activity: Membership › Membership in committee, council, board

• Flexible Query Answering Systems (External organisation)

  Troels Andreasen (Chairman)

  1 Dec 2008 → 30 Nov 2009

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Member)

  1 Aug 2008 → 31 Jul 2009

  Activity: Membership › Membership in committee, council, board

• Editorial Advisory Board of the Handbook of Research on Fuzzy Information Processing in Databases (Ed. Idea Group Inc.) (External organisation)

  Troels Andreasen (Member)

  1 Jan 2008 → 1 Jun 2008

  Activity: Membership › Membership in committee, council, board

• Scandinavian Conference on Artificial Intelligence (External organisation)

  Torben Braüner (Member)

  26 May 2008 → 28 May 2008

  Activity: Membership › Membership in committee, council, board

• International Conference on Logic Programming (ICLP’08) (External organisation)

  John Patrick Gallagher (Member)

  2008

  Activity: Membership › Membership in committee, council, board

• Program Committee (External organisation)

  Troels Andreasen (Chairman)

  1 Dec 2008 → 30 Nov 2009

  Activity: Membership › Membership in committee, council, board

• 18th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (External organisation)

  John Patrick Gallagher (Member)

  2008 → 2009

  Activity: Membership › Membership in committee, council, board

• IMDEA-Software Institute Scientific Advisory Board (External organisation)

  John Patrick Gallagher (Member)

  1 Jan 2008 → 31 Aug 2008

  Activity: Membership › Membership in committee, council, board