81 |
Instruction seminar on logical aspects of Multi-Agent Systems |
Deontic_logics_for_multi_agent_systems_by_Olivier_Roy_Part_02 |
Olivier_Roy |
1 Feb 2015 |

82 |
Indo UK workshop on Computational Complexity Theory |
Comparator circuits over lattices |
Balagopal Komarath |
8 Jan 2015 |

83 |
Indo UK workshop on Computational Complexity Theory |
Fixed Point Computation Problems for Algebraically Defined Functions |
Kousha Etessami |
7 Jan 2015 |

84 |
Indo UK workshop on Computational Complexity Theory |
Fourier Dimension and sparsity |
Swagato Sanyal |
5 Jan 2015 |

85 |
Indo UK workshop on Computational Complexity Theory |
Lower bounds for non commutative skew circuits |
Srikanth Srinivasan |
5 Jan 2015 |

86 |
Indo UK workshop on Computational Complexity Theory |
Lower bounds for small depth arithmetic circuits |
Chandan saha |
5 Jan 2015 |

87 |
Indo UK workshop on Computational Complexity Theory |
Phase transitions and the complexity of approximating partition functions |
Leslie Goldberg |
23 Aug 1901 |

88 |
Indo UK workshop on Computational Complexity Theory |
Polynomial Identity Testing for a sum of ROABPs |
Arpita Korwar |
8 Jan 2015 |

89 |
Indo UK workshop on Computational Complexity Theory |
Proof complexity |
Olaf Beyersdorff |
8 Jan 2015 |

90 |
Indo UK workshop on Computational Complexity Theory |
Proof complexity of resolution-based QBF calculi |
Leroy Chew |
8 Jan 2015 |