» IRC search  details

Chat Rooms Logic

Search chat rooms within the Internet Relay Chat! – Chat rooms on IRC are usually called channels. Use this IRC search engine to search in channel names and topics of around 500 IRC networks! Find interesting chat rooms and chat with people that share your interests!

 Related queries: statistics (39)   computer science (24)   science (113)   hydroponics (1)   medical science (1)  


Searched for Logic chat rooms. 29 matching entries found.  Displaying 1-10...


##logic freenode

86 users – 117 minutes ago – Symbolic and Mathematical Logic -- http:/​/​en.​wikipedia.​org/​wiki/​Symbolic_​logic -- http:/​/​en.​wikipedia.​org/​wiki/​Mathematical_​logic -- Share,​ http:/​/​www.​reddit.​com/​r/​logic/​ -- Paste,​ http:/​/​mathbin.​net
chat category: Logicnetwork: freenode  –  irc2go: ##logic

##logic-offtopic freenode

3 users – 117 minutes ago – Off-topic discussion for ##logic
chat category: Logicnetwork: freenode  –  irc2go: ##logic-offtopic

#AutoNomic freenode

13 users – 117 minutes ago – Home of the AutoNomic block-chain project |​ Please ask anything |​ wiki: http:/​/​rareventure.​com/​AutoNomicWiki |​ log: http:/​/​54.​93.​67.​38/​sgol/​autonomic.​log |​ backup log: http:/​/​rareventure.​com/​irc/​%​23autonomic.​log |​ https:/​/​ncatlab.​org/​nlab/​show/​computational​+trinitarianism |​ http:/​/​www.​rbjones.​com/​rbjpub/​logic/​cl/​tlc001.​htm |​ http:/​/​www.​cse.​chalmers.​se/​research/​group/​logic/​book/​book.​pdf |​
network: freenode  –  irc2go: #AutoNomic

##computerscience freenode

37 users – 117 minutes ago – Welcome to ##ComputerScience,​ the channel where you can discuss semantics,​ type systems,​ parallelism,​ complexity theory,​ quantum computing,​ cryptography,​ data structures,​ algorithmics,​ logic,​ AI,​ machine learning,​ operations research,​ data compression and even hardware design.​ |​ Ask your questions clearly,​ please.​ |​ Math questions? Try #math |​ Linux question? Try ##linux
chat category: Computer Sciencenetwork: freenode  –  irc2go: ##computerscience

##smt freenode

3 users – 117 minutes ago – In computer science,​ the Satisfiability Modulo Theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality.​ |​ http:/​/​en.​wikipedia.​org/​wiki/​Satisfiability_​Modulo_​Theories |​ All talk about SMT or any other automated reasoning procedures on interesting theories is welcome!
network: freenode  –  irc2go: ##smt

##science freenode

183 users – 117 minutes ago – Welcome to the science channel! |​ Rules: https:/​/​is.​gd/​dD2F3B |​ Topics that are welcome: astronomy/​biology/​botany/​chemistry/​computers/​ecology/​engineering/​geology/​logic/​mathematics/​oceanography/​physics/​zoology plus some social sciences |​ Please visit our sister channels,​ ##weather & ##news
chat category: Sciencenetwork: freenode  –  irc2go: ##science

#writescribbles Rizon

3 users – 116 minutes ago – Welcome to the unofficial 4chan writing channel |​ Questrunners,​ make yourselves known to the administration|​ the double logic of the double devil |​ You are expected not to spoil things for others.​ Bans will be dispensed for the immature|​ http:/​/​steamcommunity.​com/​groups/​Writescribblers
network: Rizon  –  irc2go: #writescribbles

#mela Azzurra

10 users – 114 minutes ago – …escono MacUser dalle fottute pareti!!!  iOS 11  High Sierra 10.​13  logic X 10.​3  plebe ringraziante Vigilius che vi da la voce!  ATTENZIONE #MELA SI AUTODISTRUGGERÀ ALLE 17:30 AVETE X MINUTI PER RAGGIUNGERE LA DISTANZA MINIMA DI SICUREZZA [ https:/​/​goo.​gl/​z7iaiy ]
network: Azzurra  –  irc2go: #mela

##logic EFnet

2 users – 116 minutes ago – No topic
chat category: Logicnetwork: EFnet  –  irc2go: ##logic
<   1    2    3    >

  

 Top IRC networks 
   IRCnet
   Ø 27325
   EFnet
   Ø 19579
   QuakeNet
   Ø 19068
   Undernet
   Ø 16919
   Rizon
   Ø 15228
   OFTC
   Ø 12354
   IRC-Hispano
   Ø 7146
   DALnet
   Ø 7022
   Mozilla
   Ø 5718
   freenode
   non-competitive

Chat Directory
Asia Chat
Australia Chat
Europe Chat
India Chat
USA Chat
. . .

0.1215 seconds
© 1998-2017 netsplit.de  de    IRC Online Chat
This website is being developed in Heusenstamm, Germany.