[eclipse.org-eclipsecon-program-committee] TPTP Related long talks

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[eclipse.org-eclipsecon-program-committee] TPTP Related long talks

From: "Doddapaneni, Srinivas P" <srinivas.p.doddapaneni@xxxxxxxxx>
Date: Fri, 16 Dec 2005 09:05:15 -0800
Delivered-to: eclipse.org-eclipsecon-program-committee@xxxxxxxxxxx
List-archive: <http://eclipse.org/pipermail/eclipse.org-eclipsecon-program-committee>
List-help: <mailto:eclipse.org-eclipsecon-program-committee-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/eclipse.org-eclipsecon-program-committee>, <mailto:eclipse.org-eclipsecon-program-committee-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/eclipse.org-eclipsecon-program-committee>, <mailto:eclipse.org-eclipsecon-program-committee-request@eclipse.org?subject=unsubscribe>
Thread-index: AcYBHyjfBmz0iVVUSb2ZCjyylYHabAAGvlYwAAAJJeAASeba8A==
Thread-topic: TPTP Related long talks

TPTP related long talks …

TPTP PMC Picks:

105, 339

Recommended by TPTP PMC:

40, 132/327 (combined)

I would also add the following:

150, 104, 274

-Sri

Prev by Date: [eclipse.org-eclipsecon-program-committee] Regret for today's call
Next by Date: RE: [eclipse.org-eclipsecon-program-committee] TPTP Related long talks
Previous by thread: [eclipse.org-eclipsecon-program-committee] Regret for today's call
Next by thread: RE: [eclipse.org-eclipsecon-program-committee] TPTP Related long talks
Index(es):
- Date
- Thread

Back to the top