gmane.science.mathematics.frogs archive

378 archived articles, newest first (page 2 of 4). Latest articles →

Projects in France
Wed, 13 Aug 2008 16:16:19 +0100
Alessio Guglielmi <[email protected]> • #556
5 Year Research Position in Math. Logic in Lisbon
Fri, 18 Jul 2008 12:38:27 +0100
Berarducci Alessandro <[email protected]> • #555
3 years Postdoc position available in Ghent
Wed, 16 Jul 2008 09:37:01 +0100
Andreas Weierman <[email protected]> (by way of Alessio Guglielmi) • #554
JELIA - registration opened
Fri, 11 Jul 2008 15:16:44 +0200
Bertram Fronhöfer <Bertram.Fronhoefer-r/[email protected]> • #553
JOB OPPORTUNITY
Fri, 11 Jul 2008 13:02:44 +0200
Bertram Fronhöfer <Bertram.Fronhoefer-r/[email protected]> • #552
Software update
Tue, 8 Jul 2008 13:35:10 +0100
Alessio Guglielmi <[email protected]> • #551
Test
Tue, 8 Jul 2008 12:51:09 +0100
Alessio Guglielmi <[email protected]> • #550
ESSLLI 2006 - Call for Course and Workshop Proposal
Fri, 6 May 2005 15:18:48 +0200
Carlos Areces <Carlos.Areces-/[email protected]> • #549
BOOK ANNOUNCEMENT: The Parametric Lambda Calculus
Tue, 21 Sep 2004 14:38:19 +0200
Luca Paolini <[email protected]> • #548
Re: contraction is not admissible for co-contractio
Sun, 15 Feb 2004 05:22:58 +0100
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #547
Archives
Sat, 14 Feb 2004 23:31:36 +0100
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]> • #546
Tom and REDO
Fri, 13 Nov 2009 11:12:33 +0100
Alessio Guglielmi <[email protected]> • #545
Thesis announcement
Sat, 12 Sep 2009 11:48:20 +0300 (EEST)
Ville Nurmi <ville.v.nurmi-pxSi+dnQzZMxHbG02/[email protected]> • #544
[SPAM] You have just received same postcards from someone who cares about you!
Wed, 2 Jul 2008 23:11:57 +0300
"info"<info-81vKRdcrlKFWk0Htik3J/[email protected]> • #515
ou've just received a custom greeting card from a friend!
Sun, 29 Jun 2008 21:20:08 +0300
"info" <info-81vKRdcrlKFWk0Htik3J/[email protected]> • #514
[SPAM] You've just received a custom greeting card from a friend!
Sat, 28 Jun 2008 00:37:09 +0300
"info"<info-81vKRdcrlKFWk0Htik3J/[email protected]> • #513
Re: Extension
Mon, 23 Jun 2008 15:07:45 +0200 (CEST)
Lutz Strassburger <[email protected]> • #512
Algorithmic Interpretation
Mon, 23 Jun 2008 15:04:39 +0200
"Kai Brünnler" <[email protected]> • #511
Extension
Fri, 20 Jun 2008 21:59:12 +0100
Alessio Guglielmi <[email protected]> • #510
Last Call, Nancy Workshop on Deep Inference
Wed, 11 Jun 2008 18:21:27 +0200
Francois Lamarche <lamarche-/[email protected]> • #509
Workshop on Deep Inference, Nancy
Sun, 25 May 2008 21:27:51 +0200
lamarche-/[email protected] • #508
[SPAM] Aggiornamento dell'account Poste.it
Tue, 13 May 2008 19:42:33 -0400
"Poste Italiane Spa"<[email protected]> • #507
Workshop on Deep Inference in Nancy
Wed, 7 May 2008 14:42:29 +0200
Francois Lamarche <lamarche-/[email protected]> • #506
[SPAM] Avete vinto 250 Euro dal Bonus CartaSi.
Tue, 22 Apr 2008 20:17:43 -0400
"CartaSi"<[email protected]> • #505
[SPAM] Aggiornamento dell'account Poste.it
Tue, 8 Apr 2008 09:46:37 -0400
"Poste Italiane S.p.a"<[email protected]> • #504
[SPAM] Annuncio importante!
Fri, 28 Mar 2008 04:10:31 -0400
"Banca di Roma spa"<[email protected]> • #503
Re:Meeting in Bath?
Thu, 3 Apr 2008 13:40:09 +0100
Alessio Guglielmi <[email protected]> • #502
Meeting in Bath?
Thu, 3 Apr 2008 09:10:19 +0100
Alessio Guglielmi <[email protected]> • #501
Cirquent calculus deepened
Wed, 2 Apr 2008 17:55:11 -0400
Giorgi Japaridze <[email protected]> • #500
The Compcert Verified Compiler
Sat, 15 Mar 2008 00:59:34 +0100
FORTAINE Guillaume <gui.fortaine-1tsiiZ//[email protected]> • #498
Re: GC6 workshop, 18 March, 9am - 4.30pm, BCS Offices, London
Mon, 10 Mar 2008 02:46:20 +0100
FORTAINE Guillaume <gui.fortaine-1tsiiZ//[email protected]> • #497
Atomic flows
Mon, 25 Feb 2008 10:38:56 +0000
Alessio Guglielmi <[email protected]> • #496
[SPAM] Security Measures
Mon, 18 Feb 2008 16:36:27 -0000
"PayPal Center"<[email protected]> • #495
LSFA 2008 - First call for papers
Mon, 18 Feb 2008 11:31:40 -0300
"Elaine Pimentel" <[email protected]> • #494
[CFP] Workshop on Symmetric calculi and Ludics for the semantic interpretation
Fri, 8 Feb 2008 10:56:38 +0100
Sylvain Pogodalla <Sylvain.Pogodalla-/[email protected]> • #493
Happy new year!
Thu, 3 Jan 2008 23:03:48 +0100 (CET)
Lutz Strassburger <[email protected]> • #492
Workshop on "computational interpretations of proofs"
Sat, 17 Nov 2007 10:34:44 +0100
"Michel Parigot" <[email protected]> • #491
Meeting in Bern
Mon, 29 Oct 2007 17:00:38 +0100
"Kai Brünnler" <[email protected]> • #490
Re: Meeting in Bern
Mon, 29 Oct 2007 15:20:23 +0000
"Stéphane Lengrand (Work)" <[email protected]> • #489
Meeting in Bern
Mon, 29 Oct 2007 16:12:43 +0100
"Kai Brünnler" <[email protected]> • #488
[SPAM] Job Offer,ATTENTION:REPLY NEEDED
Mon, 29 Oct 2007 07:09:20 -0400
"Job OFFER"<[email protected]> • #487
Re: DI christmas meeting
Thu, 18 Oct 2007 15:06:30 +0100
"Stéphane Lengrand (Work)" <[email protected]> • #486
DI christmas meeting
Thu, 18 Oct 2007 09:45:35 +0200 (CEST)
Lutz Strassburger <[email protected]> • #485
(unknown)
Mon, 15 Oct 2007 10:49:44 +0200 (CEST)
Kai Bruennler <[email protected]> • #484
Re: Puzzling "premisse"
Sat, 13 Oct 2007 16:25:07 +0100
owner-frogs-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/[email protected] • #483
Approval of messages
Sat, 13 Oct 2007 14:27:08 +0100
Alessio Guglielmi <[email protected]> • #482
Re: Puzzling "premisse"
Sat, 13 Oct 2007 14:55:02 +0200
Jean-Luc Delatre (Kevembuangga) <jld-fBIn7JHAfCbUKx/[email protected]> • #481
Re: Puzzling "premisse"
Sat, 13 Oct 2007 10:22:54 +0100
Alessio Guglielmi <[email protected]> • #480
Re: Puzzling "premisse"
Fri, 12 Oct 2007 20:41:10 +0200
Jean-Luc Delatre (Kevembuangga) <jld-fBIn7JHAfCbUKx/[email protected]> • #479
Re: Puzzling "premisse"
Fri, 12 Oct 2007 15:24:22 +0200
"Kai Brünnler" <[email protected]> • #478
Re: Puzzling "premisse"
Fri, 12 Oct 2007 14:23:15 +0200
Jean-Luc Delatre (Kevembuangga) <jld-fBIn7JHAfCbUKx/[email protected]> • #477
Re: Puzzling "premisse"
Fri, 12 Oct 2007 12:49:38 +0200
Jean-Luc Delatre (Kevembuangga) <jld-fBIn7JHAfCbUKx/[email protected]> • #476
Re:Puzzling "premisse"
Thu, 11 Oct 2007 20:55:55 +0100
Alessio Guglielmi <[email protected]> • #475
Re: Puzzling "premisse"
Thu, 11 Oct 2007 21:01:01 +0200
"Kai Brünnler" <[email protected]> • #474
Puzzling "premisse"
Thu, 11 Oct 2007 16:24:52 +0000 (UTC)
Jean-Luc Delatre (Kevembuangga) <jld-fBIn7JHAfCbUKx/[email protected]> • #473
[SPAM] Hi there , a friend has sent you a greeting card just now!
Thu, 4 Oct 2007 13:59:20 GMT
"cards.2000Greetings.com" <[email protected]> • #472
RE: Re: Deep cirquent calculus
Mon, 17 Sep 2007 22:20:00 -0400
Giorgi Japaridze <[email protected]> • #471
RE: Re: Deep cirquent calculus
Mon, 17 Sep 2007 20:56:42 +0100
Alessio Guglielmi <[email protected]> • #470
RE: Re: Deep cirquent calculus
Mon, 17 Sep 2007 17:23:41 +0200 (CEST)
Lutz Strassburger <[email protected]> • #469
RE: Re: Deep cirquent calculus
Sun, 16 Sep 2007 16:49:52 -0400
Giorgi Japaridze <[email protected]> • #468
Re: Re: Deep cirquent calculus
Sun, 16 Sep 2007 18:29:41 +0200 (CEST)
Lutz Strassburger <[email protected]> • #467
RE: Re: Deep cirquent calculus
Sat, 15 Sep 2007 18:22:34 -0400
Giorgi Japaridze <[email protected]> • #466
Re: Deep cirquent calculus
Sat, 15 Sep 2007 15:55:11 +0100
Alessio Guglielmi <[email protected]> • #465
RE: Deep cirquent calculus
Fri, 14 Sep 2007 16:35:04 -0400
Giorgi Japaridze <[email protected]> • #464
Deep cirquent calculus
Tue, 11 Sep 2007 06:48:09 +0000 (UTC)
Giorgi Japaridze <[email protected]> • #463
Re: Deep cirquent calculus
Fri, 14 Sep 2007 02:48:31 +0000 (UTC)
Giorgi Japaridze <[email protected]> • #462
Re: Re: Deep cirquent calculus
Thu, 13 Sep 2007 18:18:21 +0200 (CEST)
Lutz Strassburger <[email protected]> • #461
Re: Deep cirquent calculus
Thu, 13 Sep 2007 05:00:49 +0000 (UTC)
Giorgi Japaridze <[email protected]> • #460
Re:Deep cirquent calculus
Thu, 13 Sep 2007 02:26:32 +0100
Alessio Guglielmi <[email protected]> • #459
Deep cirquent calculus
Tue, 11 Sep 2007 15:11:19 +0000 (UTC)
Giorgi Japaridze <[email protected]> • #458
Macros and FAQ
Sat, 8 Sep 2007 11:37:29 +0100
Alessio Guglielmi <[email protected]> • #457
Functional Computer from the ground up
Wed, 22 Aug 2007 01:48:21 +0200
Guillaume FORTAINE <gui.fortaine-1tsiiZ//[email protected]> • #456
Deep sequents for modal logic
Tue, 21 Aug 2007 18:19:19 +0200
"Kai Brünnler" <[email protected]> • #455
[SPAM] Machine Identification Issue
Thu, 16 Aug 2007 13:42:38 +0200
"Chase Online"<[email protected]> • #454
Normalisation Control in Deep Inference Via Atomic Flows
Mon, 18 Jun 2007 07:34:36 +0100
"Tom E Gundersen" <[email protected]> • #453
deep inference meeting
Wed, 23 May 2007 19:18:06 +0200 (CEST)
Lutz Strassburger <[email protected]> • #452
PhD Thesis
Mon, 16 Apr 2007 11:42:35 +0100
Ozan Kahramanogullari <[email protected]> • #451
Re: Re: Frogs and Pigeons
Tue, 27 Mar 2007 17:28:32 +0200 (CEST)
Lutz Strassburger <[email protected]> • #450
Re: Frogs and Pigeons
Thu, 22 Mar 2007 06:43:59 +0000 (UTC)
Giorgi Japaridze <[email protected]> • #449
Thesis Fellowship in Computer Science
Tue, 20 Mar 2007 15:30:32 +0100
Francois Lamarche <lamarche-/[email protected]> • #448
Postdoctoral Fellowship in France
Wed, 14 Mar 2007 09:53:53 +0100
Francois Lamarche <lamarche-/[email protected]> • #447
Re: Frogs and Pigeons
Thu, 8 Mar 2007 14:29:49 +0100 (CET)
Lutz Strassburger <[email protected]> • #446
Re: Frogs and Pigeons
Thu, 8 Mar 2007 11:41:30 +0100
"Kai Brünnler" <[email protected]> • #445
Frogs and Pigeons
Thu, 8 Mar 2007 06:24:37 +0000 (UTC)
Giorgi Japaridze <[email protected]> • #444
at naturalisti
Fri, 23 Feb 2007 18:56:13 -0500
"Darin Dilday" <[email protected]> • #443
at machicouli
Fri, 23 Feb 2007 17:45:14 +0100
"Alpertti Engleman" <[email protected]> • #442
Postdoc Positions on Deep Inference in Paris
Thu, 22 Feb 2007 12:35:44 +0100 (CET)
Lutz Strassburger <[email protected]> • #441
to troup
Fri, 16 Feb 2007 17:52:35 +0100
"Evfrosyne Heyne" <libertycortes-+o/[email protected]> • #440
medial
Mon, 12 Feb 2007 17:01:20 +0100 (CET)
Lutz Strassburger <[email protected]> • #438
Re: RmesX
Thu, 9 Feb 2006 04:11:50 +0200
"Agathon Roten" <[email protected]> • #436
Re: PHqylARMA
Tue, 6 Feb 2007 07:06:50 +0100
"Gisselle Lawrie" <lloe-M2XI8vRnFz5yd6IE6m+a8gC/[email protected]> • #434
It has come to our attention that your Bank of America account!
Fri, 2 Feb 2007 04:18:18 -1200
"Bank of America" <[email protected]> • #433
Re: VIAjelGRA
Wed, 31 Jan 2007 20:54:14 +0100
"Engelbert Vermeulen" <[email protected]> • #432
Online Banking DEACTIVATION : C0701973006
Tue, 30 Jan 2007 21:29:16 -1200
"Regions Bank"<net-z1qBp/[email protected]> • #431
Units and second order in linear logic
Wed, 17 Jan 2007 19:13:42 +0100 (CET)
Lutz Strassburger <[email protected]> • #428
(unknown)
Wed, 17 Jan 2007 15:46:44 +0100 (CET)
[email protected] • #427
Re: with aridit
Mon, 15 Jan 2007 20:30:16 -0400
"Coralie Reedy" <[email protected]> • #426
Re: my consequenc
Wed, 10 Jan 2007 19:47:39 +0100
"Waheed Constantino" <broadacharla-DDc/[email protected]> • #425
Re: your sandspou
Sun, 7 Jan 2007 01:49:30 +0100
"Cerberus Grund" <[email protected]> • #424
Re: your unaccommodatin
Tue, 26 Dec 2006 22:40:13 +0100
"Jutte Bussell" <vasili-sh/yZ5vqBJ/2eFz/[email protected]> • #421
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.